exploits - Sigma Knowledge base Browser

appearance as argument number 1

(instance exploits BinaryPredicate)	Merge.kif 4032-4032	exploits is an instance of binary predicate
(domain exploits 1 Object)	Merge.kif 4033-4033	The number 1 argument of exploits is an instance of object
(domain exploits 2 AutonomousAgent)	Merge.kif 4034-4034	The number 2 argument of exploits is an instance of agent
(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 4036-4039	The number 2 argument of exploits is an instance of agent

appearance as argument number 2

(termFormat EnglishLanguage exploits "exploits")	domainEnglishFormat.kif 22834-22834
(termFormat ChineseTraditionalLanguage exploits "利用")	domainEnglishFormat.kif 22835-22835
(termFormat ChineseLanguage exploits "利用")	domainEnglishFormat.kif 22836-22836
(format EnglishLanguage exploits "%1 %n{doesn't} exploit%p{s} %2")	english_format.kif 105-105

antecedent

(=>
    (exploits ?OBJ ?AGENT)
    (exists (?PROCESS)
        (and
            (agent ?PROCESS ?AGENT)
            (resource ?PROCESS ?OBJ))))

If X exploits Y, then there exists Z such that Y is an agent of Z and X is a resource for Z