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 9457-9458
(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 9456-9456 subclass BloodVessel and AnimalAnatomicalStructure
(subclass BloodVessel BodyVessel) Mid-level-ontology.kif 9455-9455 subclass BloodVessel and BodyVessel

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


(subclass Artery BloodVessel) Mid-level-ontology.kif 9480-9480 subclass Artery and BloodVessel
(subclass Capillary BloodVessel) Mid-level-ontology.kif 9550-9550 subclass Capillary and BloodVessel
(subclass Vein BloodVessel) Mid-level-ontology.kif 9496-9496 subclass Vein and BloodVessel
(termFormat ChineseLanguage BloodVessel "血管") domainEnglishFormat.kif 11339-11339
(termFormat ChineseTraditionalLanguage BloodVessel "血管") domainEnglishFormat.kif 11338-11338
(termFormat EnglishLanguage BloodVessel "blood vessel") domainEnglishFormat.kif 11337-11337

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


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


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