Class: LogicalOperator

A logical operator is a unary or binary relation to construct logical expressions.

Parents

is_a: MathematicalEntity - A mathematical entity is an information content entity that are components of a mathematical system or can be defined in mathematical terms.

Conjunctionand - AND is a logical operator that has the value true if both of its operands are true, otherwise a value of false.
Disjunctionor - OR is a logical operator that results in true whenever one or more of its operands are true.
Implies-%3E - Implication is a logical operator that holds between a set T of propositions and a proposition B, when every model (or interpretation or valuation) of T is also a model of B.
Negationnot - NOT is a logical operator in that has the value true if its operand is false.

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