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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Artery

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 9481-9482
(externalImage Artery "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Maxillary_artery.PNG") pictureList.kif 4510-4510
(subclass Artery BloodVessel) Mid-level-ontology.kif 9480-9480 subclass Artery and BloodVessel

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


(relatedInternalConcept Vein Artery) Mid-level-ontology.kif 9497-9497 relatedInternalConcept Vein and Artery
(subclass PulmonaryArtery Artery) Mid-level-ontology.kif 9513-9513 subclass PulmonaryArtery and Artery
(termFormat ChineseLanguage Artery "动脉") domainEnglishFormat.kif 8519-8519
(termFormat ChineseTraditionalLanguage Artery "動脈") domainEnglishFormat.kif 8518-8518
(termFormat EnglishLanguage Artery "artery") domainEnglishFormat.kif 8517-8517

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 9484-9494

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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