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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BloodVessel
BloodVessel(blood vessel)
blood_vessel, vasa_vasorum

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 11297-11298
(externalImage BloodVessel "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Arteriessystem.png") pictureList.kif 1665-1665
(externalImage BloodVessel "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Veincrosssection.png") pictureList.kif 2116-2116
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 11296-11296 Blood vessel is a subclass of animal anatomical structure
(subclass BloodVessel BodyVessel) Mid-level-ontology.kif 11295-11295 Blood vessel is a subclass of body vessel

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


(subclass Artery BloodVessel) Mid-level-ontology.kif 11321-11321 Artery is a subclass of blood vessel
(subclass Capillary BloodVessel) Mid-level-ontology.kif 11392-11392 Capillary is a subclass of blood vessel
(subclass Vein BloodVessel) Mid-level-ontology.kif 11338-11338 Vein is a subclass of blood vessel
(termFormat ChineseLanguage BloodVessel "血管") domainEnglishFormat.kif 11404-11404 Vein is a subclass of blood vessel
(termFormat ChineseTraditionalLanguage BloodVessel "血管") domainEnglishFormat.kif 11403-11403 Vein is a subclass of blood vessel
(termFormat EnglishLanguage BloodVessel "blood vessel") domainEnglishFormat.kif 11402-11402 Vein is a subclass of blood vessel

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


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

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


(=>
    (and
        (instance ?SS AutoimmuneVasculitis)
        (experiencer ?SS ?H))
    (attribute ?H
        (ImpairedBodyPartFn BloodVessel)))
Medicine.kif 2406-2411
(=>
    (and
        (instance ?SS AutoimmuneVasculitis)
        (experiencer ?SS ?H))
    (exists (?B ?I)
        (and
            (instance ?B BloodVessel)
            (part ?B ?H)
            (instance ?I Inflammation)
            (patient ?I ?B))))
Medicine.kif 2413-2422
(=>
    (attribute ?H HeartDisease)
    (or
        (attribute ?H
            (ImpairedBodyPartFn Heart))
        (attribute ?H
            (ImpairedBodyPartFn BloodVessel))))
Medicine.kif 5720-5724


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