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 8484-8490
(
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 8480-8480
域子類
經常性時間間隔
, 1 and
TimeInterval
(
domainSubclass
RecurrentTimeIntervalFn
2
TimeInterval
)
Merge.kif 8481-8481
域子類
經常性時間間隔
, 2 and
TimeInterval
(
instance
RecurrentTimeIntervalFn
BinaryFunction
)
Merge.kif 8478-8478
例
經常性時間間隔
and
BinaryFunction
(
instance
RecurrentTimeIntervalFn
PartialValuedRelation
)
Merge.kif 8479-8479
例
經常性時間間隔
and
PartialValuedRelation
(
instance
RecurrentTimeIntervalFn
TemporalRelation
)
Merge.kif 8477-8477
例
經常性時間間隔
and
TemporalRelation
(
rangeSubclass
RecurrentTimeIntervalFn
TimeInterval
)
Merge.kif 8482-8482
範圍子類
經常性時間間隔
and
TimeInterval
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 6587-6587
相關的內部概念
間隔
and
經常性時間間隔
(
termFormat
ChineseLanguage
RecurrentTimeIntervalFn
"经常性时间间隔")
domainEnglishFormat.kif 49036-49036
(
termFormat
ChineseLanguage
RecurrentTimeIntervalFn
"重复发生时间函数")
chinese_format.kif 654-654
(
termFormat
ChineseTraditionalLanguage
RecurrentTimeIntervalFn
"經常性時間間隔")
domainEnglishFormat.kif 49035-49035
(
termFormat
EnglishLanguage
RecurrentTimeIntervalFn
"recurrent time interval")
domainEnglishFormat.kif 49034-49034
antecedent
(=>
(
instance
?INTERVAL
(
RecurrentTimeIntervalFn
?TIMECLASS1 ?TIMECLASS2))
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1 ?TIMECLASS1)
(
instance
?TIME2 ?TIMECLASS2)
(
starts
?TIME1 ?INTERVAL)
(
finishes
?TIME2 ?INTERVAL))))
Merge.kif 8492-8499
例
TimeInterval
and
經常性時間間隔
TimeInterval
and
TimeInterval
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
statement
(
equal
FallSeason
(
RecurrentTimeIntervalFn
September
November
))
Geography.kif 1666-1666
等於
秋季
and
經常性時間間隔
September
and
November
(
equal
SpringSeason
(
RecurrentTimeIntervalFn
March
May
))
Geography.kif 1664-1664
等於
春暖花開的季節
and
經常性時間間隔
March
and
May
(
equal
SummerSeason
(
RecurrentTimeIntervalFn
June
August
))
Geography.kif 1665-1665
等於
夏季
and
經常性時間間隔
June
and
August
(
equal
WinterSeason
(
RecurrentTimeIntervalFn
December
February
))
Geography.kif 1667-1667
等於
冬季
and
經常性時間間隔
December
and
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