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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Artery
Artery

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


(documentation Artery EnglishLanguage "Any BloodVessel which transfers Blood from the Heart to the extremities of the body.") Mid-level-ontology.kif 9499-9500
(externalImage Artery "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Maxillary_artery.PNG") pictureList.kif 4510-4510 externalImage Artery and "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Maxillary_artery.PNG"
(subclass Artery BloodVessel) Mid-level-ontology.kif 9498-9498 subclass Artery and BloodVessel

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


(relatedInternalConcept Vein Artery) Mid-level-ontology.kif 9515-9515 relatedInternalConcept Vein and Artery
(subclass PulmonaryArtery Artery) Mid-level-ontology.kif 9531-9531 subclass PulmonaryArtery and Artery
(termFormat ChineseLanguage Artery "动脉") domainEnglishFormat.kif 8515-8515 termFormat ChineseLanguage, Artery and "动脉"
(termFormat ChineseTraditionalLanguage Artery "動脈") domainEnglishFormat.kif 8514-8514 termFormat ChineseTraditionalLanguage, Artery and "動脈"
(termFormat EnglishLanguage Artery "artery") domainEnglishFormat.kif 8513-8513 termFormat EnglishLanguage, Artery and "artery"

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


(=>
    (and
        (instance ?ARTERY Artery)
        (instance ?TRANSFER Transfer)
        (patient ?TRANSFER ?BLOOD)
        (instrument ?TRANSFER ?ARTERY)
        (instance ?BLOOD Blood))
    (exists (?HEART)
        (and
            (instance ?HEART Heart)
            (origin ?TRANSFER ?HEART))))
Mid-level-ontology.kif 9502-9512

consequent
-------------------------


(=>
    (instance ?C Capillary)
    (exists (?A ?V)
        (and
            (instance ?A Artery)
            (instance ?V Vein)
            (connects ?C ?A ?V))))
Mid-level-ontology.kif 9571-9577


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners