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

Formal Language: 



KB Term:  Term intersection
English Word: 

  exploits

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
(domain exploits 2 AutonomousAgent) Merge.kif 3929-3929
(instance exploits AsymmetricRelation) Merge.kif 3927-3927
(instance exploits BinaryPredicate) Merge.kif 3926-3926

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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