suppliesBlood - Sigma Knowledge base Browser

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	The number 1 argument of suppliesBlood is a subclass of artery
(domainSubclass suppliesBlood 2 BodyPart)	Anatomy.kif 1945-1945	The number 2 argument of suppliesBlood is a subclass of body part
(instance suppliesBlood BinaryPredicate)	Anatomy.kif 1941-1941	suppliesBlood is an instance of binary predicate

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

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

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