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 2474-2478 | |
(documentation instrument JapaneseLanguage "(instrument ?EVENT ?TOOL) とは、エージェントが ?EVENT を持ち込む場合にエージェントによって使用され、?TOOL が ?EVENT によって変更されないことを 意味する。例:キーは次の命題のインである: キーがドアを開けた。 注:instrument と resource は、同じ順序のペアでは満たすことができない。") | japanese_format.kif 499-502 | |
(domain instrument 1 Process) | Merge.kif 2471-2471 | O argumento numero 1 de instrument e' uma instancia de Processo |
(domain instrument 2 Object) | Merge.kif 2472-2472 | O argumento numero 2 de instrument e' uma instancia de Objeto |
(instance instrument CaseRole) | Merge.kif 2469-2469 | instrument e' uma instancia de Role em Caso |
(instance instrument PartialValuedRelation) | Merge.kif 2470-2470 | instrument e' uma instancia de Relacao Parcial |
(subrelation instrument patient) | Merge.kif 2468-2468 | instrument e' uma sub-relacao de patient |
appearance as argument number 2 |
(disjointRelation resource instrument) | Merge.kif 2514-2514 | resource e instrument sao disjuntos |
(disjointRelation result instrument) | Merge.kif 2515-2515 | result e instrument sao disjuntos |
(format ChineseLanguage instrument "%2 %n 是导致 %1 的 instrument") | chinese_format.kif 135-135 | |
(format EnglishLanguage instrument "%2 is %n an instrument for %1") | english_format.kif 136-136 | |
(format FrenchLanguage instrument "%2 est %n un instrument pour %1") | french_format.kif 89-89 | |
(format ItalianLanguage instrument "%2 è %n uno strumento per %1") | relations-it.txt 150-150 | |
(format JapaneseLanguage instrument "%2 は %1 の instrument では %n") | japanese_format.kif 1916-1916 | |
(format PortugueseLanguage instrument "%2 e' %n um instrumento para %1") | portuguese_format.kif 41-41 | |
(format cz instrument "%2 %p{je} %n{nen�} n�strojem for %1") | relations-cz.txt 83-83 | |
(format de instrument "%2 ist ein instrument fuer %1 %n{nicht}") | relations-de.txt 163-163 | |
(format hi instrument "%2 %1 kaa upakaraNa %n hai") | relations-hindi.txt 189-189 | |
(format ro instrument "%2 %n{nu} este un instrument%t{instrument} pentru %1") | relations-ro.kif 108-108 | |
(format sv instrument "%2 är %n{inte} ett instrument för %1") | relations-sv.txt 88-88 | |
(format tg instrument "%2 %n ay ang kasangkapan ng %1") | relations-tg.txt 304-304 | |
(subrelation computerRunning instrument) | QoSontology.kif 199-199 | computerRunning e' uma sub-relacao de instrument |
(subrelation conveyance instrument) | Mid-level-ontology.kif 23532-23532 | conveyance e' uma sub-relacao de instrument |
(subrelation eCommerceSite instrument) | UXExperimentalTerms.kif 1709-1709 | eCommerceSite e' uma sub-relacao de instrument |
(subrelation reagent instrument) | Mid-level-ontology.kif 8805-8805 | reagent e' uma sub-relacao de instrument |
(subrelation standardErrorDevice instrument) | QoSontology.kif 531-531 | standardErrorDevice e' uma sub-relacao de instrument |
(subrelation standardInputDevice instrument) | QoSontology.kif 500-500 | standardInputDevice e' uma sub-relacao de instrument |
(subrelation standardOutputDevice instrument) | QoSontology.kif 514-514 | standardOutputDevice e' uma sub-relacao de instrument |
(termFormat ChineseLanguage instrument "仪器") | domainEnglishFormat.kif 30259-30259 | |
(termFormat ChineseLanguage instrument "工具") | chinese_format.kif 136-136 | |
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 18202-18219 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ |
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3309-3315 | IBookstore tem por fim ?D ?D e' uma instancia de DownloadingOverNetwork IBookstore e' um instrumento para ?D ?T e' uma instancia de Texto objectTransferred ?D and ?T |