|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 393-393 | Chondroglossus muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1087-1087 | Coccygeus muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1330-1330 | Coracobrachialis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 64-64 | Corrugator supercilii muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 564-564 | Lateral muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 556-556 | Posterior muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 529-529 | Cricothyroid muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1166-1166 | Deep transverse perineal muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10819-10819 | Deltoid muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 258-258 | Depressor angula oris muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 275-275 | Depressor labii inferioris muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 217-217 | Depressor septi nasi muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 72-72 | Depressor supercilii muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1078-1078 | Diaphragm muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 596-596 | Digastric muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2209-2209 | Dorsal interossei muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2117-2117 | Dorsal interossei of foot muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 883-883 | Iliocostalis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1506-1506 | Extensor carpi radialis brevis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1497-1497 | Extensor carpi radialis longus muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1480-1480 | Extensor carpi ulnaris muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1471-1471 | Extensor digiti minimi muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2101-2101 | Extensor digitorum brevis is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1987-1987 | Extensor digitorum longus 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