TreeView Knowledge Base Browser - observedAtTimeInPlace

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

observedAtTimeInPlace

Sigma KEE - observedAtTimeInPlace

observedAtTimeInPlace

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Justice.kif 36-45
No TPTP formula. May not be expressible in strict first order.	Justice.kif 31-31	O argumento numero 1 de observedAtTimeInPlace e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Justice.kif 32-32	O argumento numero 2 de observedAtTimeInPlace e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Justice.kif 33-33	O argumento numero 3 de observedAtTimeInPlace e' uma instancia de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Justice.kif 34-34	O argumento numero 4 de observedAtTimeInPlace e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Justice.kif 30-30	observedAtTimeInPlace e' uma instancia de Predicado Quaternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1819-1819
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1818-1818
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1817-1817
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41566-41566
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41565-41565
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41564-41564

antecedent

No TPTP formula. May not be expressible in strict first order.	Justice.kif 51-59	observedAtTimeInPlace Objeto, AutonomousAgent, Intervalo Temporal and Objeto Processo Processo e' uma instancia de Visao Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' situado em Objeto Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Justice.kif 47-49	observedAtTimeInPlace Objeto, AutonomousAgent, Posicao Temporal and Objeto locatedAtTime Objeto, Posicao Temporal and Objeto
No TPTP formula. May not be expressible in strict first order.	Justice.kif 75-77	observedAtTimeInPlace Objeto, AutonomousAgent, Posicao Temporal and Objeto playsRoleInEventOfType AutonomousAgent, agent, Visao, Posicao Temporal and Objeto
No TPTP formula. May not be expressible in strict first order.	Justice.kif 71-73	observedAtTimeInPlace Objeto, AutonomousAgent, Posicao Temporal and Objeto playsRoleInEventOfType Objeto, patient, Visao, Posicao Temporal and Objeto

consequent

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

Justice.kif 61-69

Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent Objeto e' uma instancia de Objeto Processo existe durante Posicao Temporal Objeto e' situado em Objeto vale durante Posicao Temporal
observedAtTimeInPlace Objeto, AutonomousAgent, Posicao Temporal and Objeto

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