instrument |
appearance as argument number 1 |
![]() |
(documentation instrument ChineseLanguage "(instrument ?EVENT ?TOOL) 的意思是 ?TOOL 是主事者令?EVENT 发生的工具,而且 ?TOOL 并没受到 ?EVENT 的改变。例如:在以下'哪钥匙把门打开了' 这命题,钥匙是个 instrument。 注:instrument 和 resource 这两个参数不可以用同一对的顺序来 表示。 ") | chinese_format.kif 1875-1878 | |
(documentation instrument EnglishLanguage "(instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?TOOL is not changed by ?EVENT. For example, the key is an instrument in the following proposition: The key opened the door. Note that instrument and resource cannot be satisfied by the same ordered pair.") | Merge.kif 2485-2489 | |
(documentation instrument JapaneseLanguage "(instrument ?EVENT ?TOOL) とは、エージェントが ?EVENT を持ち込む場合にエージェントによって使用され、?TOOL が ?EVENT によって変更されないことを 意味する。例:キーは次の命題のインである: キーがドアを開けた。 注:instrument と resource は、同じ順序のペアでは満たすことができない。") | japanese_format.kif 499-502 | |
(domain instrument 1 Process) | Merge.kif 2482-2482 | 工具 的 1 数量 是 过程 的 instance |
(domain instrument 2 Object) | Merge.kif 2483-2483 | 工具 的 2 数量 是 客体 的 instance |
(instance instrument CaseRole) | Merge.kif 2480-2480 | 工具 是 格角色 的 instance |
(instance instrument PartialValuedRelation) | Merge.kif 2481-2481 | 工具 是 部分值关系 的 instance |
(subrelation instrument patient) | Merge.kif 2479-2479 | 工具 是 受事 的 subrelation |
appearance as argument number 2 |
![]() |
(disjointRelation resource instrument) | Merge.kif 2525-2525 | 资源 和 工具 是 disjoint 关系 |
(disjointRelation result instrument) | Merge.kif 2526-2526 | 结果 和 工具 是 disjoint 关系 |
(format ChineseLanguage instrument "%2 %n 是导致 %1 的 instrument") | chinese_format.kif 135-135 | 结果 和 工具 是 disjoint 关系 |
(format EnglishLanguage instrument "%2 is %n an instrument for %1") | english_format.kif 136-136 | 结果 和 工具 是 disjoint 关系 |
(format FrenchLanguage instrument "%2 est %n un instrument pour %1") | french_format.kif 89-89 | 结果 和 工具 是 disjoint 关系 |
(format ItalianLanguage instrument "%2 è %n uno strumento per %1") | relations-it.txt 150-150 | 结果 和 工具 是 disjoint 关系 |
(format JapaneseLanguage instrument "%2 は %1 の instrument では %n") | japanese_format.kif 1916-1916 | 结果 和 工具 是 disjoint 关系 |
(format PortugueseLanguage instrument "%2 e' %n um instrumento para %1") | portuguese_format.kif 41-41 | 结果 和 工具 是 disjoint 关系 |
(format cz instrument "%2 %p{je} %n{nen�} n�strojem for %1") | relations-cz.txt 83-83 | 结果 和 工具 是 disjoint 关系 |
(format de instrument "%2 ist ein instrument fuer %1 %n{nicht}") | relations-de.txt 163-163 | 结果 和 工具 是 disjoint 关系 |
(format hi instrument "%2 %1 kaa upakaraNa %n hai") | relations-hindi.txt 189-189 | 结果 和 工具 是 disjoint 关系 |
(format ro instrument "%2 %n{nu} este un instrument%t{instrument} pentru %1") | relations-ro.kif 108-108 | 结果 和 工具 是 disjoint 关系 |
(format sv instrument "%2 är %n{inte} ett instrument för %1") | relations-sv.txt 88-88 | 结果 和 工具 是 disjoint 关系 |
(format tg instrument "%2 %n ay ang kasangkapan ng %1") | relations-tg.txt 304-304 | 结果 和 工具 是 disjoint 关系 |
(subrelation computerRunning instrument) | QoSontology.kif 200-200 | 电脑运行 是 工具 的 subrelation |
(subrelation conveyance instrument) | Mid-level-ontology.kif 25173-25173 | 运输工具 是 工具 的 subrelation |
(subrelation eCommerceSite instrument) | UXExperimentalTerms.kif 1709-1709 | eCommerceSite 是 工具 的 subrelation |
(subrelation reagent instrument) | Mid-level-ontology.kif 10011-10011 | 试剂 是 工具 的 subrelation |
(subrelation standardErrorDevice instrument) | QoSontology.kif 639-639 | 标准错误设备 是 工具 的 subrelation |
(subrelation standardInputDevice instrument) | QoSontology.kif 608-608 | 标准输入设备 是 工具 的 subrelation |
(subrelation standardOutputDevice instrument) | QoSontology.kif 622-622 | 标准输出设备 是 工具 的 subrelation |
(termFormat ChineseLanguage instrument "仪器") | domainEnglishFormat.kif 30270-30270 | 标准输出设备 是 工具 的 subrelation |
(termFormat ChineseLanguage instrument "工具") | chinese_format.kif 136-136 | 标准输出设备 是 工具 的 subrelation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))) |
Mid-level-ontology.kif 19773-19790 | 有存在 ?X, ?CUT,, , ?PAPER,, , ?CBO, and 和 ?INFO 这样 ?X 是 PaperShredder 的 instance 和 ?CUT 是 切开 的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 纸 的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读 的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率 |
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3305-3311 | IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載 的 instance 和 iBookstore 是导致 ?D 的 instrument 和 ?T 是 文本 的 instance 和 objectTransferred ?D and ?T |
![]() |
![]() |