Class: Proposition

A proposition is a sentence expressing something true or false.

URI: sio:Proposition

img

Parents

  • is_a: Description - A description is language entity in which elements of a language (formal or natural) are used to characterize an entity.

Children

  • Argument - An argument is a set of one or more declarative sentences (or propositions) known as the premises along with another declarative sentence (or proposition) known as the conclusion.
  • Belief - A belief is a proposition that is believed to be true.
  • Comment - A comment is a verbal or written remark often related to an added piece of information, or an observation or statement.
  • Conclusion - A conclusion is a proposition which is reached after considering the evidence, arguments or premises.
  • Evidence - None
  • Hypothesis - A hypothesis is a proposed explanation for a phenomenon.
  • Idea - An idea is a proposition about some object of conceptual thought.
  • Justification - A justification is a proposition that defends, explains or excuses some argument.
  • Objective - An objective is a proposition that indicates a planned or anticipated outcome.
  • Premise - A premise is a proposition of an argument from which the conclusion is drawn.
  • Prognosis - A prognosis is a proposition about the likely course of a disease, the chance of recovery or recurrence.
  • Statement - A statement is a proposition that is either (a) a meaningful declarative sentence that is either true or false, or (b) that which a true or false declarative sentence asserts.

Referenced by Class

Attributes

Inherited from Description:

  • hasCreator 0..1
    • Description: has creator is a relation between an entity and that which created it.
    • Range: Entity

  • hasAttribute 0..1

    • Description: has attribute is a relation that associates a entity with an attribute where an attribute is an intrinsic characteristic such as a quality, capability, disposition, function, or is an externally derived attribute determined from some descriptor (e.g. a quantity, position, label/identifier) either directly or indirectly through generalization of entities of the same type.

    • Range: Entity

    • satisfies 0..1

    • Description: satisfies is a relation between an entity and the specification or objective that it conforms to.

    • Range: Description

    • isRelatedTo 0..1
    • Description: A is related to B iff there is some relation between A and B.
    • Range: Entity
    • derivesInto 0..1

    • Description: a derives to b if and only if a or some part thereof is consumed in the formation of b.

    • Range: Object

    • isAnnotationOf 0..1

    • Description: is annotation of is a relation between some textual entity and the entity that it annotates.

    • Range: Entity