Theory.
has_instance
String_theory.
is_type_of
Concept.
Vr.155, Dec 2009
Readme
Queries: obromley@hotmail.com