Function R-Lower-Bound

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

Instance-Of:

Binary-Relation, Function, Relation, Set

Domain: Real-Range

Range: Real-Number

Arity: 2

Documentation: (R-LOWER-BOUND r) denotes the real lower bound of range r.

Frame References to R-Lower-Bound:

In class Second-Number@Simple-Time:

R-Lower-Bound: 0

In class Real-Range:

Slots:

R-Lower-Bound:

Slot-Cardinality: 1

Implication Axioms mentioning R-Lower-Bound:

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

Equivalence Axioms mentioning R-Lower-Bound:

(<=> (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)))))))