Function TIMEPOINT.MINUTES


Slots on this function:

Documentation:
function from time points to integers representing the minutes component of the time specification.
Instance-Of: Function
Arity: 2
Domain: Timepoint
Range: Integer

Other Related Axioms:

(Inherited-Facet-Value Slot-Cardinality
                       Universal-Time-Spec
                       Timepoint.Minutes
                       1)

(=> (Universal-Time-Spec ?T)
    (And (Value-Cardinality ?T Timepoint.Seconds 1)
         (Value-Cardinality ?T Timepoint.Minutes 1)
         (Value-Cardinality ?T Timepoint.Day 1)
         (Value-Cardinality ?T Timepoint.Month 1)
         (Value-Cardinality ?T Timepoint.Year 1)))

(=> (Timepoint.Minutes $X $Y) (Integer $Y))

(=> (Timepoint.Minutes $X $Y) (Timepoint $X))

(=> (= (Timepoint.Minutes ?Timepoint) ?Minutes) (=< ?Minutes 59))

(=> (= (Timepoint.Minutes ?Timepoint) ?Minutes) (=< 0 ?Minutes))