以...語言呈現 (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)

種類

可繼承關係

三元述詞

以...語言呈現

Coordinate term(s)

標高介於能力條件或然率賦予義務賦予權力相連深度距離領域領域次種類施事者有意圖連結有...職位相對方位偏愛 SUMO外部相關概念施事者呈現時間介於時間介於或同時

Type restrictions

representsInLanguage(物質的, 實體, 語言)

Axioms (2)

If rep 以語言 language 呈�{ entity, then there exists agent so that agent 使用 rep 表示 entity.

(=>
      (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
      (exists
            (?AGENT)
            (representsForAgent ?REP ?ENTITY ?AGENT)))

express 以 language 語言表達 if and only if there exists prop so that express 以語言 language 呈�{ prop.

(<=>
      (expressedInLanguage ?EXPRESS ?LANGUAGE)
      (exists
            (?PROP)
            (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))