TreeView Knowledge Base Browser - PulmonaryVein

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PulmonaryVein

PulmonaryVein(pulmonary vein)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11154-11155
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9572-9572
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11153-11153	Pulmonary vein is a subclass of vein

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48086-48086
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48085-48085
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48084-48084

antecedent

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

Mid-level-ontology.kif 11157-11172

If an object is an instance of pulmonary vein and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood,
then there exist another object, a third object and a fourth object such that the other object is an instance of lung and the process originates at the other object and the object is a part of the fourth object and the other object is a part of the fourth object and the third object is a part of the fourth object and the third object is an instance of heart and the process ends up at the third 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