命題 (Proposition)

Propositions are Abstract entities that express a complete thought or a set of such thoughts. As an example, the formula '(instance Yojo Cat)' expresses the Proposition that the entity named Yojo is an element of the Class of Cats. Note that propositions are not restricted to the content expressed by individual sentences of a Language. They may encompass the content expressed by theories, books, and even whole libraries. It is important to distinguish Propositions from the ContentBearingObjects that express them. A Proposition is a piece of information, e.g. that the cat is on the mat, but a ContentBearingObject is an Object that represents this information. A Proposition is an abstraction that may have multiple representations: strings, sounds, icons, etc. For example, the Proposition that the cat is on the mat is represented here as a string of graphical characters displayed on a monitor and/or printed on paper, but it can be represented by a sequence of sounds or by some non-latin alphabet or by some cryptographic form

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

實體

抽象的

命題

Subclass(es)

研究領域程序

Coordinate term(s)

屬性圖圖元件數量關係集合或種類

Constrains relations

包含訊息實現次命題

Related WordNet synsets

content, cognitive content, mental object: the sum or range of what has been perceived, discovered, or learned

See more related synsets on a separate page.

Axioms (2)

If text 是文本的實例, then there exists 命題 prop so that text (不) �]含s) 訊息 %2.

(=>
      (instance ?TEXT Text)
      (exists
            (?PROP)
            (and
                  (instance ?PROP Proposition)
                  (containsInformation ?TEXT ?PROP))))

If item 有屬性 value and value 是真值的實例, then item 是句子的實例 or item 是命題的實例.

(=>
      (and
            (property ?ITEM ?VALUE)
            (instance ?VALUE TruthValue))
      (or
            (instance ?ITEM Sentence)
            (instance ?ITEM Proposition)))