Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - suppliesBlood
suppliesBlood

appearance as argument number 1
-------------------------


(documentation suppliesBlood EnglishLanguage "A relation between a class of Artery and a class of BodyPart that that indicates blood is supplied through the artery to the part in a normal and healthy version of an organism.") Anatomy.kif 1983-1984
(domainSubclass suppliesBlood 1 Artery) Anatomy.kif 1985-1985 The number 1 argument of supplies blood is a subclass of artery
(domainSubclass suppliesBlood 2 BodyPart) Anatomy.kif 1986-1986 The number 2 argument of supplies blood is a subclass of body part
(instance suppliesBlood BinaryPredicate) Anatomy.kif 1980-1980 supplies blood is an instance of binary predicate

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage suppliesBlood "supplies blood") Anatomy.kif 1981-1981

antecedent
-------------------------


(=>
    (and
        (suppliesBlood ?AC ?BPC)
        (instance ?A ?AC)
        (instance ?BP ?BPC))
    (hasPurpose ?A
        (exists (?BF ?B)
            (and
                (instance ?BF LiquidMotion)
                (objectTransferred ?BF ?B)
                (instance ?B Blood)
                (destination ?BF ?BP)))))		 Anatomy.kif 1988-1999

appearance as argument number 0
-------------------------


(suppliesBlood AnteriorInterosseousArtery FlexorDigitorumProfundusMuscle) Muscles.kif 1444-1444 supplies blood anterior interosseous artery and flexor digitorum profundus muscle
(suppliesBlood AnteriorInterosseousArtery FlexorPollicisLongusMuscle) Muscles.kif 1453-1453 supplies blood anterior interosseous artery and flexor pollicis longus muscle
(suppliesBlood AnteriorInterosseousArtery PronatorQuadratusMuscle) Muscles.kif 1433-1433 supplies blood anterior interosseous artery and pronator quadratus muscle
(suppliesBlood AnteriorTibialArtery ExtensorDigitorumLongusMuscle) Muscles.kif 1991-1991 supplies blood anterior tibial artery and extensor digitorum longus muscle
(suppliesBlood AnteriorTibialArtery ExtensorHallucisLongusMuscle) Muscles.kif 1982-1982 supplies blood anterior tibial artery and extensor hallucis longus muscle
(suppliesBlood AnteriorTibialArtery FibularisTertiusMuscle) Muscles.kif 2000-2000 supplies blood anterior tibial artery and fibularis tertius muscle
(suppliesBlood AnteriorTibialArtery TibialisAnteriorMuscle) Muscles.kif 1971-1971 supplies blood anterior tibial artery and tibialis anterior muscle
(suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery ScaleneAnteriorMuscle) Muscles.kif 716-716 supplies blood AscendingCervicalArteryFromInferiorThyroidArtery and scalene anterior muscle
(suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery ScaleneMediusMuscle) Muscles.kif 727-727 supplies blood AscendingCervicalArteryFromInferiorThyroidArtery and scalene medius muscle
(suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery ScaleneMuscle) Muscles.kif 706-706 supplies blood AscendingCervicalArteryFromInferiorThyroidArtery and scalene muscle
(suppliesBlood AscendingCervicalArterySuperficialCervicalArtery ScalenePosteriorMuscle) Muscles.kif 737-737 supplies blood AscendingCervicalArterySuperficialCervicalArtery and scalene posterior muscle
(suppliesBlood AscendingPharyngealArteryTonsilarBranchOfFacialArtery PharyngealSuperiorMuscle) Muscles.kif 525-525 supplies blood AscendingPharyngealArteryTonsilarBranchOfFacialArtery and pharyngeal superior muscle
(suppliesBlood AscendingPharyngealArteryVertebralArtery LongusColliMuscle) Muscles.kif 673-673 supplies blood AscendingPharyngealArteryVertebralArtery and longus colli muscle
(suppliesBlood BrachialArtery BicepsBrachiiMuscle) Muscles.kif 1344-1344 supplies blood brachial artery and coracobrachialis muscle
(suppliesBlood BrachialArtery CoracobrachialisMuscle) Muscles.kif 1334-1334 supplies blood brachial artery and coracobrachialis muscle
(suppliesBlood BranchesOfSubmentalArteryBranchesOfSuprascapularArtery PlatysmaMuscle) Muscles.kif 576-576 supplies blood BranchesOfSubmentalArteryBranchesOfSuprascapularArtery and platysma muscle
(suppliesBlood BuccalArtery BuccinatorMuscle) Muscles.kif 297-297 supplies blood buccal artery and buccinator muscle
(suppliesBlood CricothyroidBranchOfSuperiorThyroidArtery CricothyroidMuscle) Muscles.kif 533-533 supplies blood CricothyroidBranchOfSuperiorThyroidArtery and cricothyroid muscle
(suppliesBlood DeepArteryOfArm TricepsBrachiiMuscle) Muscles.kif 1361-1361 supplies blood DeepArteryOfArm and triceps brachii muscle
(suppliesBlood DeepArteryOfArmInterosseousRecurrentArtery AnconeusMuscle) Muscles.kif 1373-1373 supplies blood DeepArteryOfArmInterosseousRecurrentArtery and anconeus muscle
(suppliesBlood DeepPalmarArch AbductorPollicisMuscle) Muscles.kif 1594-1594 supplies blood DeepPalmarArch and abductor pollicis brevis muscle
(suppliesBlood DeepTemporalArteries TemporalisMuscle) Muscles.kif 349-349 supplies blood DeepTemporalArteries and temporalis muscle
(suppliesBlood DorsalMetacarpalArteryPalmarMetacarpalArtery DorsalInterosseiMuscle) Muscles.kif 1651-1651 supplies blood DorsalMetacarpalArteryPalmarMetacarpalArtery and dorsal interossei muscle
(suppliesBlood DorsalScapularArtery LevatorScapulaeMuscle) Muscles.kif 745-745 supplies blood DorsalScapularArtery and levator scapulae muscle
(suppliesBlood DorsalScapularArtery RhomboidMajorMuscle) 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