Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

inSpracheDargestellt (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)

Kategorie
is instance of
  inheritable relation  
is instance of
  dreistellige Prädikat  
is instance of
  inSpracheDargestellt  

Coordinate term(s)

altitude  zwischen  fähigkeit  Abhänigkeitswahrscheinlichkeit  konferiertVerpflichtung  konferiertRecht  schliesstAn  depth  abstand  definitionsbereich  definitionsbereichteilkategorie  hatZweckFürAgent  verbindet  besetztPosition  lagebestimmung  bevorzugt  verwandtesÄusserkonzept  stelltDarFürAgent  zeitlichZwischen  zeitlichZwischenOderGleichzeitig 

Type restrictions

representsInLanguage(körperlicher Gegenstand, Wesen, Sprache)

Axioms (2)

Wenn rep ist in Sprache entity ausgedrückt, dann es gibt ein agent der agent verwendet rep, um für entity zu stehen. 
(=>
      (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
      (exists
            (?AGENT)
            (representsForAgent ?REP ?ENTITY ?AGENT)))
express ist in Sprache language ausgedrückt nur wenn es gibt ein prop der express ist in Sprache prop ausgedrückt. 
(<=>
      (expressedInLanguage ?EXPRESS ?LANGUAGE)
      (exists
            (?PROP)
            (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))