TreeView Knowledge Base Browser - playsRoleInEventOfType

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

playsRoleInEventOfType

Sigma KEE - playsRoleInEventOfType

playsRoleInEventOfType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23276-23278
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23270-23270	O argumento numero 1 de playsRoleInEventOfType e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23271-23271	O argumento numero 2 de playsRoleInEventOfType e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23273-23273	O argumento numero 4 de playsRoleInEventOfType e' uma instancia de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23274-23274	O argumento numero 5 de playsRoleInEventOfType e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23272-23272	O argumento numero 3 de playsRoleInEventOfType e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23269-23269	playsRoleInEventOfType e' uma instancia de Predicado Quinquenario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1971-1971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1970-1970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1969-1969
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46278-46278
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46277-46277
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46276-46276

antecedent

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

Mid-level-ontology.kif 23280-23287

playsRoleInEventOfType Objeto, Role em Caso, Processo, Posicao Temporal and Objeto
Processo Processo e' uma instancia de Processo Processo existe durante Posicao Temporal eventLocated Processo and Objeto playsRoleInEvent Objeto, Role em Caso and Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Justice.kif 26-28	detainedAtTimeInPlace Agente Sentiente, Posicao Temporal and Objeto playsRoleInEventOfType Agente Sentiente, detainee, Confinar, Posicao Temporal and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23260-23267	playsRoleInEvent Objeto, Role em Caso and Processo Processo e' uma instancia de Processo Processo e' uma sub-classe de Processo Processo existe durante Posicao Temporal eventLocated Processo and Objeto playsRoleInEventOfType Objeto, Role em Caso, Processo, Posicao Temporal and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23289-23296	playsRoleInEvent Objeto, Role em Caso and Processo Processo e' uma instancia de Processo Processo e' uma sub-classe de Processo Processo existe durante Posicao Temporal eventLocated Processo and Objeto playsRoleInEventOfType Objeto, Role em Caso, Processo, 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

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