Class Integer-Range

• Defined in ontology: Ranges
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/foundation-ontologies/ranges.lisp

Subclass-Of: Class, Relation, Set

Inherited-Slot-Value: Integer

Has-Instance:

Day-Number@Simple-Time, Hour-Number@Simple-Time, Minute-Number@Simple-Time, Month-Number@Simple-Time

Instance-Of: Class, Relation, Set

Domain-Of: I-Lower-Bound, I-Upper-Bound

Arity: 1

Documentation:

An integer range is a class of integers specified by lower and upper bounds. Instances of an integer-range are integers.

---

Slots:

Subclass-Of: Integer

I-Lower-Bound:

Slot-Cardinality: 1

I-Upper-Bound:

Slot-Cardinality: 1

Arity: 1

Implication Axioms for Integer-Range:

(=> (Integer-Range ?Class)
    (Forall (?I)
            (=> (Instance-Of ?I ?Class)
                (And (=< (I-Lower-Bound ?Class) ?I)
                     (=< ?I (I-Upper-Bound ?Class))))))

Equivalence Axioms for Integer-Range:

(<=> (Integer-Range ?Class)
     (And (Class ?Class)
          (Subclass-Of ?Class Integer)
          (Value-Cardinality ?Class I-Lower-Bound 1)
          (Value-Cardinality ?Class I-Upper-Bound 1)
          (Forall (?I)
                  (=> (Instance-Of ?I ?Class)
                      (And (=< (I-Lower-Bound ?Class) ?I)
                           (=< ?I (I-Upper-Bound ?Class)))))))