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 12410-12411
(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 12409-12409
(subclass BloodVessel BodyVessel) Mid-level-ontology.kif 12408-12408

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


(subclass Artery BloodVessel) Mid-level-ontology.kif 12434-12434
(subclass Capillary BloodVessel) Mid-level-ontology.kif 12505-12505
(subclass Vein BloodVessel) Mid-level-ontology.kif 12451-12451
(termFormat ChineseLanguage BloodVessel "血管") domainEnglishFormat.kif 11402-11402
(termFormat ChineseTraditionalLanguage BloodVessel "血管") domainEnglishFormat.kif 11401-11401
(termFormat EnglishLanguage BloodVessel "blood vessel") domainEnglishFormat.kif 11400-11400

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


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

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


(=>
    (and
        (instance ?SS AutoimmuneVasculitis)
        (experiencer ?SS ?H))
    (attribute ?H
        (ImpairedBodyPartFn BloodVessel)))
Medicine.kif 2416-2421
(=>
    (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 2423-2432
(=>
    (attribute ?H HeartDisease)
    (or
        (attribute ?H
            (ImpairedBodyPartFn Heart))
        (attribute ?H
            (ImpairedBodyPartFn BloodVessel))))
Medicine.kif 5743-5747


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