suppliesBlood - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1942-1943
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1944-1944	The number 1 argument of suppliesBlood is a subclass of artery
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1945-1945	The number 2 argument of suppliesBlood is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1941-1941	suppliesBlood is an instance of binary predicate

antecedent

No TPTP formula. May not be expressible in strict first order.

Anatomy.kif 1947-1958

If suppliesBlood a kind of artery and a kind of body part and a physical is an instance of a kind of artery and an entity is an instance of a kind of body part,
then the physical has the purpose there exist another entity and a third entity such that the other entity is an instance of liquid motion and the object transferred in the other entity is the third entity and the third entity is an instance of blood and the other entity ends up at the entity

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1444-1444	suppliesBlood anterior interosseous artery and flexor digitorum profundus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1453-1453	suppliesBlood anterior interosseous artery and flexor pollicis longus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1433-1433	suppliesBlood anterior interosseous artery and pronator quadratus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1991-1991	suppliesBlood anterior tibial artery and extensor digitorum longus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1982-1982	suppliesBlood anterior tibial artery and extensor hallucis longus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2000-2000	suppliesBlood anterior tibial artery and fibularis tertius muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1971-1971	suppliesBlood anterior tibial artery and tibialis anterior muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 716-716	suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery and scalene anterior muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 727-727	suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery and scalene medius muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 706-706	suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery and scalene muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 737-737	suppliesBlood AscendingCervicalArterySuperficialCervicalArtery and scalene posterior muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 525-525	suppliesBlood AscendingPharyngealArteryTonsilarBranchOfFacialArtery and pharyngeal superior muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 673-673	suppliesBlood AscendingPharyngealArteryVertebralArtery and longus colli muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1344-1344	suppliesBlood brachial artery and coracobrachialis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1334-1334	suppliesBlood brachial artery and coracobrachialis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 576-576	suppliesBlood BranchesOfSubmentalArteryBranchesOfSuprascapularArtery and platysma muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 297-297	suppliesBlood buccal artery and buccinator muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 533-533	suppliesBlood CricothyroidBranchOfSuperiorThyroidArtery and cricothyroid muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1361-1361	suppliesBlood DeepArteryOfArm and triceps brachii muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1373-1373	suppliesBlood DeepArteryOfArmInterosseousRecurrentArtery and anconeus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1594-1594	suppliesBlood DeepPalmarArch and abductor pollicis brevis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 349-349	suppliesBlood DeepTemporalArteries and temporalis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1651-1651	suppliesBlood DorsalMetacarpalArteryPalmarMetacarpalArtery and dorsal interossei muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 745-745	suppliesBlood DorsalScapularArtery and levator scapulae muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1212-1212	suppliesBlood 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

KB Term:			Term intersection

English Word: