Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 8546-8552
(
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 8542-8542
The number 1 argument of
recurrent time interval
is a
subclass
of
time interval
(
domainSubclass
RecurrentTimeIntervalFn
2
TimeInterval
)
Merge.kif 8543-8543
The number 2 argument of
recurrent time interval
is a
subclass
of
time interval
(
instance
RecurrentTimeIntervalFn
BinaryFunction
)
Merge.kif 8540-8540
Recurrent time interval
is an
instance
of
binary function
(
instance
RecurrentTimeIntervalFn
PartialValuedRelation
)
Merge.kif 8541-8541
Recurrent time interval
is an
instance
of
partial valued relation
(
instance
RecurrentTimeIntervalFn
TemporalRelation
)
Merge.kif 8539-8539
Recurrent time interval
is an
instance
of
temporal relation
(
rangeSubclass
RecurrentTimeIntervalFn
TimeInterval
)
Merge.kif 8544-8544
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 6596-6596
Interval
is
internally
related to
recurrent time interval
(
termFormat
ChineseLanguage
RecurrentTimeIntervalFn
"经常性时间间隔")
domainEnglishFormat.kif 49038-49038
Interval
is
internally
related to
recurrent time interval
(
termFormat
ChineseLanguage
RecurrentTimeIntervalFn
"重复发生时间函数")
chinese_format.kif 654-654
Interval
is
internally
related to
recurrent time interval
(
termFormat
ChineseTraditionalLanguage
RecurrentTimeIntervalFn
"經常性時間間隔")
domainEnglishFormat.kif 49037-49037
Interval
is
internally
related to
recurrent time interval
(
termFormat
EnglishLanguage
RecurrentTimeIntervalFn
"recurrent time interval")
domainEnglishFormat.kif 49036-49036
Interval
is
internally
related to
recurrent time interval
(
termFormat
de
RecurrentTimeIntervalFn
"RuecklaeufigeZeitAbstandFn")
terms-de.txt 255-255
Interval
is
internally
related to
recurrent time interval
antecedent
(=>
(
instance
?INTERVAL
(
RecurrentTimeIntervalFn
?TIMECLASS1 ?TIMECLASS2))
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1 ?TIMECLASS1)
(
instance
?TIME2 ?TIMECLASS2)
(
starts
?TIME1 ?INTERVAL)
(
finishes
?TIME2 ?INTERVAL))))
Merge.kif 8554-8561
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 1654-1654
Fall season
is
equal
to the
recurring
period
from
September
to
November
(
equal
SpringSeason
(
RecurrentTimeIntervalFn
March
May
))
Geography.kif 1652-1652
Spring season
is
equal
to the
recurring
period
from
March
to
May
(
equal
SummerSeason
(
RecurrentTimeIntervalFn
June
August
))
Geography.kif 1653-1653
Summer season
is
equal
to the
recurring
period
from
June
to
August
(
equal
WinterSeason
(
RecurrentTimeIntervalFn
December
February
))
Geography.kif 1655-1655
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