Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| playsRoleInEvent |
| appearance as argument number 1 |
|
| (instance playsRoleInEvent TernaryPredicate) | Mid-level-ontology.kif 25554-25554 | plays role in event is an instance of ternary predicate |
| (domain playsRoleInEvent 1 Object) | Mid-level-ontology.kif 25555-25555 | The number 1 argument of plays role in event is an instance of object |
| (domain playsRoleInEvent 2 CaseRole) | Mid-level-ontology.kif 25556-25556 | The number 2 argument of plays role in event is an instance of case role |
| (domain playsRoleInEvent 3 Process) | Mid-level-ontology.kif 25557-25557 | The number 3 argument of plays role in event is an instance of process |
| (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 25559-25562 | The number 3 argument of plays role in event is an instance of process |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage playsRoleInEvent "%1 %n{doesn't} plays role in event %2 for %3") | domainEnglishFormat.kif 1969-1969 | |
| (format ChineseTraditionalLanguage playsRoleInEvent "%1 %n{不} 對於 %3 在事件 %2 plays 角色") | domainEnglishFormat.kif 1970-1970 | |
| (format ChineseLanguage playsRoleInEvent "%1 %n{不} 对于 %3 在事件 %2 plays 角色") | domainEnglishFormat.kif 1971-1971 | |
| (termFormat EnglishLanguage playsRoleInEvent "plays role in event") | domainEnglishFormat.kif 46265-46265 | |
| (termFormat ChineseTraditionalLanguage playsRoleInEvent "在事件中發揮作用") | domainEnglishFormat.kif 46266-46266 | |
| (termFormat ChineseLanguage playsRoleInEvent "在事件中发挥作用") | domainEnglishFormat.kif 46267-46267 |
| antecedent |
|
|
| (=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT)) |
Mid-level-ontology.kif 25564-25568 | If X plays role in event Y for Z and Y is a subrelation of W, then X plays role in event W for Z |
| (=> (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 25578-25585 | If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U |
| (=> (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 25607-25614 | If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U |
| (=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 25630-25635 | If X plays role in event Y for Z, Z exists during W, and Z is located at V, then X located at time W for V |
| consequent |
|
|
| (=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT)) |
Mid-level-ontology.kif 25564-25568 | If X plays role in event Y for Z and Y is a subrelation of W, then X plays role in event W for Z |
| (=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)) |
Mid-level-ontology.kif 25570-25576 | If X Y and Z, X is an instance of case role, Y is an instance of process, and Z is an instance of object, then Z plays role in event X for Y |
| (=> (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 25598-25605 | If X plays role in event of type Y for Z with W and V, then there exists U such that U is an instance of Z, U exists during W, U is located at V, and X plays role in event Y for U |
| (=> (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 32629-32659 | If X is an instance of breaking record and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T,, , S (2) R such that Z is an instance of set (3) Y is an element of Z (4) W is a subclass of process (5) S is an instance of region (6) U is an instance of time point (7) R is an instance of quantity (8) V is an instance of W (9) X includes a reference to R (10) R includes a reference to V (11) Y plays role in event T for V (12) V is located at S (13) there don't exist Q (14) P such that Q is an instance of Z (15) equal Q (16) Y (17) P is an instance of W (18) Q plays role in event T for P (19) P is located at S holds during interval between U (20) the end of the time of existence of X |
| (=> (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 | If X is an instance of parking area, then X has the purpose there exist Y, Z such that Y is an instance of putting, X plays role in event destination for Y, Z plays role in event patient for Y, and Z is an instance of transportation device |
| (=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK ?AGENT (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))))) |
TransportDetail.kif 51-63 | If X is an instance of disabled parking, Y is an instance of human, Z is an attribute of Y, and Z is an instance of disability, then X has the purpose Y for there exist W, V such that W is an instance of putting, X plays role in event destination for W, V plays role in event patient for W, and V is an instance of transportation device |
|