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)

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

Axioms (2)

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)))
express is expressed in language language agar hai yah kuch prop nahin, ki express represents prop in the language language. 
(<=>
      (expressedInLanguage ?EXPRESS ?LANGUAGE)
      (exists
            (?PROP)
            (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))