playsRoleInEvent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - playsRoleInEvent

playsRoleInEvent

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23240-23243
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23236-23236	O argumento numero 1 de playsRoleInEvent e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23237-23237	O argumento numero 2 de playsRoleInEvent e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23238-23238	O argumento numero 3 de playsRoleInEvent e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23235-23235	playsRoleInEvent e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1967-1967
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1966-1966
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1965-1965
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46272-46272
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46271-46271
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46270-46270

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23259-23266	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 23288-23295	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 23245-23249	playsRoleInEvent Objeto, Role em Caso and Processo Role em Caso e' uma sub-relacao de Role em Caso2 playsRoleInEvent Objeto, Role em Caso2 and Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23311-23316	playsRoleInEvent Objeto, Role em Caso and Processo Processo existe durante Posicao Temporal eventLocated Processo and Objeto locatedAtTime Objeto, Posicao Temporal and Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23251-23257	Role em Caso Processo and Objeto Role em Caso e' uma instancia de Role em Caso Processo e' uma instancia de Processo Objeto e' uma instancia de Objeto playsRoleInEvent Objeto, Role em Caso and Processo
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 49-59	Fisico e' uma instancia de DisabledParking AutonomousAgent e' uma instancia de Humano Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de Disability Fisico tem finalidade playsRoleInEvent Fisico, destination and Entidade playsRoleInEvent Entidade, patient and Entidade Entidade e' uma instancia de Veiculo de Transporte para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30018-30048	Processo e' uma instancia de BreakingRecord Processo e' um agente de AutonomousAgent Conjunto Classe, Processo, Ponto no tempo, Role em Caso, Objeto and Entidade Conjunto e' uma instancia de Conjunto AutonomousAgent e' um elemento de Conjunto Classe e' uma sub-classe de Processo Objeto e' uma instancia de Regiao Ponto no tempo e' uma instancia de Ponto no tempo Entidade e' uma instancia de Quantidade Processo e' uma instancia de Classe Processo inclui uma referencia a Entidade Entidade inclui uma referencia a Processo playsRoleInEvent AutonomousAgent, Role em Caso and Processo eventLocated Processo and Objeto Entidade Entidade Entidade e' uma instancia de Conjunto Entidade e' igual a AutonomousAgent Entidade e' uma instancia de Classe playsRoleInEvent Entidade, Role em Caso and Entidade eventLocated Entidade and Objeto vale durante o intervalo entre Ponto no tempo e o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23245-23249	playsRoleInEvent Objeto, Role em Caso and Processo Role em Caso e' uma sub-relacao de Role em Caso2 playsRoleInEvent Objeto, Role em Caso2 and Processo
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 36-42	Fisico e' uma instancia de ParkingRegion Fisico tem por fim playsRoleInEvent Fisico, destination and Entidade playsRoleInEvent Entidade, patient and Entidade Entidade e' uma instancia de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23279-23286	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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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