ming4 ti2 (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)

shi2 ti3

chou1 xiang4 de5

ming4 ti2

Subclass(es)

yan2 jiu1 ling3 yu4 cheng2 xu4

Coordinate term(s)

shu3 xing4 tu2 tu2 yuan2 jian4 shu4 liang4 guan1 xi4 ji2 he2 huo4 zhong3 lei4

Constrains relations

bao1 han2 xun4 xi1 shi2 xian4 ci4 ming4 ti2

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 shi4 wen2 ben3 de5 shi2 li4, then there exists ming4 ti2 prop so_that_not text (bu2) bao1 han2s) xun4 xi1 %2.

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

If item you3 shu3 xing4 value and value shi4 zhen1 zhi2 de5 shi2 li4, then item shi4 ju4 zi5 de5 shi2 li4 or item shi4 ming4 ti2 de5 shi2 li4.

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