|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1024-1024 | Brachial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 124-124 | Brachiocephalic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1936-1936 | Branch artery to surface of the femur and the knee joint is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 899-899 | Branch to abdominal muscles artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 894-894 | Branch to diaphragm artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 889-889 | Branch to lower part of the pericardium artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1966-1966 | Branch to popliteus artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1931-1931 | Branch to vastus medialis artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1180-1180 | Branch to volar carpal network artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1046-1046 | Branches to the deltoid muscle artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1243-1243 | Bronchial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1385-1385 | Buhlers anastomotic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 138-138 | Carotid artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1291-1291 | Celiac artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 791-791 | Cerebellar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 339-339 | Cerebral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 438-438 | Cervical artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 81-81 | Circumflex artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 992-992 | Clavicular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1316-1316 | Common hepatic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1544-1544 | Common iliac artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1151-1151 | Common interosseous artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1901-1901 | Communicating branch to the anterior tibial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 943-943 | Costocervical trunk artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 414-414 | Cricothyroid artery is a subclass of artery |
| 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