RelativeTimeFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RelativeTimeFn

RelativeTimeFn

appearance as argument number 1

(documentation RelativeTimeFn ChineseLanguage "这是用于不同 TimeZone 之间的一种对换 TimePosition 的方法。 (RelativeTimeFn ?TIME ?ZONE)表示 TimePosition 在 CoordinatedUniversalTime 上，即是和 TimePosition ?TIME 在 TimeZone ?ZONE 是同时期。例如： (RelativeTimeFn (MeasureFn 14 HourDuration) EasternTimeZone)所得出的值会是 (MeasureFn 19 HourDuration)。")	chinese_format.kif 3841-3845
(documentation RelativeTimeFn EnglishLanguage "A means of converting TimePositions between different TimeZones. (RelativeTimeFn ?TIME ?ZONE) denotes the TimePosition in CoordinatedUniversalTime that is contemporaneous with the TimePosition ?TIME in TimeZone ?ZONE. For example, (RelativeTimeFn (MeasureFn 14 HourDuration) EasternTimeZone) would return the value (MeasureFn 19 HourDuration).")	Merge.kif 17429-17434
(domain RelativeTimeFn 1 TimePosition)	Merge.kif 17426-17426	The number 1 argument of RelativeTimeFn is an instance of time position
(domain RelativeTimeFn 2 TimeZone)	Merge.kif 17427-17427	The number 2 argument of RelativeTimeFn is an instance of time zone
(instance RelativeTimeFn BinaryFunction)	Merge.kif 17423-17423	RelativeTimeFn is an instance of binary function
(instance RelativeTimeFn TemporalRelation)	Merge.kif 17424-17424	RelativeTimeFn is an instance of temporal relation
(instance RelativeTimeFn TotalValuedRelation)	Merge.kif 17425-17425	RelativeTimeFn is an instance of total valued relation
(range RelativeTimeFn TimePosition)	Merge.kif 17428-17428	The range of RelativeTimeFn is an instance of time position

appearance as argument number 2

(format ChineseLanguage RelativeTimeFn "时间 %1 在时区 %2")	chinese_format.kif 596-596
(format EnglishLanguage RelativeTimeFn "the time %1 in zone %2")	english_format.kif 599-599
(format FrenchLanguage RelativeTimeFn "le temps %1 dans la zone %2")	french_format.kif 358-358
(format ItalianLanguage RelativeTimeFn "")	relations-it.txt 251-251
(format JapaneseLanguage RelativeTimeFn "ゾーン %2 の時間 %1")	japanese_format.kif 2101-2101
(format PortugueseLanguage RelativeTimeFn "o tempo %1 na zona %2")	portuguese_format.kif 310-310
(format de RelativeTimeFn "")	relations-de.txt 782-782
(format ro RelativeTimeFn "ora %1 în zona %2")	relations-ro.kif 380-380
(format sv RelativeTimeFn "tiden %1 i zon %2")	relations-sv.txt 399-399
(termFormat ChineseLanguage RelativeTimeFn "相对时间")	domainEnglishFormat.kif 49349-49349
(termFormat ChineseLanguage RelativeTimeFn "相对时间函数")	chinese_format.kif 597-597
(termFormat ChineseTraditionalLanguage RelativeTimeFn "相對時間")	domainEnglishFormat.kif 49348-49348
(termFormat EnglishLanguage RelativeTimeFn "relative time")	domainEnglishFormat.kif 49347-49347
(termFormat de RelativeTimeFn "RelativeZeitFn")	terms-de.txt 233-233

antecedent

(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?CST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC CentralTimeZone) ?CST)) (equal ?H2 (AdditionFn ?H1 6)))	Merge.kif 17403-17409	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone CentralTimeZone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 6)
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?EST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC EasternTimeZone) ?EST)) (equal ?H2 (AdditionFn ?H1 5)))	Merge.kif 17415-17421	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone EasternTimeZone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 5)
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?MST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC MountainTimeZone) ?MST)) (equal ?H2 (AdditionFn ?H1 7)))	Merge.kif 17391-17397	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone MountainTimeZone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 7)
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?PST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC PacificTimeZone) ?PST)) (equal ?H2 (AdditionFn ?H1 8)))	Merge.kif 17379-17385	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone PacificTimeZone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 8)

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