施事者呈現 (representsForAgent)

A very general predicate. (representsForAgent thing entity agent) means that the agent chooses to use the instance of Physical thing to 'stand for' entity.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類

可繼承關係

三元述詞

施事者呈現

Coordinate term(s)

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

Type restrictions

representsForAgent(物質的, 實體, 施事者)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

If agent 使用 rep 表示 entity, then rep 表達 entity.

(=>
      (representsForAgent ?REP ?ENTITY ?AGENT)
      (represents ?REP ?ENTITY))

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

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