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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BloodVessel
BloodVessel

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


(documentation BloodVessel EnglishLanguage "Any BodyVessel which is used to circulate Blood from one part of the body to another.") Mid-level-ontology.kif 9455-9456
(externalImage BloodVessel "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Arteriessystem.png") pictureList.kif 1667-1667
(externalImage BloodVessel "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Veincrosssection.png") pictureList.kif 2118-2118
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 9454-9454
(subclass BloodVessel BodyVessel) Mid-level-ontology.kif 9453-9453

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


(subclass Artery BloodVessel) Mid-level-ontology.kif 9478-9478
(subclass Capillary BloodVessel) Mid-level-ontology.kif 9548-9548
(subclass Vein BloodVessel) Mid-level-ontology.kif 9494-9494
(termFormat ChineseLanguage BloodVessel "血管") domainEnglishFormat.kif 11335-11335
(termFormat ChineseTraditionalLanguage BloodVessel "血管") domainEnglishFormat.kif 11334-11334
(termFormat EnglishLanguage BloodVessel "blood vessel") domainEnglishFormat.kif 11333-11333

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


(=>
    (instance ?VESSEL BloodVessel)
    (exists (?BLOOD ?TRANSFER)
        (and
            (instance ?BLOOD Blood)
            (instance ?TRANSFER Transfer)
            (patient ?TRANSFER ?BLOOD)
            (instrument ?TRANSFER ?VESSEL))))
Mid-level-ontology.kif 9458-9465


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