Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
RelativeTimeFn
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
TimePosition
s between different
TimeZone
s. (
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 17254-17259
(
domain
RelativeTimeFn
1
TimePosition
)
Merge.kif 17251-17251
O argumento numero 1 de
RelativeTimeFn
e' uma
instancia
de
Posicao Temporal
(
domain
RelativeTimeFn
2
TimeZone
)
Merge.kif 17252-17252
O argumento numero 2 de
RelativeTimeFn
e' uma
instancia
de
Zona Temporal
(
instance
RelativeTimeFn
BinaryFunction
)
Merge.kif 17248-17248
RelativeTimeFn
e' uma
instancia
de
Funcao Binaria
(
instance
RelativeTimeFn
TemporalRelation
)
Merge.kif 17249-17249
RelativeTimeFn
e' uma
instancia
de
Relacao Temporal
(
instance
RelativeTimeFn
TotalValuedRelation
)
Merge.kif 17250-17250
RelativeTimeFn
e' uma
instancia
de
Relacao Total
(
range
RelativeTimeFn
TimePosition
)
Merge.kif 17253-17253
O
contra
-dominio de
RelativeTimeFn
e' uma instancia de
Posicao Temporal
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 49346-49346
(
termFormat
ChineseLanguage
RelativeTimeFn
"相对时间函数")
chinese_format.kif 597-597
(
termFormat
ChineseTraditionalLanguage
RelativeTimeFn
"相對時間")
domainEnglishFormat.kif 49345-49345
(
termFormat
EnglishLanguage
RelativeTimeFn
"relative time")
domainEnglishFormat.kif 49344-49344
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 17228-17234
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
CentralTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 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 17240-17246
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
EasternTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 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 17216-17222
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
MountainTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 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 17204-17210
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
PacificTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 8)
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 is
open source software
produced by
Articulate Software
and its partners