TreeView Knowledge Base Browser - typicalAction

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - typicalAction

typicalAction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22821-22822
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22816-22816	O argumento numero 1 de typicalAction e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22817-22817	O argumento numero 2 de typicalAction e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22818-22818	typicalAction e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22819-22819	typicalAction e' relacionado internamente por SUMO a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22820-22820	typicalAction e' relacionado internamente por SUMO a typicallyContainsTemporalPart

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4842-4842
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4841-4841
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4840-4840
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65961-65961

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22260-22273	Atributo e' uma instancia de OccupationalRole typicalAction Processo and AttrFn Agente Cognitivo and Atributo Processo Posicao Temporal, AutonomousAgent and AutonomousAgentT Processo e' uma instancia de Agente Cognitivo Atributo e' um atributo de Processo vale durante Posicao Temporal AutonomousAgent e' uma instancia de Processo Processo e' um agente de AutonomousAgent AutonomousAgent existe durante AutonomousAgentT AutonomousAgentT e' uma &parte de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22832-22849	typicalAction Processo and AutonomousAgent Entidade e' uma instancia de AutonomousAgent Numero Real e' igual a a probabilidade de Entidade Entidade e' uma instancia de Processo Entidade e' um agente de Entidade Numero Real e' igual a a probabilidade de Entidade Entidade e' uma instancia de Processo Entidade e' um agente de Entidade Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22824-22830	typicalAction Processo and AutonomousAgent Processo AutonomousAgent Processo e' uma instancia de Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' um agente de AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22280-22293	Atributo e' uma instancia de OccupationalDomain Fisico e' uma instancia de AttrFn Agente Cognitivo and Atributo Processo typicalAction Processo and AttrFn Agente Cognitivo and Atributo Fisico tem por fim Entidade Entidade e' uma instancia de Processo Fisico e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22254-22258	Atributo e' uma instancia de OccupationalRole Processo typicalAction Processo and AttrFn Agente Cognitivo and Atributo

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