Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - exploits
exploits

appearance as argument number 1
-------------------------


(documentation exploits ChineseLanguage "(exploits ?OBJ ?AGENT) 的意思是 ?AGENT 利用 ?OBJ 作为一个没有指定 Process 实例的 resource,这个 Predicate 就如它的相关定义所说的,是由 agentresource 的关系所组成的。") 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 3931-3934
(documentation exploits JapaneseLanguage "(exploits ?OBJ ?AGENT) とは、?OBJ が、Process の不特定インスタンスの resource として?AGENTによって使用される。この Predicate は、その対応 する公理が示すように、agentおよび resource の二項関係の合成である。") japanese_format.kif 736-738
(domain exploits 1 Object) Merge.kif 3928-3928 利用 的 1 数量 是 客体instance
(domain exploits 2 AutonomousAgent) Merge.kif 3929-3929 利用 的 2 数量 是 施事体instance
(instance exploits AsymmetricRelation) Merge.kif 3927-3927 利用非对称关系instance
(instance exploits BinaryPredicate) Merge.kif 3926-3926 利用二元谓语instance

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 3936-3941


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