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 2451-2455 | |
(domain instrument 1 Process) | Merge.kif 2448-2448 | 工具 的 1 数量 是 过程 的 instance |
(domain instrument 2 Object) | Merge.kif 2449-2449 | 工具 的 2 数量 是 客体 的 instance |
(instance instrument CaseRole) | Merge.kif 2446-2446 | 工具 是 格角色 的 instance |
(instance instrument PartialValuedRelation) | Merge.kif 2447-2447 | 工具 是 部分值关系 的 instance |
(subrelation instrument patient) | Merge.kif 2445-2445 | 工具 是 受事 的 subrelation |
appearance as argument number 2 |
![]() |
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 18015-18032 | 有存在 ?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 3307-3313 | IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載 的 instance 和 iBookstore 是导致 ?D 的 instrument 和 ?T 是 文本 的 instance 和 objectTransferred ?D and ?T |
![]() |
![]() |