No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1156-1156	Ischiocavernosus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 129-129	Lateral rectus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1748-1748	Lateral rotator group muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10772-10772	Upper back muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 923-923	Latissimus dorsi muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 249-249	Levator angula oris muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1096-1096	Levator ani iliococcygeus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1114-1114	LevatorAniPuborectalisMuscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 225-225	Levator labii superioris alaeque nasi muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 266-266	Levator labii superioris muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 79-79	Levator palpebrae superioris muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 741-741	Levator scapulae muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 455-455	Levator veli palatini muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1051-1051	Levatores costarum muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 803-803	Longissimus capitis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 903-903	Longissimus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 679-679	Longus capitis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 669-669	Longus colli muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1637-1637	Lumbrical muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2162-2162	Lumbricals muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 334-334	Masseter muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 121-121	Medial rectus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 285-285	Mentalis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 961-961	Multifidus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 614-614	Mylohyoid 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