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 1942-1943
(domainSubclass suppliesBlood 1 Artery) Anatomy.kif 1944-1944 Le nombre 1 argument de suppliesBlood est une sous-classe de Artery
(domainSubclass suppliesBlood 2 BodyPart) Anatomy.kif 1945-1945 Le nombre 2 argument de suppliesBlood est une sous-classe de partie du corps
(instance suppliesBlood BinaryPredicate) Anatomy.kif 1941-1941 suppliesBlood est une instance de pr�dicat binaire

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 1947-1958

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


(suppliesBlood AnteriorInterosseousArtery FlexorDigitorumProfundusMuscle) Muscles.kif 1444-1444 suppliesBlood AnteriorInterosseousArtery and FlexorDigitorumProfundusMuscle
(suppliesBlood AnteriorInterosseousArtery FlexorPollicisLongusMuscle) Muscles.kif 1453-1453 suppliesBlood AnteriorInterosseousArtery and FlexorPollicisLongusMuscle
(suppliesBlood AnteriorInterosseousArtery PronatorQuadratusMuscle) Muscles.kif 1433-1433 suppliesBlood AnteriorInterosseousArtery and PronatorQuadratusMuscle
(suppliesBlood AnteriorTibialArtery ExtensorDigitorumLongusMuscle) Muscles.kif 1991-1991 suppliesBlood AnteriorTibialArtery and ExtensorDigitorumLongusMuscle
(suppliesBlood AnteriorTibialArtery ExtensorHallucisLongusMuscle) Muscles.kif 1982-1982 suppliesBlood AnteriorTibialArtery and ExtensorHallucisLongusMuscle
(suppliesBlood AnteriorTibialArtery FibularisTertiusMuscle) Muscles.kif 2000-2000 suppliesBlood AnteriorTibialArtery and FibularisTertiusMuscle
(suppliesBlood AnteriorTibialArtery TibialisAnteriorMuscle) Muscles.kif 1971-1971 suppliesBlood AnteriorTibialArtery and TibialisAnteriorMuscle
(suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery ScaleneAnteriorMuscle) Muscles.kif 716-716 suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery and ScaleneAnteriorMuscle
(suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery ScaleneMediusMuscle) Muscles.kif 727-727 suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery and ScaleneMediusMuscle
(suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery ScaleneMuscle) Muscles.kif 706-706 suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery and ScaleneMuscle
(suppliesBlood AscendingCervicalArterySuperficialCervicalArtery ScalenePosteriorMuscle) Muscles.kif 737-737 suppliesBlood AscendingCervicalArterySuperficialCervicalArtery and ScalenePosteriorMuscle
(suppliesBlood AscendingPharyngealArteryTonsilarBranchOfFacialArtery PharyngealSuperiorMuscle) Muscles.kif 525-525 suppliesBlood AscendingPharyngealArteryTonsilarBranchOfFacialArtery and PharyngealSuperiorMuscle
(suppliesBlood AscendingPharyngealArteryVertebralArtery LongusColliMuscle) Muscles.kif 673-673 suppliesBlood AscendingPharyngealArteryVertebralArtery and LongusColliMuscle
(suppliesBlood BrachialArtery BicepsBrachiiMuscle) Muscles.kif 1344-1344 suppliesBlood BrachialArtery and BicepsBrachiiMuscle
(suppliesBlood BrachialArtery CoracobrachialisMuscle) Muscles.kif 1334-1334 suppliesBlood BrachialArtery and CoracobrachialisMuscle
(suppliesBlood BranchesOfSubmentalArteryBranchesOfSuprascapularArtery PlatysmaMuscle) Muscles.kif 576-576 suppliesBlood BranchesOfSubmentalArteryBranchesOfSuprascapularArtery and PlatysmaMuscle
(suppliesBlood BuccalArtery BuccinatorMuscle) Muscles.kif 297-297 suppliesBlood BuccalArtery and BuccinatorMuscle
(suppliesBlood CricothyroidBranchOfSuperiorThyroidArtery CricothyroidMuscle) Muscles.kif 533-533 suppliesBlood CricothyroidBranchOfSuperiorThyroidArtery and CricothyroidMuscle
(suppliesBlood DeepArteryOfArm TricepsBrachiiMuscle) Muscles.kif 1361-1361 suppliesBlood DeepArteryOfArm and TricepsBrachiiMuscle
(suppliesBlood DeepArteryOfArmInterosseousRecurrentArtery AnconeusMuscle) Muscles.kif 1373-1373 suppliesBlood DeepArteryOfArmInterosseousRecurrentArtery and AnconeusMuscle
(suppliesBlood DeepPalmarArch AbductorPollicisMuscle) Muscles.kif 1594-1594 suppliesBlood DeepPalmarArch and AbductorPollicisMuscle
(suppliesBlood DeepTemporalArteries TemporalisMuscle) Muscles.kif 349-349 suppliesBlood DeepTemporalArteries and TemporalisMuscle
(suppliesBlood DorsalMetacarpalArteryPalmarMetacarpalArtery DorsalInterosseiMuscle) Muscles.kif 1651-1651 suppliesBlood DorsalMetacarpalArteryPalmarMetacarpalArtery and DorsalInterosseiMuscle
(suppliesBlood DorsalScapularArtery LevatorScapulaeMuscle) Muscles.kif 745-745 suppliesBlood DorsalScapularArtery and LevatorScapulaeMuscle
(suppliesBlood DorsalScapularArtery RhomboidMajorMuscle) Muscles.kif 1212-1212 suppliesBlood DorsalScapularArtery and RhomboidMajorMuscle

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