No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2200-2200	Plantar interossei muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2035-2035	Plantaris muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 572-572	Platysma muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2044-2044	Popliteus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 207-207	Procerus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1429-1429	Pronator quadratus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1379-1379	Pronator teres muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1676-1676	Psoas major muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1687-1687	Psoas minor muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 356-356	Pterygoid lateral muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 367-367	Pterygoid medial muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1106-1106	Levator ani puborectalis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 864-864	Pyramidalis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1802-1802	Quadratus femoris muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 874-874	Quadratus lumborum muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2155-2155	Quadratus plantae muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1827-1827	Quadriceps femoris muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 823-823	Rectus abdominis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 688-688	Rectus capitis anterior muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 694-694	Rectus capitis lateralis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 783-783	Rectus capitis posterior major muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 773-773	Rectus capitis posterior minor muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1836-1836	Rectus femoris muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1208-1208	Rhomboid major muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1218-1218	Rhomboid minor 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