TreeView Knowledge Base Browser - BloodVessel

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BloodVessel

BloodVessel(blood vessel)

blood_vessel, vasa_vasorum

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12410-12411
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1665-1665
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2116-2116
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12409-12409	Blood vessel is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12408-12408	Blood vessel is a subclass of body vessel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12434-12434	Artery is a subclass of blood vessel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12505-12505	Capillary is a subclass of blood vessel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12451-12451	Vein is a subclass of blood vessel
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11402-11402	Vein is a subclass of blood vessel
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11401-11401	Vein is a subclass of blood vessel
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11400-11400	Vein is a subclass of blood vessel

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 12413-12420

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

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2416-2421	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2423-2432	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5743-5747	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 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