No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2013-2013	Gastrocnemius muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 375-375	Hyoglossus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 624-624	Geniohyoid muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10822-10822	Gluteus maximus is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1730-1730	Gluteus medius muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1741-1741	Gluteus minimus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1916-1916	Gracilis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10811-10811	Hamstring muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 386-386	Hyoglossus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1698-1698	Iliacus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 893-893	IliocostalisMuscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1665-1665	Iliopsoas muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1793-1793	Inferior gemellus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 433-433	Inferior longitudinal muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 149-149	Inferior oblique muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 111-111	Inferior rectus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1301-1301	Infraspinatus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1028-1028	Innermost intercostals muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1001-1001	Intercostals muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1019-1019	Internal intercostals muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 846-846	Internal oblique muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 976-976	Interspinales muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 985-985	Intertransversarii muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10411-10411	Involuntary muscle is a subclass of muscle
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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