SUMO   View all facts   Glossary   Help
Entity > Abstract > Proposition
Next AbstractQuantity    UpAbstract    Previous AbstractClass   

Propositiondocumentation 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 form2001-11-30 13:35:05.0
has axiom
(instance ?SENTENCE Sentence)
(exists (?PROP)
(instance ?PROP Proposition)
(containsInformation ?SENTENCE ?PROP))))
2001-11-30 13:35:05.0
is second domain of containsInformation2001-11-30 13:35:05.0
is second domain of realization2001-11-30 13:35:05.0
is a kind of Abstract2001-11-30 13:35:05.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0
Entityis first domain of documentation2001-11-30 13:34:11.0
is first domain of element2001-11-30 13:34:11.0
is first domain of equal2001-11-30 13:34:11.0
is first domain of IdentityFn2001-11-30 13:34:11.0
is first domain of instance2001-11-30 13:34:11.0
is first domain of relatedExternalConcept2001-11-30 13:34:11.0
is first domain of relatedInternalConcept2001-11-30 13:34:11.0

Kinds of Proposition :