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)

varga
is instance of
  inheritable relation  
is instance of
  triangii lakshana  
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(bhOtika vaswu, astitva, kartaa)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

Agar agent uses rep to stand for entity, to rep expresses entity. 
(=>
      (representsForAgent ?REP ?ENTITY ?AGENT)
      (represents ?REP ?ENTITY))
Agar rep represents entity in the language language, to yah kuch agent nahin, ki agent uses rep to stand for entity. 
(=>
      (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
      (exists
            (?AGENT)
            (representsForAgent ?REP ?ENTITY ?AGENT)))