TreeView Knowledge Base Browser - Inheriting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Inheriting

Inheriting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18616-18618
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18615-18615	Inheriting e' uma sub-classe de Obtencao Unilateral

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30097-30097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30096-30096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30095-30095

antecedent

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

Mid-level-ontology.kif 18620-18638

Processo e' uma instancia de Inheriting Processo e' um agente de Agente Cognitivo Processo tem como origem AutonomousAgent Entidade e' um patient de Processo
Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo AutonomousAgent possui Entidade vale durante imediatemente antes de tempo de existencia de Processo AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Agente Cognitivo possui Entidade

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