Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15187	If a class is a subclass of tissue and another class is a subclass of tissue and an object is an instance of the class and another object is an instance of the other class and a third object is an instance of human and the object is a part of the third object and the other object is a part of the third object and the class is not equal to the other class and the class is not a subclass of the other class and the other class is not a subclass of the class and the object is adjacent to the other object, then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15124-15124	Tissue is a subclass of body substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4598-4598	Plant wicker is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9161-9161	Wood is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9445-9445	Tendon is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15149-15149	Connective tissue is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15207-15207	Epithelial tissue is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15223-15223	Muscle tissue is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15239-15239	Nervous tissue is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1201-1201	Bone marrow is a subclass of tissue

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners