sage logo

Class: Boolean

Documentation: Definition: The Boolean type stands for the values of two-valued logic. A Boolean value can be either true or false, or, as any other value may be NULL. Exhibit 30: type Boolean alias BL specializes ANY values(true, false) { BL and(BL x); BL not; literal ST; BL or(BL x); BL xor(BL x); BL implies(BL x); };

Superclasses
Subclasses
Types
Template Slots
  Slot Name Documentation Type Cardinality
label A short human readable string indicating the content of the instancehuman-readable string for the instance String 0:1
nullFlavor If a value is an exceptional value (NULL-value), this specifies in what way and why proper information is missing. Class 0:1
value A data value Boolean 0:1

Own Slots
  Slot Name Value
alias BL
semantic_properties BL and(BL x); BL not; BL or(BL x); BL xor(BL x); BL implies(BL x);
:ROLE Concrete
:SLOT-CONSTRAINTS  

  ^ back to top

Return to Class Hierarchy

Generated: 10/04/2006, 1:24:57 PM, Pacific Daylight Time

The SAGE project was supported in part by grant 70NANB1H3049 of the NIST Advanced Technology Program. Protégé is a trademark of Stanford University, Copyright (c) 1998-2006 Stanford University.