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)

Classe
is instance of
  inheritable relation  
is instance of
  PredicatoTernario  
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(EntitáConcreta, Entitá, Linguaggio)

Axioms (2)

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)))
express é espresso nella lingua language se e solo se esiste prop tale che express rappresenta prop nella lingua language. 
(<=>
      (expressedInLanguage ?EXPRESS ?LANGUAGE)
      (exists
            (?PROP)
            (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))