| 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 2140-2141 | |
| (equal UnixEpoch (SecondFn 0 (MinuteFn 0 (HourFn 0 (DayFn 1 (MonthFn January (YearFn 1970))))))) |
QoSontology.kif 2143-2143 | Unix epoch is equal to the second 0 |
| (instance UnixEpoch Epoch) | QoSontology.kif 2139-2139 | Unix epoch is an instance of epoch |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UnixEpoch "unix时代") | domainEnglishFormat.kif 60512-60512 | |
| (termFormat ChineseTraditionalLanguage UnixEpoch "unix時代") | domainEnglishFormat.kif 60511-60511 | |
| (termFormat EnglishLanguage UnixEpoch "unix epoch") | domainEnglishFormat.kif 60510-60510 |
|
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