Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

represents for agent (representsForAgent)

A very general predicate. (representsForAgent thing entity agent) means that the agent chooses to use the instance of Physical thing to 'stand for' entity.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  PredicatoTernario  
is instance of
  represents for agent  

Coordinate term(s)

altitude  between  capability  conditional probability  confers obligation  confers right  connects  depth  distance  domain  domain subclass  has purpose for agent  links  occupies position  orientation  prefers  related external concept  represents in language  temporally between  temporally between or equal 

Type restrictions

representsForAgent(EntitáConcreta, Entitá, Agente)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

Se agent usa rep al posto di entity, allora rep esprime entity. 
(=>
      (representsForAgent ?REP ?ENTITY ?AGENT)
      (represents ?REP ?ENTITY))
Se rep rappresenta entity nella lingua language, allora esiste agent tale che agent usa rep al posto di entity. 
(=>
      (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
      (exists
            (?AGENT)
            (representsForAgent ?REP ?ENTITY ?AGENT)))