TreeView Knowledge Base Browser - Deciding

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Deciding

Deciding

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3122-3123
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12029-12031
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12028-12028	Deciding e' uma sub-classe de Selecionar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16274-16274	GameCall e' uma sub-classe de Deciding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16053-16053	Resolution e' uma sub-classe de Deciding
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18822-18822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18821-18821
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18820-18820

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12068-12084	Processo e' uma instancia de Deciding Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Conjunto ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de ContentBearingPhysical containsFormula ContentBearingPhysical and Entidade Entidade e' um elemento de Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um agente de AutonomousAgent vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12036-12048	Processo e' uma instancia de Deciding Processo e' um agente de Agente Cognitivo Conjunto e' uma instancia de Conjunto Conjunto e' um patient de Processo Entidade e' um elemento de Conjunto Agente Cognitivo acredita que Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Processo Intencional Agente Cognitivo e' capaz de fazer Entidade no role agent

consequent

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

Merge.kif 10823-10830

Fisico e' uma instancia de LegalDecision
Processo Processo e' uma instancia de Deciding Classe e' o resultado de Processo Fisico e' uma instancia de Classe tempo de existencia de Processo acontence antes de tempo de existencia de Fisico

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