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
-------------------------


(documentation RecurrentTimeIntervalFn ChineseLanguage "这是一个方便得出重复发生时段的函数。例如: (RecurrentTimeIntervalFn (HourFn 6 Day)(&%HourFn 12 Day))会得出从早上6时开始至中午12结束TimeInterval Class。例如:(&%RecurrentTimeInterval Saturday Sunday)得出所有周末的 Class。又例如:(&%RecurrentTimeInterval June August)得出学年的夏季 Class。") Merge.kif 8554-8557
(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 8547-8553
(domainSubclass RecurrentTimeIntervalFn 1 TimeInterval) Merge.kif 8544-8544 The number 1 argument of recurrent time interval is a subclass of time interval
(domainSubclass RecurrentTimeIntervalFn 2 TimeInterval) Merge.kif 8545-8545 The number 2 argument of recurrent time interval is a subclass of time interval
(instance RecurrentTimeIntervalFn BinaryFunction) Merge.kif 8542-8542 Recurrent time interval is an instance of binary function
(instance RecurrentTimeIntervalFn PartialValuedRelation) Merge.kif 8543-8543 Recurrent time interval is an instance of partial valued relation
(instance RecurrentTimeIntervalFn TemporalRelation) Merge.kif 8541-8541 Recurrent time interval is an instance of temporal relation
(rangeSubclass RecurrentTimeIntervalFn TimeInterval) Merge.kif 8546-8546 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 404-404
(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn) Merge.kif 6762-6762 Interval is internally related to recurrent time interval
(termFormat ChineseLanguage RecurrentTimeIntervalFn "重复发生时间函数") chinese_format.kif 654-654 "重复发生时间函数" is the printable form of recurrent time interval in ChineseLanguage
(termFormat EnglishLanguage RecurrentTimeIntervalFn "recurrent time interval") domainEnglishFormat.kif 8596-8596 "recurrent time interval" is the printable form of recurrent time interval in english language

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


(=>
    (instance ?INTERVAL
        (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
    (exists (?TIME1 ?TIME2)
        (and
            (instance ?TIME1 ?TIMECLASS1)
            (instance ?TIME2 ?TIMECLASS2)
            (starts ?TIME1 ?INTERVAL)
            (finishes ?TIME2 ?INTERVAL))))
Merge.kif 8559-8566

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


(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1607-1607 Fall season is equal to the recurring period from September to November
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1605-1605 Spring season is equal to the recurring period from March to May
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1606-1606 Summer season is equal to the recurring period from June to August
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1608-1608 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners