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 BloodVesselAnimalAnatomicalStructuresubclass では
(subclass BloodVessel BodyVessel) Mid-level-ontology.kif 12408-12408 BloodVessel身体血管subclass では

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


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

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