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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " 0/ 0e/ Arteriessystem.png") pictureList.kif 1667-1667
(externalImage BloodVessel " 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 11405-11405
(termFormat ChineseTraditionalLanguage BloodVessel "血管") domainEnglishFormat.kif 11404-11404
(termFormat EnglishLanguage BloodVessel "blood vessel") domainEnglishFormat.kif 11403-11403


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

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