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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BloodVessel

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 10635-10636
(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 10634-10634
(subclass BloodVessel BodyVessel) Mid-level-ontology.kif 10633-10633

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


(subclass Artery BloodVessel) Mid-level-ontology.kif 10659-10659
(subclass Capillary BloodVessel) Mid-level-ontology.kif 10729-10729
(subclass Vein BloodVessel) Mid-level-ontology.kif 10675-10675
(termFormat ChineseLanguage BloodVessel "血管") domainEnglishFormat.kif 11396-11396
(termFormat ChineseTraditionalLanguage BloodVessel "血管") domainEnglishFormat.kif 11395-11395
(termFormat EnglishLanguage BloodVessel "blood vessel") domainEnglishFormat.kif 11394-11394

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


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


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