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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RecurrentTimeIntervalFn

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 8537-8540
(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 8530-8536
(domainSubclass RecurrentTimeIntervalFn 1 TimeInterval) Merge.kif 8527-8527
(domainSubclass RecurrentTimeIntervalFn 2 TimeInterval) Merge.kif 8528-8528
(instance RecurrentTimeIntervalFn BinaryFunction) Merge.kif 8525-8525
(instance RecurrentTimeIntervalFn PartialValuedRelation) Merge.kif 8526-8526
(instance RecurrentTimeIntervalFn TemporalRelation) Merge.kif 8524-8524
(rangeSubclass RecurrentTimeIntervalFn TimeInterval) Merge.kif 8529-8529

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
(format FrenchLanguage RecurrentTimeIntervalFn "le p�riode recurrente de %1 � %2") french_format.kif 393-393
(format ItalianLanguage RecurrentTimeIntervalFn "il periodo ricorrente da %1 a %2") relations-it.txt 245-245
(format PortugueseLanguage RecurrentTimeIntervalFn "o periodo recorrente de %1 a %2") portuguese_format.kif 345-345
(format de RecurrentTimeIntervalFn "der ruecklaeufige zeitabstand von %1 nach %2") relations-de.txt 854-854
(format hi RecurrentTimeIntervalFn "%1 se %2 taka kaa aavarta kaala") relations-hindi.txt 283-283
(format tg RecurrentTimeIntervalFn "ang umamalit sa %1 sa %2") relations-tg.txt 437-437
(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn) Merge.kif 6749-6749
(termFormat ChineseLanguage RecurrentTimeIntervalFn "重复发生时间函数") chinese_format.kif 654-654
(termFormat EnglishLanguage RecurrentTimeIntervalFn "recurrent time interval") domainEnglishFormat.kif 8596-8596

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


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

Show without tree


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