Index     Readme           by Object      by Attribute      by Value    

Theory.

has_instance	String_theory.
is_type_of	Concept.