TreeView Knowledge Base Browser - 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 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 8350-8356
(domainSubclass RecurrentTimeIntervalFn 1 TimeInterval)	Merge.kif 8346-8346	The number 1 argument of recurrent time interval is a subclass of time interval
(domainSubclass RecurrentTimeIntervalFn 2 TimeInterval)	Merge.kif 8347-8347	The number 2 argument of recurrent time interval is a subclass of time interval
(instance RecurrentTimeIntervalFn BinaryFunction)	Merge.kif 8344-8344	Recurrent time interval is an instance of binary function
(instance RecurrentTimeIntervalFn PartialValuedRelation)	Merge.kif 8345-8345	Recurrent time interval is an instance of partial valued relation
(instance RecurrentTimeIntervalFn TemporalRelation)	Merge.kif 8343-8343	Recurrent time interval is an instance of temporal relation
(rangeSubclass RecurrentTimeIntervalFn TimeInterval)	Merge.kif 8348-8348	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
(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn)	Merge.kif 6490-6490	Interval is internally related to recurrent time interval
(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 8358-8365

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 starts the time interval and the fifth time interval finishes the time interval

statement

(equal FallSeason (RecurrentTimeIntervalFn September November))	Geography.kif 1669-1669	Fall season is equal to the recurring period from September to November
(equal SpringSeason (RecurrentTimeIntervalFn March May))	Geography.kif 1667-1667	Spring season is equal to the recurring period from March to May
(equal SummerSeason (RecurrentTimeIntervalFn June August))	Geography.kif 1668-1668	Summer season is equal to the recurring period from June to August
(equal WinterSeason (RecurrentTimeIntervalFn December February))	Geography.kif 1670-1670	Winter season is equal to the recurring period from December to February

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

KB Term:			Term intersection

English Word: