Vein - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Vein

Vein

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11121-11122
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4845-4845
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11120-11120	Vein e' relacionado internamente por SUMO a Artery
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11119-11119	Vein e' uma sub-classe de BloodVessel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11152-11152	PulmonaryVein e' uma sub-classe de Vein
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61436-61436
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61435-61435
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61434-61434

antecedent

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

Mid-level-ontology.kif 11124-11134

Objeto e' uma instancia de Vein Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Objeto e' um instrumento para Processo Entidade e' uma instancia de Sangue
Entidade Entidade e' uma instancia de Heart Processo termina em Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	Processo e' uma instancia de Bleeding AutonomousAgent experimenta Processo Objeto Processo Objeto e' uma instancia de Vein Objeto e' uma instancia de Artery Objeto e' uma &parte de AutonomousAgent Processo e' uma instancia de Causar Dano tempo de existencia de Processo acontence antes de tempo de existencia de Processo Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 491-503	Movimento e' uma instancia de BloodCirculation Objeto Objeto, Objeto and Objeto Objeto e' uma instancia de Animal Objeto e' uma instancia de Sangue moves Movimento and Objeto Objeto e' uma instancia de Artery Objeto e' uma instancia de Vein Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' o caminho ao longo do qual Movimento ocorre Objeto e' o caminho ao longo do qual Movimento ocorre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11177-11183	Objeto e' uma instancia de Capillary Objeto Objeto Objeto e' uma instancia de Artery Objeto e' uma instancia de Vein Objeto conecta Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1078-1085	Movimento e' uma instancia de IVTherapy Entidade Entidade and Objeto Objeto e' uma instancia de IVLine Objeto e' o caminho ao longo do qual Movimento ocorre Entidade e' uma instancia de Vein Movimento termina em Entidade

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