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

represents in language (representsInLanguage)

A very general predicate. (representsInLanguage thing entity language) means that the instance of Physical thing stands for entity in the language language.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class
is instance of
  inheritable relation  
is instance of
  ternary predicate  
is instance of
  represents in language  

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 for agent  temporally between  temporally between or equal 

Type restrictions

representsInLanguage(physical, entity, language)

Axioms (2)

If rep represents entity in the language language, then there exists agent so that agent uses rep to stand for entity. 
(=>
      (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
      (exists
            (?AGENT)
            (representsForAgent ?REP ?ENTITY ?AGENT)))
express is expressed in language language if and only if there exists prop so that express represents prop in the language language. 
(<=>
      (expressedInLanguage ?EXPRESS ?LANGUAGE)
      (exists
            (?PROP)
            (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))