playsRoleInEvent
|
|
Sigma KEE - playsRoleInEvent
appearance as argument number 1
|
|
appearance as argument number 2
|
|
antecedent
|
|
consequent
|
|
(=>
(and
(?ROLE ?EVENT ?OBJ)
(instance ?ROLE CaseRole)
(instance ?EVENT Process)
(instance ?OBJ Object))
(playsRoleInEvent ?OBJ ?ROLE ?EVENT)) |
Mid-level-ontology.kif 23252-23258 |
|
(=>
(and
(instance ?PARK DisabledParking)
(instance ?AGENT Human)
(attribute ?AGENT ?ATTR)
(instance ?ATTR Disability))
(hasPurposeForAgent ?PARK
(and
(playsRoleInEvent ?PARK destination ?EVENT)
(playsRoleInEvent ?TD patient ?EVENT)
(instance ?TD TransportationDevice)) ?AGENT)) |
TransportDetail.kif 49-59 |
|
(=>
(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 30030-30060 |
- 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 23246-23250 |
|
(=>
(instance ?PARK ParkingRegion)
(hasPurpose ?PARK
(and
(playsRoleInEvent ?PARK destination ?EVENT)
(playsRoleInEvent ?TD patient ?EVENT)
(instance ?TD TransportationDevice)))) |
TransportDetail.kif 36-42 |
|
(=>
(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 23280-23287 |
|
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|