BloodVessel - Sigma Knowledge base Browser

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 11975-11976
(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 11974-11974	Blood vessel is a subclass of animal anatomical structure
(subclass BloodVessel BodyVessel)	Mid-level-ontology.kif 11973-11973	Blood vessel is a subclass of body vessel

appearance as argument number 2

(subclass Artery BloodVessel)	Mid-level-ontology.kif 11999-11999	Artery is a subclass of blood vessel
(subclass Capillary BloodVessel)	Mid-level-ontology.kif 12070-12070	Capillary is a subclass of blood vessel
(subclass Vein BloodVessel)	Mid-level-ontology.kif 12016-12016	Vein is a subclass of blood vessel
(termFormat ChineseLanguage BloodVessel "血管")	domainEnglishFormat.kif 11408-11408	Vein is a subclass of blood vessel
(termFormat ChineseTraditionalLanguage BloodVessel "血管")	domainEnglishFormat.kif 11407-11407	Vein is a subclass of blood vessel
(termFormat EnglishLanguage BloodVessel "blood vessel")	domainEnglishFormat.kif 11406-11406	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 11978-11985

If an object is an instance of blood vessel,
then there exist an entity and a process such that the entity is an instance of blood and the process is an instance of transfer and the entity is a patient of the process and the object is an instrument for the process

consequent

(=> (and (instance ?SS AutoimmuneVasculitis) (experiencer ?SS ?H)) (attribute ?H (ImpairedBodyPartFn BloodVessel)))	Medicine.kif 2406-2411	If a process is an instance of autoimmune vasculitis and an agent experiences the process, then impaired body part fn blood vessel is an attribute of the agent
(=> (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	If a process is an instance of autoimmune vasculitis and an agent experiences the process, then there exist an object and another process such that the object is an instance of blood vessel and the object is a part of the agent and the other process is an instance of inflammation and the object is a patient of the other process
(=> (attribute ?H HeartDisease) (or (attribute ?H (ImpairedBodyPartFn Heart)) (attribute ?H (ImpairedBodyPartFn BloodVessel))))	Medicine.kif 5720-5724	If cardiovascular disease is an attribute of an object, then impaired body part fn heart is an attribute of the object or impaired body part fn blood vessel is an attribute of the object

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

KB Term:			Term intersection

English Word: