No TPTP formula. May not be expressible in strict first order.	Muscles.kif 766-766	Obliquus capitis inferior muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 756-756	Obliquus capitis superior muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1769-1769	Obturator externus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1786-1786	Obturator internus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 34-34	Occipitalis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 19-19	Occipitofrontalis is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 661-661	Omohyoid muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1627-1627	Opponens digiti minimi muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1562-1562	Opponens pollicis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 54-54	Orbicularis oculi muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 301-301	Orbicularis oris muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 479-479	Palatine uvula muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 409-409	Palatoglossus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 469-469	Palatopharyngeus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1656-1656	Palmar interossei muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1598-1598	Palmaris brevis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1400-1400	Palmaris longus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1927-1927	Pectineus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10765-10765	Chest muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1227-1227	Pectoralis major muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1237-1237	Pectoralis minor muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 503-503	Pharyngeal inferior muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 513-513	Pharyngeal middle muscle muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 521-521	Pharyngeal superior muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1759-1759	Piriformis 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