Function Minutes-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: Integer

Arity: 2

Documentation:

function from time points to integers representing the minutes component of the time specification.

Frame References to Minutes-Of:

In class Universal-Time-Spec:

Slots:

Minutes-Of:

Slot-Cardinality: 1

Implication Axioms mentioning Minutes-Of:

(=> (= (Minutes-Of ?Time-Point) ?Minutes) (=< ?Minutes 59))

(=> (= (Minutes-Of ?Time-Point) ?Minutes) (=< 0 ?Minutes))