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 2404-2407 | |
(documentation CaseRole JapaneseLanguage "Predicates の Class は、Process の空間的に 区別されたパーツに関連する。CaseRoles は、例えば、作用の agent 、patient または destination、燃焼プロセスにおける可燃性物質、または雨に落ちる水を含む。") | japanese_format.kif 483-485 | |
(subclass CaseRole AsymmetricRelation) | Merge.kif 2402-2402 | 子類 CaseRole and AsymmetricRelation |
(subclass CaseRole BinaryPredicate) | Merge.kif 2400-2400 | 子類 CaseRole and BinaryPredicate |
(subclass CaseRole InheritableRelation) | Merge.kif 2401-2401 | 子類 CaseRole and 可繼承的關係 |
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 4160-4160 | 例 accountUsed and CaseRole |
(instance agent CaseRole) | Merge.kif 2431-2431 | 例 agent and CaseRole |
(instance amountOfBid CaseRole) | UXExperimentalTerms.kif 1446-1446 | 例 amountOfBid and CaseRole |
(instance arrested CaseRole) | Mid-level-ontology.kif 23525-23525 | 例 被捕 and CaseRole |
(instance arrestingOfficer CaseRole) | Law.kif 226-226 | 例 arrestingOfficer and CaseRole |
(instance attends CaseRole) | Merge.kif 13130-13130 | 例 出席 and CaseRole |
(instance attorney CaseRole) | Law.kif 443-443 | 例 attorney and CaseRole |
(instance broker CaseRole) | UXExperimentalTerms.kif 1680-1680 | 例 broker and CaseRole |
(instance cargo CaseRole) | Mid-level-ontology.kif 22924-22924 | 例 貨物 and CaseRole |
(instance catalyst CaseRole) | VirusProteinAndCellPart.kif 250-250 | 例 催化劑 and CaseRole |
(instance changesLocation CaseRole) | Merge.kif 11024-11024 | 例 改變位置 and CaseRole |
(instance computerRunning CaseRole) | QoSontology.kif 201-201 | 例 電腦運行 and CaseRole |
(instance contestParticipant CaseRole) | Mid-level-ontology.kif 19705-19705 | 例 比賽參與者 and CaseRole |
(instance controlled CaseRole) | Mid-level-ontology.kif 23474-23474 | 例 受控 and CaseRole |
(instance conveyance CaseRole) | Mid-level-ontology.kif 23580-23580 | 例 輸送 and CaseRole |
(instance dataProcessed CaseRole) | QoSontology.kif 1875-1875 | 例 數據已處理 and CaseRole |
(instance defendant CaseRole) | Mid-level-ontology.kif 16293-16293 | 例 被告 and CaseRole |
(instance defenseLawyer CaseRole) | Law.kif 280-280 | 例 defenseLawyer and CaseRole |
(instance destination CaseRole) | Merge.kif 2442-2442 | 例 目的地 and CaseRole |
(instance detainee CaseRole) | Mid-level-ontology.kif 6810-6810 | 例 被拘留者 and CaseRole |
(instance eCommerceSite CaseRole) | UXExperimentalTerms.kif 1703-1703 | 例 eCommerceSite and CaseRole |
(instance eventLocated CaseRole) | Merge.kif 4121-4121 | 例 eventLocated and CaseRole |
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 3904-3904 | 域 能力, 2 and CaseRole |
(domain capabilityDuring 2 CaseRole) | Dining.kif 918-918 | 域 capabilityDuring, 2 and CaseRole |
(domain capableAtLocation 2 CaseRole) | Transportation.kif 2721-2721 | 域 能夠在位置, 2 and CaseRole |
(domain playsRoleInEvent 2 CaseRole) | Mid-level-ontology.kif 23290-23290 | 域 在事件中發揮作用, 2 and CaseRole |
(domain playsRoleInEventOfType 2 CaseRole) | Mid-level-ontology.kif 23323-23323 | 域 在類型的事件中發揮作用, 2 and CaseRole |
antecedent |
(=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)) |
Mid-level-ontology.kif 23304-23310 | |
(=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ))) |
Merge.kif 9637-9643 | |
(=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2)) |
Merge.kif 3911-3917 | |
(=> (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 2725-2734 | |
(=> (instance ?R CaseRole) (subrelation ?R involvedInEvent)) |
Merge.kif 2427-2429 |
consequent |
(<=> (subrelation ?PRED involvedInEvent) (instance ?PRED CaseRole)) |
Media.kif 119-121 | 子關係 Relation and 參與活動 例 Relation and CaseRole |