Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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 8432-8438
(
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 8428-8428
Le nombre 1 argument de
RecurrentTimeIntervalFn
est une
sous
-classe de
interval temporel
(
domainSubclass
RecurrentTimeIntervalFn
2
TimeInterval
)
Merge.kif 8429-8429
Le nombre 2 argument de
RecurrentTimeIntervalFn
est une
sous
-classe de
interval temporel
(
instance
RecurrentTimeIntervalFn
BinaryFunction
)
Merge.kif 8426-8426
RecurrentTimeIntervalFn
est une
instance
de
fonction binaire
(
instance
RecurrentTimeIntervalFn
PartialValuedRelation
)
Merge.kif 8427-8427
RecurrentTimeIntervalFn
est une
instance
de
relation partielle
(
instance
RecurrentTimeIntervalFn
TemporalRelation
)
Merge.kif 8425-8425
RecurrentTimeIntervalFn
est une
instance
de
relation temporel
(
rangeSubclass
RecurrentTimeIntervalFn
TimeInterval
)
Merge.kif 8430-8430
Les valeurs retourn�es par
RecurrentTimeIntervalFn
sont des
sous
-classes de
interval temporel
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 6572-6572
IntervalFn
est
reli
� � l'int�rieur de SUMO �
RecurrentTimeIntervalFn
(
termFormat
ChineseLanguage
RecurrentTimeIntervalFn
"经常性时间间隔")
domainEnglishFormat.kif 49055-49055
(
termFormat
ChineseLanguage
RecurrentTimeIntervalFn
"重复发生时间函数")
chinese_format.kif 654-654
(
termFormat
ChineseTraditionalLanguage
RecurrentTimeIntervalFn
"經常性時間間隔")
domainEnglishFormat.kif 49054-49054
(
termFormat
EnglishLanguage
RecurrentTimeIntervalFn
"recurrent time interval")
domainEnglishFormat.kif 49053-49053
antecedent
(=>
(
instance
?INTERVAL
(
RecurrentTimeIntervalFn
?TIMECLASS1 ?TIMECLASS2))
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1 ?TIMECLASS1)
(
instance
?TIME2 ?TIMECLASS2)
(
starts
?TIME1 ?INTERVAL)
(
finishes
?TIME2 ?INTERVAL))))
Merge.kif 8440-8447
Interval temporel
est une
instance
de le
p
�riode
recurrente
de
interval temporel
�
interval temporel
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
statement
(
equal
FallSeason
(
RecurrentTimeIntervalFn
September
November
))
Geography.kif 1664-1664
FallSeason
est
p
�riode
recurrente
de
Septembre
�
Novembre
(
equal
SpringSeason
(
RecurrentTimeIntervalFn
March
May
))
Geography.kif 1662-1662
SpringSeason
est
p
�riode
recurrente
de
Mars
�
Mai
(
equal
SummerSeason
(
RecurrentTimeIntervalFn
June
August
))
Geography.kif 1663-1663
SummerSeason
est
p
�riode
recurrente
de
Juin
�
Ao�t
(
equal
WinterSeason
(
RecurrentTimeIntervalFn
December
February
))
Geography.kif 1665-1665
WinterSeason
est
p
�riode
recurrente
de
Decembre
�
F�vrier
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