exploits |
appearance as argument number 1 |
(documentation exploits ChineseLanguage "(exploits ?OBJ ?AGENT) 的意思是 ?AGENT 利用 ?OBJ 作为一个没有指定 Process 实例的 resource,这个 Predicate 就如它的相关定义所说的,是由 agent 和 resource 的关系所组成的。") | chinese_format.kif 2088-2090 | |
(documentation exploits EnglishLanguage "(exploits ?OBJ ?AGENT) means that ?OBJ is used by ?AGENT as a resource in an unspecified instance of Process. This Predicate, as its corresponding axiom indicates, is a composition of the relations agent and resource.") | Merge.kif 3932-3935 | |
(documentation exploits JapaneseLanguage "(exploits ?OBJ ?AGENT) とは、?OBJ が、Process の不特定インスタンスの resource として?AGENTによって使用される。この Predicate は、その対応 する公理が示すように、agentおよび resource の二項関係の合成である。") | japanese_format.kif 736-738 | |
(domain exploits 1 Object) | Merge.kif 3929-3929 | The number 1 argument of exploits is an instance of object |
(domain exploits 2 AutonomousAgent) | Merge.kif 3930-3930 | The number 2 argument of exploits is an instance of agent |
(instance exploits AsymmetricRelation) | Merge.kif 3928-3928 | exploits is an instance of asymmetric relation |
(instance exploits BinaryPredicate) | Merge.kif 3927-3927 | exploits is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage exploits "%1 %n{doesn't} 被 %2 exploits") | chinese_format.kif 105-105 | |
(format EnglishLanguage exploits "%1 %n{doesn't} exploit%p{s} %2") | english_format.kif 105-105 | |
(format FrenchLanguage exploits "%1 %n{n'} exploite %n{pas} %2") | french_format.kif 75-75 | |
(format ItalianLanguage exploits "%1 %n{doesn't} utilizza%p{s} %2") | relations-it.txt 103-103 | |
(format JapaneseLanguage exploits "%1 は %2 を exploit%p{s} %n{ない}") | japanese_format.kif 1901-1901 | |
(format PortugueseLanguage exploits "%1 %n{nao} utiliza %n %2") | portuguese_format.kif 27-27 | |
(format cz exploits "%1 %n{doesn't} exploit%p{s} %2") | relations-cz.txt 119-119 | |
(format de exploits "%1 nutzt %2 %n{nicht} aus") | relations-de.txt 121-121 | |
(format hi exploits "%1 %2 kaa sandohana %n{nahiin} karataa hai") | relations-hindi.txt 143-143 | |
(format ro exploits "%1 %n{nu} exploit%t{foloseºte} %2") | relations-ro.kif 94-94 | |
(format sv exploits "%1 upplever %n{inte} %2") | relations-sv.txt 74-74 | |
(format tg exploits "%1 %n ay pagsamantalahan %2") | relations-tg.txt 217-217 | |
(termFormat ChineseLanguage exploits "利用") | chinese_format.kif 106-106 | |
(termFormat ChineseTraditionalLanguage exploits "利用") | domainEnglishFormat.kif 22839-22839 | |
(termFormat EnglishLanguage exploits "exploits") | domainEnglishFormat.kif 22838-22838 | |
(termFormat de exploits "nutztAus") | terms-de.txt 35-35 | |
(termFormat tg exploits "pagsamantalahan") | relations-tg.txt 218-218 |
antecedent |
(=> (exploits ?OBJ ?AGENT) (exists (?PROCESS) (and (agent ?PROCESS ?AGENT) (resource ?PROCESS ?OBJ)))) |
Merge.kif 3937-3942 |
|