| 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 22859-22859 | |
| (termFormat EnglishLanguage exploits "exploits") | domainEnglishFormat.kif 22858-22858 | |
| (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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners