Class: Disjunctionor

OR is a logical operator that results in true whenever one or more of its operands are true.

URI: sio:Disjunctionor

img

Parents

  • is_a: LogicalOperator - A logical operator is a unary or binary relation to construct logical expressions.

Children

  • ExclusiveDisjunctionxor - XOR, also called exclusive disjunction or (symbolized XOR, EOR, EXOR, or ⊕), is a type of logical disjunction on two operands that results in a value of true if exactly one of the operands has a value of true.

Referenced by Class

Attributes

Inherited from LogicalOperator:

  • 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

    • hasUnit 0..1
    • Description: has unit is a relation between a quantity and the unit it is a multiple of.
    • Range: UnitOfMeasurement