TreeView Knowledge Base Browser - Reasoning

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Reasoning

Reasoning(Raciocinar)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3117-3119
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12015-12017
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12014-12014	Raciocinar e' uma sub-classe de Processo Psicologico Intencional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1146-1146
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1509-1509
No TPTP formula. May not be expressible in strict first order.	french_format.kif 824-824
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 356-356
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 359-359
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2508-2508
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 776-776
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 361-361
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 395-395
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 845-845
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 360-360

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21146-21176	Proposicao e' uma instancia de Argument Processo e' uma instancia de Raciocinar Proposicao e' uma instancia de Archeology Proposicao e' uma &sub-proposicao de Proposicao Processo exprime o conteudo de Proposicao Processo Entidade, Fisico, Numero Real, Entidade and Entidade Processo e' uma instancia de Discovering Fisico e' uma instancia de Objeto Fisico e' um patient de Processo Processo inclui uma referencia a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior que 50 Entidade e' uma superficie de Entidade Entidade e' uma instancia de BodyOfWater Fisico e' Below em relacao a Entidade Entidade e' uma superficie de Entidade Entidade e' uma instancia de Area terrestre Fisico e' Below em relacao a Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16840-16845	Processo e' uma instancia de Raciocinar Proposicao Proposicao e' uma instancia de Argument Processo exprime o conteudo de Proposicao

consequent

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

Merge.kif 12019-12021

Objeto e' uma instancia de Agente Cognitivo
Objeto e' capaz de fazer Raciocinar no role agent

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