| CaseRole(case role) | | active, participating, self |
| appearance as argument number 1 |
|
|
| (subclass CaseRole BinaryPredicate) | Merge.kif 2435-2435 | Case role is a subclass of binary predicate |
| (subclass CaseRole InheritableRelation) | Merge.kif 2436-2436 | Case role is a subclass of inheritable relation |
| (subclass CaseRole AsymmetricRelation) | Merge.kif 2437-2437 | Case role is a subclass of asymmetric relation |
| (documentation CaseRole EnglishLanguage "The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles include, for example, the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain.") | Merge.kif 2439-2442 | Case role is a subclass of asymmetric relation |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain capabilityDuring 2 CaseRole) | Dining.kif 918-918 | The number 2 argument of capable during is an instance of case role |
| (domain capability 2 CaseRole) | Merge.kif 3940-3940 | The number 2 argument of capability is an instance of case role |
| (domain playsRoleInEvent 2 CaseRole) | Mid-level-ontology.kif 25598-25598 | The number 2 argument of plays role in event is an instance of case role |
| (domain playsRoleInEventOfType 2 CaseRole) | Mid-level-ontology.kif 25631-25631 | The number 2 argument of plays role in event of type is an instance of case role |
| (domain capableAtLocation 2 CaseRole) | Transportation.kif 3738-3738 | The number 2 argument of capable at location is an instance of case role |
| antecedent |
|
|
| (=> (instance ?R CaseRole) (subrelation ?R involvedInEvent)) |
Merge.kif 2462-2464 | If X is an instance of case role, then X is a subrelation of involved in event |
| (=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2)) |
Merge.kif 3947-3953 | If X is an instance of case role, X Y and Z, Y is an instance of W, and W is a subclass of process, then Z is capable of doing W as a X |
| (=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ))) |
Merge.kif 9757-9763 | If X is an instance of case role, Y is an instance of object, and X Z and Y, then there exists W such that the place where Z was at W and Y overlapsSpatially |
| (=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)) |
Mid-level-ontology.kif 25612-25618 | 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 |
| (=> (and (subclass ?TYPE Translocation) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (capability ?TYPE ?ROLE ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION)) |
Transportation.kif 3742-3751 | If All of the following hold: (1) X is a subclass of translocation (2) Y is an instance of X (3) Y is located at Z (4) W is an instance of case role (5) V is an instance of object (6) Z is an instance of geographic area (7) V is capable of doing X as a W, then X capable at location W for V with Z |
| consequent |
|
|
| (<=> (subrelation ?PRED involvedInEvent) (instance ?PRED CaseRole)) |
Media.kif 119-121 | X is a subrelation of involved in event if and only if X is an instance of case role |
|
|
|