Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoordinatedUniversalTimeZone(coordinated universal time zone) |  | ERT, Earth-received_time, GMT, Greenwich_Mean_Time, Greenwich_Time, SCET, UT, UT1, UTC, coordinated_universal_time, spacecraft_event_time, universal_time |
| appearance as argument number 1 |
|
|
| (instance CoordinatedUniversalTimeZone TimeZone) | Merge.kif 17518-17518 | Coordinated universal time zone is an instance of time zone |
| (documentation CoordinatedUniversalTimeZone EnglishLanguage "A TimeZone which functions as the standard time zone. It is also known as Zulu time (in the military), Greenwich Mean Time, and the Western European time zone. Note that whenever a TimeZone is not specified, the TimePosition is understood to be with respect to the CoordinatedUniversalTimeZone.") | Merge.kif 17519-17523 | Coordinated universal time zone is an instance of time zone |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CoordinatedUniversalTimeZone "coordinated universal time zone") | domainEnglishFormat.kif 17208-17208 | |
| (termFormat ChineseTraditionalLanguage CoordinatedUniversalTimeZone "協調的通用世界時區") | domainEnglishFormat.kif 17209-17209 | |
| (termFormat ChineseLanguage CoordinatedUniversalTimeZone "协调的通用世界时区") | domainEnglishFormat.kif 17210-17210 |
|