TimePoint
(time point)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2079-2079
Time position
is
exhaustively
partitioned
into
time interval
and
time point
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners