SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > exploits
Next AsymmetricRelationfills    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationexistant   

exploits comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
AsymmetricRelation  trichotomizingOnA BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation
(=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
IrreflexiveRelation 
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
Predicate 
exploitsAgentObjectsingleValued(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
(=>
(exploits ?OBJ ?AGENT)
(exists (?PROCESS)
(and
(agent ?PROCESS ?AGENT)
(resource ?PROCESS ?OBJ))))
 BinaryPredicate

Next AsymmetricRelationfills    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationexistant