| CaseRole(格角色) | |
| 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 2415-2418 | |
| (documentation CaseRole JapaneseLanguage "Predicates の Class は、Process の空間的に 区別されたパーツに関連する。CaseRoles は、例えば、作用の agent 、patient または destination、燃焼プロセスにおける可燃性物質、または雨に落ちる水を含む。") | japanese_format.kif 483-485 | |
| (subclass CaseRole AsymmetricRelation) | Merge.kif 2413-2413 | 格角色 是 非对称关系 的 subclass |
| (subclass CaseRole BinaryPredicate) | Merge.kif 2411-2411 | 格角色 是 二元谓语 的 subclass |
| (subclass CaseRole InheritableRelation) | Merge.kif 2412-2412 | 格角色 是 可继承的关系 的 subclass |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage CaseRole "%2 %n 是 %1 的 case 角色") | domainEnglishFormat.kif 384-384 | |
| (format ChineseTraditionalLanguage CaseRole "%2 %n 是 %1 的 case 角色") | domainEnglishFormat.kif 383-383 | |
| (format EnglishLanguage CaseRole "%2 is %n a case role of %1") | domainEnglishFormat.kif 382-382 | |
| (instance accountUsed CaseRole) | ComputingBrands.kif 4155-4155 | accountUsed 是 格角色 的 instance |
| (instance agent CaseRole) | Merge.kif 2442-2442 | 主事 是 格角色 的 instance |
| (instance amountOfBid CaseRole) | UXExperimentalTerms.kif 1446-1446 | amountOfBid 是 格角色 的 instance |
| (instance arrested CaseRole) | Mid-level-ontology.kif 25114-25114 | 逮捕 是 格角色 的 instance |
| (instance arrestingOfficer CaseRole) | Law.kif 227-227 | arrestingOfficer 是 格角色 的 instance |
| (instance attends CaseRole) | Merge.kif 13238-13238 | 出席 是 格角色 的 instance |
| (instance attorney CaseRole) | Law.kif 449-449 | attorney 是 格角色 的 instance |
| (instance broker CaseRole) | UXExperimentalTerms.kif 1680-1680 | broker 是 格角色 的 instance |
| (instance cargo CaseRole) | Mid-level-ontology.kif 24513-24513 | 货物 是 格角色 的 instance |
| (instance catalyst CaseRole) | VirusProteinAndCellPart.kif 254-254 | 催化剂 是 格角色 的 instance |
| (instance changesLocation CaseRole) | Merge.kif 11128-11128 | 改变位置 是 格角色 的 instance |
| (instance computerRunning CaseRole) | QoSontology.kif 202-202 | 电脑运行 是 格角色 的 instance |
| (instance contestParticipant CaseRole) | Mid-level-ontology.kif 21249-21249 | 比赛参与者 是 格角色 的 instance |
| (instance controlled CaseRole) | Mid-level-ontology.kif 25063-25063 | 控制 是 格角色 的 instance |
| (instance conveyance CaseRole) | Mid-level-ontology.kif 25169-25169 | 运输工具 是 格角色 的 instance |
| (instance dataProcessed CaseRole) | QoSontology.kif 2006-2006 | 数据已处理 是 格角色 的 instance |
| (instance defendant CaseRole) | Mid-level-ontology.kif 17653-17653 | 被告 是 格角色 的 instance |
| (instance defenseLawyer CaseRole) | Law.kif 284-284 | defenseLawyer 是 格角色 的 instance |
| (instance destination CaseRole) | Merge.kif 2453-2453 | 终点 是 格角色 的 instance |
| (instance detainee CaseRole) | Mid-level-ontology.kif 7944-7944 | 被拘留者 是 格角色 的 instance |
| (instance eCommerceSite CaseRole) | UXExperimentalTerms.kif 1703-1703 | eCommerceSite 是 格角色 的 instance |
| (instance eventLocated CaseRole) | Merge.kif 4141-4141 | eventLocated 是 格角色 的 instance |
| 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 3916-3916 | 能够 的 2 数量 是 格角色 的 instance |
| (domain capabilityDuring 2 CaseRole) | Dining.kif 918-918 | capabilityDuring 的 2 数量 是 格角色 的 instance |
| (domain capableAtLocation 2 CaseRole) | Transportation.kif 3219-3219 | 能够在位置 的 2 数量 是 格角色 的 instance |
| (domain playsRoleInEvent 2 CaseRole) | Mid-level-ontology.kif 24879-24879 | 在事件中发挥作用 的 2 数量 是 格角色 的 instance |
| (domain playsRoleInEventOfType 2 CaseRole) | Mid-level-ontology.kif 24912-24912 | 在类型的事件中发挥作用 的 2 数量 是 格角色 的 instance |
| antecedent |
|
|
| (=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)) |
Mid-level-ontology.kif 24893-24899 | |
| (=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ))) |
Merge.kif 9737-9743 | |
| (=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2)) |
Merge.kif 3923-3929 | |
| (=> (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 3223-3232 | |
| (=> (instance ?R CaseRole) (subrelation ?R involvedInEvent)) |
Merge.kif 2438-2440 |
| consequent |
|
|
| (<=> (subrelation ?PRED involvedInEvent) (instance ?PRED CaseRole)) |
Media.kif 119-121 | 关系 是 参与活动 的 subrelation 若且唯若 那个 关系 是 格角色 的 instance |
|
|
|