Function Seconds-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 seconds component of the time specification. This is not the internal representation of the universal time, (e.g., number seconds since some historical date). seconds is the number of seconds past the minute, hour, day, etc. specified in the other components of the

Frame References to Seconds-Of:

In class Universal-Time-Spec:

Slots:

Seconds-Of:

Slot-Cardinality: 1

Implication Axioms mentioning Seconds-Of:

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

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