|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 430-430 | connectedBodyPartTypes external carotid artery, lingual artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 523-523 | connectedBodyPartTypes external carotid artery, maxillary artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 506-506 | connectedBodyPartTypes external carotid artery, occipital artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 513-513 | connectedBodyPartTypes external carotid artery, posterior auricular artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 709-709 | connectedBodyPartTypes external carotid artery, superficial temporal artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 394-394 | connectedBodyPartTypes external carotid artery, superior thyroid artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1733-1733 | connectedBodyPartTypes external iliac artery, common iliac artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 500-500 | connectedBodyPartTypes facial artery, angular artery terminal branch and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 446-446 | connectedBodyPartTypes facial artery, ascending palatine artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 471-471 | connectedBodyPartTypes facial artery, glandular branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 479-479 | connectedBodyPartTypes facial artery, inferior labial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 493-493 | connectedBodyPartTypes facial artery, lateral nasal branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 456-456 | connectedBodyPartTypes facial artery, submental artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 486-486 | connectedBodyPartTypes facial artery, superior labial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 451-451 | connectedBodyPartTypes facial artery, tonsillar branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1748-1748 | connectedBodyPartTypes femoral artery, external iliac artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1900-1900 | connectedBodyPartTypes fibular artery, posterior tibial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1117-1117 | connectedBodyPartTypes first dorsal metacarpal artery, radial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1354-1354 | connectedBodyPartTypes gastroduodenal artery, common hepatic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1487-1487 | connectedBodyPartTypes gonadal artery, abdominal aorta and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1310-1310 | connectedBodyPartTypes hepatic branch artery, celiac artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1423-1423 | connectedBodyPartTypes ileocolic artery, superior mesenteric artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1695-1695 | connectedBodyPartTypes iliac branch artery, iliolumbar artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1685-1685 | connectedBodyPartTypes iliolumbar artery, internal iliac artery and human |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1621-1621 | connectedBodyPartTypes IncusBone, StapesBone 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