Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - RecurrentTimeIntervalFn
RecurrentTimeIntervalFn

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


(instance RecurrentTimeIntervalFn TemporalRelation) Merge.kif 8643-8643 Recurrent time interval is an instance of temporal relation
(instance RecurrentTimeIntervalFn BinaryFunction) Merge.kif 8644-8644 Recurrent time interval is an instance of binary function
(instance RecurrentTimeIntervalFn PartialValuedRelation) Merge.kif 8645-8645 Recurrent time interval is an instance of partial valued relation
(domainSubclass RecurrentTimeIntervalFn 1 TimeInterval) Merge.kif 8646-8646 The number 1 argument of recurrent time interval is a subclass of timeframe
(domainSubclass RecurrentTimeIntervalFn 2 TimeInterval) Merge.kif 8647-8647 The number 2 argument of recurrent time interval is a subclass of timeframe
(rangeSubclass RecurrentTimeIntervalFn TimeInterval) Merge.kif 8648-8648 The values returned by recurrent time interval are subclasses of timeframe
(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 8650-8656 The values returned by recurrent time interval are subclasses of timeframe

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


(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn) Merge.kif 6705-6705 Interval is internally related to recurrent time interval
(termFormat EnglishLanguage RecurrentTimeIntervalFn "recurrent time interval") domainEnglishFormat.kif 49029-49029 Interval is internally related to recurrent time interval
(termFormat ChineseTraditionalLanguage RecurrentTimeIntervalFn "經常性時間間隔") domainEnglishFormat.kif 49030-49030 Interval is internally related to recurrent time interval
(termFormat ChineseLanguage RecurrentTimeIntervalFn "经常性时间间隔") domainEnglishFormat.kif 49031-49031 Interval is internally related to recurrent time interval
(format EnglishLanguage RecurrentTimeIntervalFn "the recurring period from %1 to %2") english_format.kif 656-656 Interval is internally related to recurrent time interval

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


(=>
    (instance ?INTERVAL
        (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
    (exists (?TIME1 ?TIME2)
        (and
            (instance ?TIME1 ?TIMECLASS1)
            (instance ?TIME2 ?TIMECLASS2)
            (starts ?TIME1 ?INTERVAL)
            (finishes ?TIME2 ?INTERVAL))))		 Merge.kif 8658-8665 If X is an instance of the recurring period from Y to Z, then there exist W, V such that W is an instance of Y, V is an instance of Z, W starts X, and V finishes X

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


(equal SpringSeason
    (RecurrentTimeIntervalFn March May))		 Geography.kif 3115-3115 equal spring season and the recurring period from March to May
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))		 Geography.kif 3116-3116 equal summer season and the recurring period from June to August
(equal FallSeason
    (RecurrentTimeIntervalFn September November))		 Geography.kif 3117-3117 equal fall season and the recurring period from September to November
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))		 Geography.kif 3118-3118 equal winter season and 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners