- Defined in ontology: Simple-time
- Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/foundation-ontologies/simple-time.lisp
- Binary-Relation, Function, Relation, Set
- Domain: Time-Point
- Range: Integer
- Arity: 2
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:
- Slot-Cardinality: 1
Implication Axioms mentioning Seconds-Of:
(=> (= (Seconds-Of ?Time-Point) ?Seconds) (=< ?Seconds 59))
(=> (= (Seconds-Of ?Time-Point) ?Seconds) (=< 0 ?Seconds))