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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11181-11182
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 11180-11180	PulmonaryVein e' uma sub-classe de Vein

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 11184-11199

Objeto e' uma instancia de PulmonaryVein Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Objeto e' um instrumento para Processo Entidade e' uma instancia de Sangue
Objeto Objeto and Objeto Objeto e' uma instancia de Lung Processo tem como origem Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Heart Processo termina em Objeto

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