Function Duration-Of

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

Instance-Of:

Binary-Relation, Function, Relation, Set

Domain: Time-Range

Range: Duration

Arity: 2

Documentation: (DURATION-OF 'tr) denotes a duration of a time range tr.

Implication Axioms mentioning Duration-Of:

(=> (Time-Range ?Time-Range)
    (Equals (+ (Start-Time-Of ?Time-Range) (Duration-Of ?Time-Range))
            (End-Time-Of ?Time-Range)))