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

yi3...yu3 yan2 cheng2 xian4 (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)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  san1 yuan2 shu4 ci2  
is instance of
  yi3...yu3 yan2 cheng2 xian4  

Coordinate term(s)

biao1 gao1  jie4 yu1  neng2 li4  tiao2 jian4 huo4 ran2 lv4  fu4 yu3 yi4 wu4  fu4 yu3 quan2 li4  xiang1 lian2  shen1 du4  ju4 li2  ling3 yu4  ling3 yu4 ci4 zhong3 lei4  shi1 shi4 zhe3 you3 yi4 tu2  lian2 jie2  you3...zhi2 wei4  xiang4 dui4 fang1 wei4  pian1 ai4  SUMOwai4 bu4 xiang1 guan1 gai4 nian4  shi1 shi4 zhe3 cheng2 xian4  shi2 jian1 jie4 yu1  shi2 jian1 jie4 yu1 huo4 tong5 shi2 

Type restrictions

representsInLanguage(wu4 zhi4 de5, shi2 ti3, yu3 yan2)

Axioms (2)

If rep yi3 yu3 yan2 language cheng2 xian4 entity, then there exists agent so_that_not agent shi3 yong4 rep biao3 shi4 entity. 
(=>
      (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
      (exists
            (?AGENT)
            (representsForAgent ?REP ?ENTITY ?AGENT)))
express yi3 language yu3 yan2 biao3 da2 if and only if there exists prop so_that_not express yi3 yu3 yan2 language cheng2 xian4 prop. 
(<=>
      (expressedInLanguage ?EXPRESS ?LANGUAGE)
      (exists
            (?PROP)
            (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))