TimePoint(時点)

-------------------------


(partition TimePosition TimeInterval TimePoint) Merge.kif 2079-2079 時間位置時間間隔 + 時点exhaustively partitioned %n


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