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 11079-11080
(externalImage BloodVessel "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Arteriessystem.png") pictureList.kif 1666-1666
(externalImage BloodVessel "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Veincrosssection.png") pictureList.kif 2117-2117
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 11078-11078 BloodVesselAnimalAnatomicalStructuresubclass では %n
(subclass BloodVessel BodyVessel) Mid-level-ontology.kif 11077-11077 BloodVessel身体血管subclass では %n

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


(subclass Artery BloodVessel) Mid-level-ontology.kif 11103-11103 ArteryBloodVesselsubclass では %n
(subclass Capillary BloodVessel) Mid-level-ontology.kif 11174-11174 CapillaryBloodVesselsubclass では %n
(subclass Vein BloodVessel) Mid-level-ontology.kif 11120-11120 VeinBloodVesselsubclass では %n
(termFormat ChineseLanguage BloodVessel "血管") domainEnglishFormat.kif 11393-11393
(termFormat ChineseTraditionalLanguage BloodVessel "血管") domainEnglishFormat.kif 11392-11392
(termFormat EnglishLanguage BloodVessel "blood vessel") domainEnglishFormat.kif 11391-11391

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


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

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


(=>
    (and
        (instance ?SS AutoimmuneVasculitis)
        (experiencer ?SS ?H))
    (attribute ?H
        (ImpairedBodyPartFn BloodVessel)))
Medicine.kif 2418-2423
(=>
    (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 2425-2434
(=>
    (attribute ?H HeartDisease)
    (or
        (attribute ?H
            (ImpairedBodyPartFn Heart))
        (attribute ?H
            (ImpairedBodyPartFn BloodVessel))))
Medicine.kif 5732-5736


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