An abstract entity representing the sharable meaning of what is expressed in a particular assertion. The notion of a proposition, and its relationship to an assertion, derives from the domain of logic and philosophy [12]. Propositions are abstract entities that, like numbers, are independent of space and time. They represent only the meaning that is expressed in a particular agent’s assertion, and are ‘sharable’ in that the same proposition can be expressed in many different assertions. Propositions are primary bearers of truth value, in that they are true or false. From http://plato.stanford.edu/entries/propositions/: "Propositions are the sharable objects of the attitudes and the primary bearers of truth and falsity. This stipulation rules out certain candidates for propositions, including thought- and utterance-tokens, which presumably are not sharable, and concrete events or facts, which presumably cannot be false."

http://purl.obolibrary.org/obo/SEPIO_0000000

The notion of a proposition, and its relationship to an assertion, derives from the domain of logic and philosophy [12]. Propositions are abstract entities that, like numbers, are independent of space and time. They represent only the meaning that is expressed in a particular agent’s assertion, and are ‘sharable’ in that the same proposition can be expressed in many different assertions. Propositions are primary bearers of truth value, in that they are true or false. From http://plato.stanford.edu/entries/propositions/: "Propositions are the sharable objects of the attitudes and the primary bearers of truth and falsity. This stipulation rules out certain candidates for propositions, including thought- and utterance-tokens, which presumably are not sharable, and concrete events or facts, which presumably cannot be false."

An abstract entity representing the sharable meaning of what is expressed in a particular assertion.

http://plato.stanford.edu/entries/propositions

In the SEPIO model, an assertion is akin to an act in speech or text that expresses beleif in the truth of a proposition. It is the proposition that represents the semantic content of a claim, and bears truth value. Mappings to terms from related models: 1. http://purl.org/see/rdo#proposition A SEPIO proposition is equivalent to a 'proposition' from the Semantic EvidencE framework. "The class rdo:proposition represents propositions i.e. the sharable objects of propositional attitudes like belief or desire and the bearers of truth values. As truth bearers they are either true or false. They are taken to represent the semantic content of sentences or larger lexical entities formulated in some natural or artificial language.") 2. http://purl.org/mp/Holotype The notion of a holotype from the Micropublications model is related to a SPEIO proposition - in that it represents a statement that is selcted to all other statements expressing the same meaning. 3. http://purl.org/oban/association An OBAN proposition is a more type of proposition, that is structured/expressed according to the specifications laid out in the OBAN ontology.

The proposition that BRCA1:2685T>A causes familial breast cancer.

proposition

SEPIO:0000000

proposition

http://purl.obolibrary.org/obo/BFO_0000001