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 3850-3853
(domain exploits 1 Object) Merge.kif 3847-3847 利用 的 1 数量 是 客体instance
(domain exploits 2 Agent) Merge.kif 3848-3848 利用 的 2 数量 是 施事体instance
(instance exploits AsymmetricRelation) Merge.kif 3846-3846 利用非对称关系instance
(instance exploits BinaryPredicate) Merge.kif 3845-3845 利用二元谓语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
(termFormat ChineseLanguage exploits "利用") chinese_format.kif 106-106
(termFormat ChineseTraditionalLanguage exploits "利用") domainEnglishFormat.kif 22832-22832
(termFormat EnglishLanguage exploits "exploits") domainEnglishFormat.kif 22831-22831

antecedent
-------------------------


(=>
    (exploits ?OBJ ?AGENT)
    (exists (?PROCESS)
        (and
            (agent ?PROCESS ?AGENT)
            (resource ?PROCESS ?OBJ))))
Merge.kif 3855-3860


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