|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 969-969 | connectedBodyPartTypes axillary artery, left subclavian artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 815-815 | connectedBodyPartTypes basilar artery, vertebral artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1028-1028 | connectedBodyPartTypes brachial artery, left subclavian artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 135-135 | connectedBodyPartTypes brachiocephalic artery, aortic arch and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 147-147 | connectedBodyPartTypes brachiocephalic artery, right common carotid artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 153-153 | connectedBodyPartTypes brachiocephalic artery, right subclavian artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1940-1940 | connectedBodyPartTypes branch artery to surface of the femur and the knee joint, medial superior genicular artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 903-903 | connectedBodyPartTypes branch to abdominal muscles artery, musculophrenic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 898-898 | connectedBodyPartTypes branch to diaphragm artery, musculophrenic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 893-893 | connectedBodyPartTypes branch to lower part of the pericardium artery, musculophrenic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1970-1970 | connectedBodyPartTypes branch to popliteus artery, medial inferior genicular artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1935-1935 | connectedBodyPartTypes branch to vastus medialis artery, medial superior genicular artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1184-1184 | connectedBodyPartTypes branch to volar carpal network artery, anterior interosseous artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1050-1050 | connectedBodyPartTypes branches to the deltoid muscle artery, profunda brachii artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1247-1247 | connectedBodyPartTypes bronchial artery, thoracic aorta and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1389-1389 | connectedBodyPartTypes buhlers anastomotic artery, splenic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1300-1300 | connectedBodyPartTypes celiac artery, abdominal aorta and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 97-97 | connectedBodyPartTypes circumflex artery, left marginal artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 91-91 | connectedBodyPartTypes circumflex artery, posterior interventricular artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 105-105 | connectedBodyPartTypes circumflex artery, posterolateral artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 88-88 | connectedBodyPartTypes circumflex artery, s a nodal artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 996-996 | connectedBodyPartTypes clavicular artery, thoracoacromial artery and human |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1023-1023 | connectedBodyPartTypes coccyx, sacrum and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1320-1320 | connectedBodyPartTypes common hepatic artery, celiac artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1549-1549 | connectedBodyPartTypes common iliac artery, abdominal aorta 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