CaseRole(case role) | ![]() | active, participating, self |
appearance as argument number 1 |
![]() |
(documentation CaseRole ChineseLanguage "这是一个 Predicate 的 Class, 它把 Process 中可以从空间上区别的部分联系起来。 CaseRole 包括 agent、 patient 或行动的 destination 这些例子、燃烧过程中的易燃物质,或是降雨过程中的雨水。") | chinese_format.kif 1860-1862 | |
(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 2381-2384 | |
(subclass CaseRole AsymmetricRelation) | Merge.kif 2379-2379 | Case role is a subclass of asymmetric relation |
(subclass CaseRole BinaryPredicate) | Merge.kif 2377-2377 | Case role is a subclass of binary predicate |
(subclass CaseRole InheritableRelation) | Merge.kif 2378-2378 | Case role is a subclass of inheritable relation |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain capability 2 CaseRole) | Merge.kif 3880-3880 | The number 2 argument of capability is an instance of case role |
(domain capabilityDuring 2 CaseRole) | Dining.kif 918-918 | The number 2 argument of capable during is an instance of case role |
(domain capableAtLocation 2 CaseRole) | Transportation.kif 2688-2688 | The number 2 argument of capable at location is an instance of case role |
(domain playsRoleInEvent 2 CaseRole) | Mid-level-ontology.kif 23188-23188 | The number 2 argument of plays role in event is an instance of case role |
(domain playsRoleInEventOfType 2 CaseRole) | Mid-level-ontology.kif 23221-23221 | The number 2 argument of plays role in event of type is an instance of case role |
antecedent |
![]() |
consequent |
![]() |
(<=> (subrelation ?PRED involvedInEvent) (instance ?PRED CaseRole)) |
Media.kif 119-121 | A relation is a subrelation of involved in event if and only if the relation is an instance of case role |
![]() |
![]() |