|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1460-1460 | Extensor digitorum muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2109-2109 | Extensor hallucis brevis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1978-1978 | Extensor hallucis longus muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1528-1528 | Extensor indicis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1544-1544 | Extensor pollicis brevis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1553-1553 | Extensor pollicis longus muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1010-1010 | External intercostals muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 835-835 | External oblique muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2092-2092 | Fibularis brevis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2081-2081 | Fibularis longus muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1996-1996 | Fibularis tertius muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1647-1647 | Finger dorsal interossei muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1618-1618 | Finger flexor digiti minimi brevis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1391-1391 | Flexor carpi radialis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1409-1409 | Flexor carpi ulnaris muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2190-2190 | Flexor digiti minimi brevis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2137-2137 | Flexor digitorum brevis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2063-2063 | Flexor digitorum longus muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1440-1440 | Flexor digitorum profundus muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1420-1420 | Flexor digitorum superficialis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2172-2172 | Flexor hallucis brevis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2052-2052 | Flexor hallucis longus muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1570-1570 | Flexor pollicis brevis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1449-1449 | Flexor pollicis longus muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 44-44 | Frontalis 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