**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: Real-Number
**Has-Instance:***Second-Number@Simple-Time***Instance-Of:**Class,*Relation*,*Set***Domain-Of:**R-Lower-Bound, R-Upper-Bound**Arity:**1**Documentation:**An real range is a class of real numbers specified by lower and upper bounds. Instances of an real-range are real numbers.

**Subclass-Of:**Real-Number**R-Lower-Bound:**- Slot-Cardinality: 1
**R-Upper-Bound:**- Slot-Cardinality: 1
**Arity:***1*

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

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