representsForAgent concept from the SUMO knowledge base

Next TernaryPredicate: representsInLanguage Up: TernaryPredicate Previous TernaryPredicate: relatedExternalConcept

representsForAgent

subject fact

representsForAgent documentation A very general predicate. (representsForAgent ?THING ?ENTITY ?AGENT) means that the ?AGENT chooses to use the instance of Physical ?THING to 'stand for' ?ENTITY 2001-11-30 13:35:12.0
has axiom
(=>
(representsInLanguage ?REP ?ENTITY ?LANGUAGE)
(exists (?AGENT)
(representsForAgent ?REP ?ENTITY ?AGENT)))
has domain1 Physical
has domain2 Entity
has domain3 Agent
is an instance of TernaryPredicate

Predicate is first domain of singleValued 2001-11-30 13:35:02.0

Relation is second domain of subrelation 2001-11-30 13:35:10.0

Class is third domain of domain 2001-11-30 13:33:51.0
is third domain of domainSubclass

Abstract is disjoint from Physical 2001-11-30 13:33:32.0

representsForAgent	*documentation* A very general predicate. (representsForAgent ?THING ?ENTITY ?AGENT) means that the ?AGENT chooses to use the instance of Physical ?THING to 'stand for' ?ENTITY
	has axiom (=> (representsInLanguage ?REP ?ENTITY ?LANGUAGE) (exists (?AGENT) (representsForAgent ?REP ?ENTITY ?AGENT)))
	has domain1 Physical
	has domain2 Entity
	has domain3 Agent
	*is an instance* of** TernaryPredicate
Predicate	*is first domain* of** singleValued
Relation	*is second domain* of** subrelation
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical