| appearance as argument number 1 |
|
| (documentation UnixEpoch EnglishLanguage "The Unix epoch or point of reference is 00:00:00 UTC, January 1, 1970.") | QoSontology.kif 2246-2247 | |
| (equal UnixEpoch (SecondFn 0 (MinuteFn 0 (HourFn 0 (DayFn 1 (MonthFn January (YearFn 1970))))))) |
QoSontology.kif 2249-2249 | Unix epoch is equal to the second 0 |
| (instance UnixEpoch Epoch) | QoSontology.kif 2245-2245 | Unix epoch is an instance of epoch |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UnixEpoch "unix时代") | domainEnglishFormat.kif 60489-60489 | |
| (termFormat ChineseTraditionalLanguage UnixEpoch "unix時代") | domainEnglishFormat.kif 60488-60488 | |
| (termFormat EnglishLanguage UnixEpoch "unix epoch") | domainEnglishFormat.kif 60487-60487 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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