TreeView Knowledge Base Browser - playsRoleInEvent

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

playsRoleInEvent

Sigma KEE - playsRoleInEvent

playsRoleInEvent

appearance as argument number 1

(documentation playsRoleInEvent EnglishLanguage "(playsRoleInEvent ?OBJ ?ROLE ?EVENT) means that the Object ?OBJ is involved in the Process ?EVENT in a way specified by the CaseRole predicate ?ROLE.")	Mid-level-ontology.kif 23293-23296
(domain playsRoleInEvent 1 Object)	Mid-level-ontology.kif 23289-23289	O argumento numero 1 de playsRoleInEvent e' uma instancia de Objeto
(domain playsRoleInEvent 2 CaseRole)	Mid-level-ontology.kif 23290-23290	O argumento numero 2 de playsRoleInEvent e' uma instancia de Role em Caso
(domain playsRoleInEvent 3 Process)	Mid-level-ontology.kif 23291-23291	O argumento numero 3 de playsRoleInEvent e' uma instancia de Processo
(instance playsRoleInEvent TernaryPredicate)	Mid-level-ontology.kif 23288-23288	playsRoleInEvent e' uma instancia de Predicado Ternario

appearance as argument number 2

(format ChineseLanguage playsRoleInEvent "%1 %n{不} 对于 %3 在事件 %2 plays 角色")	domainEnglishFormat.kif 1967-1967
(format ChineseTraditionalLanguage playsRoleInEvent "%1 %n{不} 對於 %3 在事件 %2 plays 角色")	domainEnglishFormat.kif 1966-1966
(format EnglishLanguage playsRoleInEvent "%1 %n{doesn't} plays role in event %2 for %3")	domainEnglishFormat.kif 1965-1965
(termFormat ChineseLanguage playsRoleInEvent "在事件中发挥作用")	domainEnglishFormat.kif 46274-46274
(termFormat ChineseTraditionalLanguage playsRoleInEvent "在事件中發揮作用")	domainEnglishFormat.kif 46273-46273
(termFormat EnglishLanguage playsRoleInEvent "plays role in event")	domainEnglishFormat.kif 46272-46272

antecedent

(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (instance ?EVENT ?CLASS) (subclass ?CLASS Process) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (playsRoleInEventOfType ?OBJ ?ROLE ?CLASS ?TIME ?PLACE))	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
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (instance ?EVENT ?TYPE) (subclass ?TYPE Process) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE))	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
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT))	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
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (locatedAtTime ?OBJ ?TIME ?PLACE))	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

(=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT))	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
(=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))) ?AGENT))	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
(=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (element ?A1 ?AC) (subclass ?PC Process) (instance ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L)))))))))	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
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT))	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
(=> (instance ?PARK ParkingRegion) (hasPurpose ?PARK (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)))))	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
(=> (playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE) (exists (?EVENT) (and (instance ?EVENT ?TYPE) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE) (playsRoleInEvent ?OBJ ?ROLE ?EVENT))))	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 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