CaseRole(case role) | ![]() | active, case_role, 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 2304-2307 | |
(subclass CaseRole AsymmetricRelation) | Merge.kif 2302-2302 | Case role is a subclass of asymmetric relation |
(subclass CaseRole BinaryPredicate) | Merge.kif 2300-2300 | Case role is a subclass of binary predicate |
(subclass CaseRole InheritableRelation) | Merge.kif 2301-2301 | Case role is a subclass of inheritable relation |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain capability 2 CaseRole) | Merge.kif 3639-3639 | The number 2 argument of capability is an instance of case role |
(domain capabilityDuring 2 CaseRole) | Dining.kif 871-871 | The number 2 argument of capable during is an instance of case role |
(domain capableAtLocation 2 CaseRole) | Transportation.kif 2657-2657 | The number 2 argument of capable at location is an instance of case role |
(domain playsRoleInEvent 2 CaseRole) | Mid-level-ontology.kif 21139-21139 | The number 2 argument of plays role in event is an instance of case role |
(domain playsRoleInEventOfType 2 CaseRole) | Mid-level-ontology.kif 21176-21176 | 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 |
![]() |
![]() |