Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  RestoringData

 Sigma KEE - UnixEpoch
UnixEpoch(unix epoch)

appearance as argument number 1
-------------------------


(instance UnixEpoch Epoch) QoSontology.kif 2263-2263 Unix epoch is an instance of epoch
(documentation UnixEpoch EnglishLanguage "The Unix epoch or point of reference is 00:00:00 UTC, January 1, 1970.") QoSontology.kif 2264-2265 Unix epoch is an instance of epoch
(equal UnixEpoch
    (SecondFn 0
        (MinuteFn 0
            (HourFn 0
                (DayFn 1
                    (MonthFn January
                        (YearFn 1970)))))))		 QoSontology.kif 2267-2267 equal unix epoch and the second 0

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage UnixEpoch "unix epoch") domainEnglishFormat.kif 60449-60449
(termFormat ChineseTraditionalLanguage UnixEpoch "unix時代") domainEnglishFormat.kif 60450-60450
(termFormat ChineseLanguage UnixEpoch "unix时代") domainEnglishFormat.kif 60451-60451


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners