SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > representsForAgent
Next TernaryPredicaterepresentsInLanguage    UpTernaryPredicate    Previous TernaryPredicaterelatedExternalConcept   

representsForAgentdocumentation A very general predicate. (representsForAgent ?THING ?ENTITY ?AGENT) means that the ?AGENT chooses to use the instance of Physical ?THING to 'stand for' ?ENTITY2001-11-30 13:35:12.0
has axiom
(representsInLanguage ?REP ?ENTITY ?LANGUAGE)
(exists (?AGENT)
(representsForAgent ?REP ?ENTITY ?AGENT)))
2001-11-30 13:35:12.0
has domain1 Physical2001-11-30 13:35:12.0
has domain2 Entity2001-11-30 13:35:12.0
has domain3 Agent2001-11-30 13:35:12.0
is an instance of TernaryPredicate2001-11-30 13:35:12.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Relationis second domain of subrelation2001-11-30 13:35:10.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0