| CaseRole | | , حَالَة الدَّوْر, Role_em_Caso, RuoloSemantico, active, case_role, participating, r�le_d�pendant_du_cas, self, vibhakti_bhUmikaa, 格角色 |
| appearance as argument number 1 |
|
|
| (documentation CaseRole ChineseLanguage "这是一个 Predicate 的 Class， 它把 Process 中可以从空间上区别的部分联系起来。 CaseRole 包括 agent、 patient 或行动的 destination 这些例子、燃烧过程中的易燃物质，或是降雨过程中的雨水。") | Merge.kif 2535-2537 | |
| (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 2531-2534 | |
| (subclass CaseRole AsymmetricRelation) | Merge.kif 2530-2530 | |
| (subclass CaseRole BinaryPredicate) | Merge.kif 2528-2528 | |
| (subclass CaseRole InheritableRelation) | Merge.kif 2529-2529 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage CaseRole "%2 is %n a case role of %1") | domainEnglishFormat.kif 105-105 | |
| (instance agent CaseRole) | Merge.kif 2562-2562 | |
| (instance amountOfBid CaseRole) | UXExperimentalTerms.kif 1649-1649 | |
| (instance arrested CaseRole) | Mid-level-ontology.kif 21353-21353 | |
| (instance arrestingOfficer CaseRole) | Law.kif 266-266 | |
| (instance attends CaseRole) | Merge.kif 12970-12970 | |
| (instance attorney CaseRole) | Law.kif 483-483 | |
| (instance broker CaseRole) | UXExperimentalTerms.kif 1885-1885 | |
| (instance cargo CaseRole) | Mid-level-ontology.kif 20720-20720 | |
| (instance catalyst CaseRole) | VirusProteinAndCellPart.kif 205-205 | |
| (instance changesLocation CaseRole) | Merge.kif 10892-10892 | |
| (instance computerRunning CaseRole) | QoSontology.kif 196-196 | |
| (instance contestParticipant CaseRole) | Mid-level-ontology.kif 17397-17397 | |
| (instance controlled CaseRole) | Mid-level-ontology.kif 21302-21302 | |
| (instance conveyance CaseRole) | Mid-level-ontology.kif 21410-21410 | |
| (instance dataProcessed CaseRole) | QoSontology.kif 1854-1854 | |
| (instance defendant CaseRole) | Mid-level-ontology.kif 13912-13912 | |
| (instance defenseLawyer CaseRole) | Law.kif 319-319 | |
| (instance destination CaseRole) | Merge.kif 2575-2575 | |
| (instance detainee CaseRole) | Mid-level-ontology.kif 6442-6442 | |
| (instance direction CaseRole) | Merge.kif 17195-17195 | |
| (instance eCommerceSite CaseRole) | UXExperimentalTerms.kif 1908-1908 | |
| (instance enjoys CaseRole) | Mid-level-ontology.kif 7033-7033 | |
| (instance eventLocated CaseRole) | Merge.kif 4235-4235 | |
| (instance eventPartlyLocated CaseRole) | Merge.kif 4202-4202 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domain capability 2 CaseRole) | Merge.kif 4018-4018 | |
| (domain capabilityDuring 2 CaseRole) | Dining.kif 875-875 | |
| (domain capableAtLocation 2 CaseRole) | Transportation.kif 2602-2602 | |
| (domain playsRoleInEvent 2 CaseRole) | Mid-level-ontology.kif 21107-21107 | |
| (domain playsRoleInEventOfType 2 CaseRole) | Mid-level-ontology.kif 21144-21144 |
| antecedent |
|
|
| (=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)) |
Mid-level-ontology.kif 21125-21131 | |
| (=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ))) |
Merge.kif 9564-9570 | |
| (=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2)) |
Merge.kif 4026-4032 | |
| (=> (and (subclass ?TYPE Process) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (?ROLE ?EVENT ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?PLACE)) |
Transportation.kif 2606-2615 | |
| (=> (instance ?R CaseRole) (subrelation ?R involvedInEvent)) |
Merge.kif 2558-2560 |
| consequent |
|
|
| (<=> (subrelation ?PRED involvedInEvent) (instance ?PRED CaseRole)) |
Media.kif 119-121 |
|
|
|