|
|
  UnixEpoch
|
|
|
| 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 | |
| (instance UnixEpoch Epoch) | QoSontology.kif 2139-2139 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UnixEpoch "unix时代") | domainEnglishFormat.kif 60466-60466 | |
| (termFormat ChineseTraditionalLanguage UnixEpoch "unix時代") | domainEnglishFormat.kif 60465-60465 | |
| (termFormat EnglishLanguage UnixEpoch "unix epoch") | domainEnglishFormat.kif 60464-60464 |
|
|
|