|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 590-590 | connectedBodyPartTypes inferior alveolar artery, incisor branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 600-600 | connectedBodyPartTypes inferior alveolar artery, lingual branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 595-595 | connectedBodyPartTypes inferior alveolar artery, mental branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 605-605 | connectedBodyPartTypes inferior alveolar artery, mylohyoid branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1738-1738 | connectedBodyPartTypes inferior epigastric artery, external iliac artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1653-1653 | connectedBodyPartTypes inferior gluteal artery, internal iliac artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1403-1403 | connectedBodyPartTypes inferior pancreaticoduodenal artery, superior mesenteric artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1284-1284 | connectedBodyPartTypes inferior phrenic artery, abdominal aorta and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1596-1596 | connectedBodyPartTypes inferior rectal artery, internal pudendal artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 921-921 | connectedBodyPartTypes inferior thyroid artery, thyrocervical trunk artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1067-1067 | connectedBodyPartTypes inferior ulnar collateral artery, brachial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1072-1072 | connectedBodyPartTypes inferior ulnar collateral ascending branch artery, inferior ulnar collateral artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1077-1077 | connectedBodyPartTypes inferior ulnar collateral descending branch artery, inferior ulnar collateral artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 888-888 | connectedBodyPartTypes intercostal branch artery, musculophrenic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1449-1449 | connectedBodyPartTypes interlobar artery, renal artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1459-1459 | connectedBodyPartTypes interlobular artery, arcuate artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 348-348 | connectedBodyPartTypes internal carotid artery, anterior cerebral artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 354-354 | connectedBodyPartTypes internal carotid artery, middle cerebral artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 178-178 | connectedBodyPartTypes internal carotid artery, ophthalmic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 377-377 | connectedBodyPartTypes internal carotid artery, posterior communicating artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1556-1556 | connectedBodyPartTypes internal iliac artery, common iliac artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1591-1591 | connectedBodyPartTypes internal pudendal artery, internal iliac artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 837-837 | connectedBodyPartTypes internal thoracic artery, left subclavian artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1418-1418 | connectedBodyPartTypes intestinal artery, superior mesenteric artery and human |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1024-1024 | connectedBodyPartTypes L5 vertebra bone, sacrum and human |
| 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