| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1983-1984 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1985-1985 | The number 1 argument of supplies blood is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1986-1986 | The number 2 argument of supplies blood is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1980-1980 | supplies blood is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1981-1981 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1988-1999 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1444-1444 | supplies blood anterior interosseous artery and flexor digitorum profundus muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1453-1453 | supplies blood anterior interosseous artery and flexor pollicis longus muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1433-1433 | supplies blood anterior interosseous artery and pronator quadratus muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1991-1991 | supplies blood anterior tibial artery and extensor digitorum longus muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1982-1982 | supplies blood anterior tibial artery and extensor hallucis longus muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2000-2000 | supplies blood anterior tibial artery and fibularis tertius muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1971-1971 | supplies blood anterior tibial artery and tibialis anterior muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 716-716 | supplies blood AscendingCervicalArteryFromInferiorThyroidArtery and scalene anterior muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 727-727 | supplies blood AscendingCervicalArteryFromInferiorThyroidArtery and scalene medius muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 706-706 | supplies blood AscendingCervicalArteryFromInferiorThyroidArtery and scalene muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 737-737 | supplies blood AscendingCervicalArterySuperficialCervicalArtery and scalene posterior muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 525-525 | supplies blood AscendingPharyngealArteryTonsilarBranchOfFacialArtery and pharyngeal superior muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 673-673 | supplies blood AscendingPharyngealArteryVertebralArtery and longus colli muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1344-1344 | supplies blood brachial artery and coracobrachialis muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1334-1334 | supplies blood brachial artery and coracobrachialis muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 576-576 | supplies blood BranchesOfSubmentalArteryBranchesOfSuprascapularArtery and platysma muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 297-297 | supplies blood buccal artery and buccinator muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 533-533 | supplies blood CricothyroidBranchOfSuperiorThyroidArtery and cricothyroid muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1361-1361 | supplies blood DeepArteryOfArm and triceps brachii muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1373-1373 | supplies blood DeepArteryOfArmInterosseousRecurrentArtery and anconeus muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1594-1594 | supplies blood DeepPalmarArch and abductor pollicis brevis muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 349-349 | supplies blood DeepTemporalArteries and temporalis muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1651-1651 | supplies blood DorsalMetacarpalArteryPalmarMetacarpalArtery and dorsal interossei muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 745-745 | supplies blood DorsalScapularArtery and levator scapulae muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1212-1212 | supplies blood DorsalScapularArtery and rhomboid major muscle |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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