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

(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	Die Zahl 1 Argument von playsRoleInEvent ist ein fall von Object %n{nicht}
(domain playsRoleInEvent 2 CaseRole)	Mid-level-ontology.kif 23290-23290	Die Zahl 2 Argument von playsRoleInEvent ist ein fall von CaseRole %n{nicht}
(domain playsRoleInEvent 3 Process)	Mid-level-ontology.kif 23291-23291	Die Zahl 3 Argument von playsRoleInEvent ist ein fall von Process %n{nicht}
(instance playsRoleInEvent TernaryPredicate)	Mid-level-ontology.kif 23288-23288	playsRoleInEvent ist ein fall von TernaryPredicate %n{nicht}

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	Wenn playsRoleInEvent Object, CaseRole and Process und Process ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Process und Process besteht waehrend TimePosition %n{nicht} und eventLocated Process and Object, dann playsRoleInEventOfType Object, CaseRole, Process, TimePosition and Object
(=> (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	Wenn playsRoleInEvent Object, CaseRole and Process und Process ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Process und Process besteht waehrend TimePosition %n{nicht} und eventLocated Process and Object, dann playsRoleInEventOfType Object, CaseRole, Process, TimePosition and Object
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT))	Mid-level-ontology.kif 23298-23302	Wenn playsRoleInEvent Object, CaseRole and Process und CaseRole ist eine teilrelation von CaseRole2, dann playsRoleInEvent Object, CaseRole2 and ** Process
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (locatedAtTime ?OBJ ?TIME ?PLACE))	Mid-level-ontology.kif 23364-23369	Wenn playsRoleInEvent Object, CaseRole and Process und Process besteht waehrend TimePosition %n{nicht} und eventLocated Process and Object, dann locatedAtTime Object, TimePosition and ** Object

consequent

(=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT))	Mid-level-ontology.kif 23304-23310	Wenn CaseRole Process and Object und CaseRole ist ein fall von CaseRole %n{nicht} und Process ist ein fall von Process %n{nicht} und Object ist ein fall von Object %n{nicht}, dann playsRoleInEvent Object, CaseRole and Process
(=> (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	Wenn Physical ist ein fall von DisabledParking %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und Attribute ist ein attribut von AutonomousAgent %n{nicht} und Attribute ist ein fall von Disability %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Putting %n{nicht} und playsRoleInEvent Physical, bestimmungsort and entity und playsRoleInEvent entity, patient and entity und entity ist ein fall von TransportationDevice %n{nicht} fuer ** AutonomousAgent %n{nicht}
(=> (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	Wenn Process ist ein fall von BreakingRecord %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Set, Class,, , Process,, , TimePoint,, , CaseRole,, , Object, and und Entity um Set ist ein fall von Set %n{nicht} und AutonomousAgent ist ein element von Set %n{nicht} und Class ist eine teilkategorie von Process und Object ist ein fall von Region %n{nicht} und TimePoint ist ein fall von TimePoint %n{nicht} und Entity ist ein fall von Quantity %n{nicht} und Process ist ein fall von Class %n{nicht} und Process umfasst einen hinweis auf Entity und Entity umfasst einen hinweis auf Process und playsRoleInEvent AutonomousAgent, CaseRole and Process und eventLocated Process and Object und es gibt nicht Entity und Entity um Entity ist ein fall von Set %n{nicht} und Entity ist gleich AutonomousAgent nicht und Entity ist ein fall von Class %n{nicht} und playsRoleInEvent Entity, CaseRole and Entity und eventLocated Entity and Object haelt waehrend abstand zwischen TimePoint und das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT))	Mid-level-ontology.kif 23298-23302	Wenn playsRoleInEvent Object, CaseRole and Process und CaseRole ist eine teilrelation von CaseRole2, dann playsRoleInEvent Object, CaseRole2 and ** Process
(=> (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	Wenn Physical ist ein fall von ParkingRegion %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Putting %n{nicht} und playsRoleInEvent Physical, bestimmungsort and entity und playsRoleInEvent entity, patient and entity und entity ist ein fall von TransportationDevice %n{nicht} %n{nicht}
(=> (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	Wenn playsRoleInEventOfType Object, CaseRole, Process, TimePosition and Object, dann es gibt Process um Process ist ein fall von Process %n{nicht} und Process besteht waehrend TimePosition %n{nicht} und eventLocated Process and Object und playsRoleInEvent Object, CaseRole and ** Process

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