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
RecurrentTimeIntervalFn
Sigma KEE - RecurrentTimeIntervalFn
RecurrentTimeIntervalFn
appearance as argument number 1
(
documentation
RecurrentTimeIntervalFn
ChineseLanguage
"这是一个方便得出重复发生时段的函数。例如: (
RecurrentTimeIntervalFn
(
HourFn
6
Day
)(
HourFn
12
Day
))会得出从早上6时开始至中午12结束 的
TimeInterval
Class
。例如:(RecurrentTimeInterval
Saturday
Sunday
)得出所有周末的
Class
。又例如:(RecurrentTimeInterval
June
August
)得出学年的夏季
Class
。")
chinese_format.kif 2732-2735
(
documentation
RecurrentTimeIntervalFn
EnglishLanguage
"A function that is useful for generating recurring time intervals. For example, (
RecurrentTimeIntervalFn
(
HourFn
6
Day
)(
HourFn
12
Day
)) returns the
Class
of
TimeInterval
s beginning at 6 in the morning and ending at 12 noon. For another example, (RecurrentTimeInterval
Saturday
Sunday
) returns the
Class
of all weekends. For still another example, (RecurrentTimeInterval
June
August
) returns the
Class
containing the academic summer period.")
Merge.kif 8448-8454
(
documentation
RecurrentTimeIntervalFn
JapaneseLanguage
"定期的な時間間隔の生成に役立つ関数。 例えば、(
RecurrentTimeIntervalFn
(
HourFn
6
Day
)(
HourFn
12
Day
)) は、午前6時に始まり、 正午12時に終了する
TimeInterval
の
Class
を返す。 別の例として、(RecurrentTimeInterval
Saturday
Sunday
) はすべての週末の
Class
を返す。さらに別の例では、(RecurrentTimeInterval
June
August
) は、アカデミックサマー期間を含む
Class
を返す。")
japanese_format.kif 1457-1461
(
domainSubclass
RecurrentTimeIntervalFn
1
TimeInterval
)
Merge.kif 8444-8444
The number 1 argument of
recurrent time interval
is a
subclass
of
time interval
(
domainSubclass
RecurrentTimeIntervalFn
2
TimeInterval
)
Merge.kif 8445-8445
The number 2 argument of
recurrent time interval
is a
subclass
of
time interval
(
instance
RecurrentTimeIntervalFn
BinaryFunction
)
Merge.kif 8442-8442
Recurrent time interval
is an
instance
of
binary function
(
instance
RecurrentTimeIntervalFn
PartialValuedRelation
)
Merge.kif 8443-8443
Recurrent time interval
is an
instance
of
partial valued relation
(
instance
RecurrentTimeIntervalFn
TemporalRelation
)
Merge.kif 8441-8441
Recurrent time interval
is an
instance
of
temporal relation
(
rangeSubclass
RecurrentTimeIntervalFn
TimeInterval
)
Merge.kif 8446-8446
The values returned by
recurrent time interval
are
subclasses
of
time interval
appearance as argument number 2
(
format
ChineseLanguage
RecurrentTimeIntervalFn
"从%1到%2再次发生所需的时间")
chinese_format.kif 653-653
(
format
EnglishLanguage
RecurrentTimeIntervalFn
"the recurring period from %1 to %2")
english_format.kif 656-656
(
format
FrenchLanguage
RecurrentTimeIntervalFn
"le p�riode recurrente de %1 � %2")
french_format.kif 393-393
(
format
ItalianLanguage
RecurrentTimeIntervalFn
"il periodo ricorrente da %1 a %2")
relations-it.txt 245-245
(
format
JapaneseLanguage
RecurrentTimeIntervalFn
"the recurring period from %1 to %2")
japanese_format.kif 2123-2123
(
format
PortugueseLanguage
RecurrentTimeIntervalFn
"o periodo recorrente de %1 a %2")
portuguese_format.kif 345-345
(
format
de
RecurrentTimeIntervalFn
"der ruecklaeufige zeitabstand von %1 nach %2")
relations-de.txt 854-854
(
format
hi
RecurrentTimeIntervalFn
"%1 se %2 taka kaa aavarta kaala")
relations-hindi.txt 283-283
(
format
ro
RecurrentTimeIntervalFn
"period%t{perioada} recurring%t{recurentã} de la %1 la %2")
relations-ro.kif 415-415
(
format
sv
RecurrentTimeIntervalFn
"den återkommande perioden från %1 till %2")
relations-sv.txt 436-436
(
format
tg
RecurrentTimeIntervalFn
"ang umamalit sa %1 sa %2")
relations-tg.txt 437-437
(
relatedInternalConcept
IntervalFn
RecurrentTimeIntervalFn
)
Merge.kif 6586-6586
Interval
is
internally
related to
recurrent time interval
(
termFormat
ChineseLanguage
RecurrentTimeIntervalFn
"经常性时间间隔")
domainEnglishFormat.kif 49034-49034
(
termFormat
ChineseLanguage
RecurrentTimeIntervalFn
"重复发生时间函数")
chinese_format.kif 654-654
(
termFormat
ChineseTraditionalLanguage
RecurrentTimeIntervalFn
"經常性時間間隔")
domainEnglishFormat.kif 49033-49033
(
termFormat
EnglishLanguage
RecurrentTimeIntervalFn
"recurrent time interval")
domainEnglishFormat.kif 49032-49032
antecedent
(=>
(
instance
?INTERVAL
(
RecurrentTimeIntervalFn
?TIMECLASS1 ?TIMECLASS2))
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1 ?TIMECLASS1)
(
instance
?TIME2 ?TIMECLASS2)
(
starts
?TIME1 ?INTERVAL)
(
finishes
?TIME2 ?INTERVAL))))
Merge.kif 8456-8463
If
a time interval
is an
instance
of the
recurring
period
from
another kind of time interval
to
a third kind of time interval
,
then there exist
a fourth time interval
and
a fifth time interval
such that
the fourth time interval
is an
instance
of
another kind of time interval
and
the fifth time interval
is an
instance
of
a third kind of time interval
and
the fourth time interval
start
s
the time interval
and
the fifth time interval
finish
es
the time interval
statement
(
equal
FallSeason
(
RecurrentTimeIntervalFn
September
November
))
Geography.kif 1666-1666
Fall season
is
equal
to the
recurring
period
from
September
to
November
(
equal
SpringSeason
(
RecurrentTimeIntervalFn
March
May
))
Geography.kif 1664-1664
Spring season
is
equal
to the
recurring
period
from
March
to
May
(
equal
SummerSeason
(
RecurrentTimeIntervalFn
June
August
))
Geography.kif 1665-1665
Summer season
is
equal
to the
recurring
period
from
June
to
August
(
equal
WinterSeason
(
RecurrentTimeIntervalFn
December
February
))
Geography.kif 1667-1667
Winter season
is
equal
to the
recurring
period
from
December
to
February
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