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 23293-23296
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23289-23289	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 23290-23290	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 23291-23291	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 23288-23288	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 46274-46274
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46273-46273
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46272-46272

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23312-23319	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 23341-23348	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 23298-23302	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 23364-23369	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 23304-23310	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 51-63	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 Entidade Entidade Entidade e' uma instancia de Colocar 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 30054-30084	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 23298-23302	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-44	Fisico e' uma instancia de ParkingRegion Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Colocar 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 23332-23339	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