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。") 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 7874-7880
(domainSubclass RecurrentTimeIntervalFn 1 TimeInterval) Merge.kif 7870-7870 domainSubclass RecurrentTimeIntervalFn, 1 and TimeInterval
(domainSubclass RecurrentTimeIntervalFn 2 TimeInterval) Merge.kif 7871-7871 domainSubclass RecurrentTimeIntervalFn, 2 and TimeInterval
(instance RecurrentTimeIntervalFn BinaryFunction) Merge.kif 7868-7868 instance RecurrentTimeIntervalFn and BinaryFunction
(instance RecurrentTimeIntervalFn PartialValuedRelation) Merge.kif 7869-7869 instance RecurrentTimeIntervalFn and PartialValuedRelation
(instance RecurrentTimeIntervalFn TemporalRelation) Merge.kif 7867-7867 instance RecurrentTimeIntervalFn and TemporalRelation
(rangeSubclass RecurrentTimeIntervalFn TimeInterval) Merge.kif 7872-7872 rangeSubclass RecurrentTimeIntervalFn and TimeInterval

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 659-659
(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn) Merge.kif 6238-6238 relatedInternalConcept IntervalFn and RecurrentTimeIntervalFn
(termFormat ChineseLanguage RecurrentTimeIntervalFn "经常性时间间隔") domainEnglishFormat.kif 48932-48932
(termFormat ChineseLanguage RecurrentTimeIntervalFn "重复发生时间函数") chinese_format.kif 654-654
(termFormat ChineseTraditionalLanguage RecurrentTimeIntervalFn "經常性時間間隔") domainEnglishFormat.kif 48931-48931
(termFormat EnglishLanguage RecurrentTimeIntervalFn "recurrent time interval") domainEnglishFormat.kif 48930-48930

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


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

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


(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1619-1619 equal FallSeason and RecurrentTimeIntervalFn September and November
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1617-1617 equal SpringSeason and RecurrentTimeIntervalFn March and May
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1618-1618 equal SummerSeason and RecurrentTimeIntervalFn June and August
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1620-1620 equal WinterSeason and RecurrentTimeIntervalFn December and 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