TreeView Knowledge Base Browser

appearance as argument number 1

(subclass BloodVessel BodyVessel)	Mid-level-ontology.kif 12567-12567	Blood vessel is a subclass of body vessel
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 12568-12568	Blood vessel is a subclass of animal anatomical structure
(documentation BloodVessel EnglishLanguage "Any BodyVessel which is used to circulate Blood from one part of the body to another.")	Mid-level-ontology.kif 12569-12570	Blood vessel is a subclass of animal anatomical structure
(externalImage BloodVessel "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Arteriessystem.png")	pictureList.kif 1665-1665	Blood vessel is a subclass of animal anatomical structure
(externalImage BloodVessel "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Veincrosssection.png")	pictureList.kif 2116-2116	Blood vessel is a subclass of animal anatomical structure

appearance as argument number 2

(subclass Artery BloodVessel)	Mid-level-ontology.kif 12593-12593	Artery is a subclass of blood vessel
(subclass Vein BloodVessel)	Mid-level-ontology.kif 12610-12610	Vein is a subclass of blood vessel
(subclass Capillary BloodVessel)	Mid-level-ontology.kif 12664-12664	Capillary is a subclass of blood vessel
(termFormat EnglishLanguage BloodVessel "blood vessel")	domainEnglishFormat.kif 11399-11399	Capillary is a subclass of blood vessel
(termFormat ChineseTraditionalLanguage BloodVessel "血管")	domainEnglishFormat.kif 11400-11400	Capillary is a subclass of blood vessel
(termFormat ChineseLanguage BloodVessel "血管")	domainEnglishFormat.kif 11401-11401	Capillary 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 12572-12579

If X is an instance of blood vessel, then there exist Y, Z such that Y is an instance of blood, Z is an instance of transfer, Y is a patient of Z, and X is an instrument for Z

consequent

(=> (and (instance ?SS AutoimmuneVasculitis) (experiencer ?SS ?H)) (attribute ?H (ImpairedBodyPartFn BloodVessel)))	Medicine.kif 2424-2429	If X is an instance of autoimmune vasculitis and Y experiences X, then impaired body part fn blood vessel is an attribute of Y
(=> (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 2431-2440	If X is an instance of autoimmune vasculitis and Y experiences X, then there exist Z, W such that Z is an instance of blood vessel, Z is a part of Y, W is an instance of inflammation, and Z is a patient of W
(=> (attribute ?H HeartDisease) (or (attribute ?H (ImpairedBodyPartFn Heart)) (attribute ?H (ImpairedBodyPartFn BloodVessel))))	Medicine.kif 5757-5761	If cardiovascular disease is an attribute of X, then impaired body part fn heart is an attribute of X or impaired body part fn blood vessel is an attribute of X

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: