Class Duration

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

Subclass-Of: Individual

Instance-Of: Class, Relation, Set

Domain-Of: Value-Of

Range-Of: Duration-Of, Unit-Of

Arity: 1

Documentation: DURATION denotes a period of time. It consists of a value and a measure

---

Slots:

Value-Of:

Implication Axioms mentioning Duration:

(=> (And (Duration ?Duration-1) (Duration ?Duration-2))
    (=> (= (+ ?Duration-1 ?Duration-2) ?Duration-3)
        (Duration ?Duration-3)))

(=> (+ ?Time-Range-1 ?Duration)
    (=> (And (Time-Point ?Time-Range-1) (Duration ?Duration))
        (=> (= (+ ?Time-Point-1 ?Duration) ?Time-Point-2)
            (And (Time-Point ?Time-Point-1)
                 (Duration ?Duration)
                 (Time-Point ?Time-Point-2)))))

(=> (+ ?Time-Range-1 ?Duration)
    (=> (And (Time-Range ?Time-Range-1) (Duration ?Duration))
        (<=> (= (+ ?Time-Range-1 ?Duration) ?Time-Range-2)
             (And (= (Start-Time-Of ?Time-Range-1)
                     (Start-Time-Of ?Time-Range-2))
                  (= (+ (End-Time-Of ?Time-Range-1) ?Duration)
                     (End-Time-Of ?Time-Range-2))))))