SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > representsForAgent
Next TernaryPredicate: representsInLanguage    Up: TernaryPredicate    Previous TernaryPredicate: relatedExternalConcept   

representsForAgent comparison table
Subject have domain3 have domain2 have domain1 documentation have axiom is a kind of is an instance of
TernaryPredicate   The Class of Predicates that require exactly three arguments
(=>
 	(instance ?REL TernaryPredicate)
 	(valence ?REL 3))
TernaryRelation 
representsForAgentAgentEntityPhysicalA very general predicate. (representsForAgent ?THING ?ENTITY ?AGENT) means that the ?AGENT chooses to use the instance of Physical ?THING to 'stand for' ?ENTITY
(=>
    (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
    (exists (?AGENT)
       (representsForAgent ?REP ?ENTITY ?AGENT)))
 TernaryPredicate

Next TernaryPredicate: representsInLanguage    Up: TernaryPredicate    Previous TernaryPredicate: relatedExternalConcept