No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12025-12025	Stomach is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10970-10970	Tail is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11721-11721	Throat is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12757-12757	Toe is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11433-11433	Tongue is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12806-12806	Torso is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7560-7560
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7559-7559
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7558-7558

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