Function Month-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-Point

Range: Month-Name

Arity: 2

Documentation:

function from time points to months, representing the month component of the time specification. Months are not integers, but named objects.

Frame References to Month-Of:

In class Calendar-Date:

Slots:

Month-Of:

Slot-Cardinality: 1

In class Universal-Time-Spec:

Slots:

Month-Of:

Slot-Cardinality: 1

Implication Axioms mentioning Month-Of:

(=> (Equals ?Time-Point-1 ?Time-Point-2)
    (=> (And (Time-Point ?Time-Point-1) (Time-Point ?Time-Point-2))
        (<=> (Equals ?Time-Point-1 ?Time-Point-2)
             (And (= (Year-Of ?Time-Point-1) (Year-Of ?Time-Point-2))
                  (= (Month-Of ?Time-Point-1)
                     (Month-Of ?Time-Point-2))
                  (= (Day-Of ?Time-Point-1) (Day-Of ?Time-Point-2))
                  (= (Hour-Of ?Time-Point-1) (Hour-Of ?Time-Point-2))
                  (= (Minute-Of ?Time-Point-1)
                     (Minute-Of ?Time-Point-2))
                  (= (Second-Of ?Time-Point-1)
                     (Second-Of ?Time-Point-2))))))

(=> (< ?Time-Point-1 ?Time-Point-2)
    (=> (And (Time-Point ?Time-Point-1) (Time-Point ?Time-Point-2))
        (<=> (< ?Time-Point-1 ?Time-Point-2)
             (Or (< (Year-Of ?Time-Point-1) (Year-Of ?Time-Point-2))
                 (And (= (Year-Of ?Time-Point-1)
                         (Year-Of ?Time-Point-2))
                      (Or (< (Month-Of ?Time-Point-1)
                             (Month-Of ?Time-Point-2))
                          (And (= (Month-Of ?Time-Point-1)
                                  (Month-Of ?Time-Point-2))
                               (Or (< (Day-Of ?Time-Point-1)
                                      (Day-Of ?Time-Point-2))
                                   (And (= (Day-Of ?Time-Point-1)
                                           (Day-Of ?Time-Point-2))
                                        (Or (< (Hour-Of ?Time-Point-1)
                                               (Hour-Of ?Time-Point-2))
                                            (And (= (Hour-Of ?Time-Point-1)
                                                    (Hour-Of ?Time-Point-2))
                                                 (Or (< (Minute-Of ?Time-Point-1)
                                                        (Minute-Of ?Time-Point-2))
                                                     (And (= (Minute-Of ?Time-Point-1)
                                                             (Minute-Of ?Time-Point-2))
                                                          (< (Second-Of ?Time-Point-1)
                                                             (Second-Of ?Time-Point-2)))))))))))))))