Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RecurrentTimeIntervalFn
RecurrentTimeIntervalFn

appearance as argument number 1
-------------------------


s__documentation(s__RecurrentTimeIntervalFn__m,s__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
s__documentation(s__RecurrentTimeIntervalFn__m,s__EnglishLanguage,'"A function that is useful for generating recurring time intervals. For example, (RecurrentTimeIntervalFn (HourFn 6 Day)(HourFn 12 Day)) returns the Class of TimeIntervals 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 8098-8104
s__domainSubclass(s__RecurrentTimeIntervalFn__m,n__1,s__TimeInterval)

Merge.kif 8094-8094 The number 1 argument of recurrent time interval is a subclass of time interval
s__domainSubclass(s__RecurrentTimeIntervalFn__m,n__2,s__TimeInterval)

Merge.kif 8095-8095 The number 2 argument of recurrent time interval is a subclass of time interval
s__instance(s__BinaryFunction,s__Class)

s__instance(s__RecurrentTimeIntervalFn__m,s__BinaryFunction)

Merge.kif 8092-8092 Recurrent time interval is an instance of binary function
s__instance(s__RecurrentTimeIntervalFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8093-8093 Recurrent time interval is an instance of partial valued relation
s__instance(s__RecurrentTimeIntervalFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__Class)

Merge.kif 8091-8091 Recurrent time interval is an instance of temporal relation
s__rangeSubclass(s__RecurrentTimeIntervalFn__m,s__TimeInterval)

Merge.kif 8096-8096 The values returned by recurrent time interval are subclasses of time interval

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__RecurrentTimeIntervalFn__m,'"从%1到%2再次发生所需的时间"')

chinese_format.kif 653-653
s__format(s__EnglishLanguage,s__RecurrentTimeIntervalFn__m,'"the recurring period from %1 to %2"')

english_format.kif 656-656
s__relatedInternalConcept(s__IntervalFn__m,s__RecurrentTimeIntervalFn__m)

Merge.kif 6360-6360 Interval is internally related to recurrent time interval
s__termFormat(s__ChineseLanguage,s__RecurrentTimeIntervalFn__m,'"经常性时间间隔"')

domainEnglishFormat.kif 49017-49017
s__termFormat(s__ChineseLanguage,s__RecurrentTimeIntervalFn__m,'"重复发生时间函数"')

chinese_format.kif 654-654
s__termFormat(s__ChineseTraditionalLanguage,s__RecurrentTimeIntervalFn__m,'"經常性時間間隔"')

domainEnglishFormat.kif 49016-49016
s__termFormat(s__EnglishLanguage,s__RecurrentTimeIntervalFn__m,'"recurrent time interval"')

domainEnglishFormat.kif 49015-49015

antecedent
-------------------------


( ! [V__INTERVAL,V__TIMECLASS2,V__TIMECLASS1] :
   (((s__instance(V__INTERVAL,s__TimeInterval) &
         s__subclass(V__TIMECLASS2,s__TimeInterval) &
         s__instance(V__TIMECLASS2,s__Class) &
         s__subclass(V__TIMECLASS1,s__TimeInterval) &
         s__instance(V__TIMECLASS1,s__Class))
       =>
       ((s__instance(V__INTERVAL,s__RecurrentTimeIntervalFn(V__TIMECLASS1,V__TIMECLASS2))
       =>
       (( ? [V__TIME1, V__TIME2] :
           ((s__instance(V__TIME1,s__TimeInterval) &
               s__instance(V__TIME2,s__TimeInterval) &
               (s__instance(V__TIME1,V__TIMECLASS1)
               &
               s__instance(V__TIME2,V__TIMECLASS2)
             &
             s__starts(V__TIME1,V__INTERVAL)
           &
           s__finishes(V__TIME2,V__INTERVAL)))))))))
)
)

Merge.kif 8106-8113

statement
-------------------------


(s__FallSeason = s__RecurrentTimeIntervalFn(s__September,s__November))

Geography.kif 1637-1637 Fall season is equal to the recurring period from September to November
(s__SpringSeason = s__RecurrentTimeIntervalFn(s__March,s__May))

Geography.kif 1635-1635 Spring season is equal to the recurring period from March to May
(s__SummerSeason = s__RecurrentTimeIntervalFn(s__June,s__August))

Geography.kif 1636-1636 Summer season is equal to the recurring period from June to August
(s__WinterSeason = s__RecurrentTimeIntervalFn(s__December,s__February))

Geography.kif 1638-1638 Winter season is equal to the recurring period from December to February


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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