Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 8356-8362
(
domainSubclass
RecurrentTimeIntervalFn
1
TimeInterval
)
Merge.kif 8352-8352
(
domainSubclass
RecurrentTimeIntervalFn
2
TimeInterval
)
Merge.kif 8353-8353
(
instance
RecurrentTimeIntervalFn
BinaryFunction
)
Merge.kif 8350-8350
(
instance
RecurrentTimeIntervalFn
PartialValuedRelation
)
Merge.kif 8351-8351
(
instance
RecurrentTimeIntervalFn
TemporalRelation
)
Merge.kif 8349-8349
(
rangeSubclass
RecurrentTimeIntervalFn
TimeInterval
)
Merge.kif 8354-8354
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
(
relatedInternalConcept
IntervalFn
RecurrentTimeIntervalFn
)
Merge.kif 6496-6496
(
termFormat
ChineseLanguage
RecurrentTimeIntervalFn
"经常性时间间隔")
domainEnglishFormat.kif 49017-49017
(
termFormat
ChineseLanguage
RecurrentTimeIntervalFn
"重复发生时间函数")
chinese_format.kif 654-654
(
termFormat
ChineseTraditionalLanguage
RecurrentTimeIntervalFn
"經常性時間間隔")
domainEnglishFormat.kif 49016-49016
(
termFormat
EnglishLanguage
RecurrentTimeIntervalFn
"recurrent time interval")
domainEnglishFormat.kif 49015-49015
antecedent
(=>
(
instance
?INTERVAL
(
RecurrentTimeIntervalFn
?TIMECLASS1 ?TIMECLASS2))
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1 ?TIMECLASS1)
(
instance
?TIME2 ?TIMECLASS2)
(
starts
?TIME1 ?INTERVAL)
(
finishes
?TIME2 ?INTERVAL))))
Merge.kif 8364-8371
statement
(
equal
FallSeason
(
RecurrentTimeIntervalFn
September
November
))
Geography.kif 1669-1669
(
equal
SpringSeason
(
RecurrentTimeIntervalFn
March
May
))
Geography.kif 1667-1667
(
equal
SummerSeason
(
RecurrentTimeIntervalFn
June
August
))
Geography.kif 1668-1668
(
equal
WinterSeason
(
RecurrentTimeIntervalFn
December
February
))
Geography.kif 1670-1670
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