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 8484-8490
(documentation RecurrentTimeIntervalFn JapaneseLanguage "定期的な時間間隔の生成に役立つ関数。例えば、(RecurrentTimeIntervalFn (HourFn 6 Day)(HourFn 12 Day)) は、午前６時に始まり、正午１２時に終了する TimeInterval の Class を返す。　別の例として、(RecurrentTimeInterval Saturday Sunday) はすべての週末の Class を返す。さらに別の例では、(RecurrentTimeInterval June August) は、アカデミックサマー期間を含む Class を返す。")	japanese_format.kif 1457-1461
(domainSubclass RecurrentTimeIntervalFn 1 TimeInterval)	Merge.kif 8480-8480	Die Zahl 1 Argument von RecurrentTimeIntervalFn ist eine teilkategorie von TimeInterval %n{nicht}
(domainSubclass RecurrentTimeIntervalFn 2 TimeInterval)	Merge.kif 8481-8481	Die Zahl 2 Argument von RecurrentTimeIntervalFn ist eine teilkategorie von TimeInterval %n{nicht}
(instance RecurrentTimeIntervalFn BinaryFunction)	Merge.kif 8478-8478	RecurrentTimeIntervalFn ist ein fall von BinaryFunction %n{nicht}
(instance RecurrentTimeIntervalFn PartialValuedRelation)	Merge.kif 8479-8479	RecurrentTimeIntervalFn ist ein fall von PartialValuedRelation %n{nicht}
(instance RecurrentTimeIntervalFn TemporalRelation)	Merge.kif 8477-8477	RecurrentTimeIntervalFn ist ein fall von TemporalRelation %n{nicht}
(rangeSubclass RecurrentTimeIntervalFn TimeInterval)	Merge.kif 8482-8482	Die werte die RecurrentTimeIntervalFn zurueckgibt sind teilkategorien von 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 656-656
(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 JapaneseLanguage RecurrentTimeIntervalFn "the recurring period from %1 to %2")	japanese_format.kif 2123-2123
(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 ro RecurrentTimeIntervalFn "period%t{perioada} recurring%t{recurentã} de la %1 la %2")	relations-ro.kif 415-415
(format sv RecurrentTimeIntervalFn "den återkommande perioden från %1 till %2")	relations-sv.txt 436-436
(format tg RecurrentTimeIntervalFn "ang umamalit sa %1 sa %2")	relations-tg.txt 437-437
(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn)	Merge.kif 6587-6587	IntervalFn ist innerlich verwandt mit RecurrentTimeIntervalFn %n{nicht}
(termFormat ChineseLanguage RecurrentTimeIntervalFn "经常性时间间隔")	domainEnglishFormat.kif 49036-49036
(termFormat ChineseLanguage RecurrentTimeIntervalFn "重复发生时间函数")	chinese_format.kif 654-654
(termFormat ChineseTraditionalLanguage RecurrentTimeIntervalFn "經常性時間間隔")	domainEnglishFormat.kif 49035-49035
(termFormat EnglishLanguage RecurrentTimeIntervalFn "recurrent time interval")	domainEnglishFormat.kif 49034-49034

antecedent

(=>
    (instance ?INTERVAL
        (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
    (exists (?TIME1 ?TIME2)
        (and
            (instance ?TIME1 ?TIMECLASS1)
            (instance ?TIME2 ?TIMECLASS2)
            (starts ?TIME1 ?INTERVAL)
            (finishes ?TIME2 ?INTERVAL))))

Merge.kif 8492-8499

Wenn TimeInterval ist ein fall von der ruecklaeufige zeitabstand von ** ** TimeInterval nach ** ** TimeInterval %n{nicht},
dann es gibt ** TimeInterval und ** TimeInterval um ** ** TimeInterval ist ein fall von ** ** TimeInterval %n{nicht} und ** ** TimeInterval ist ein fall von ** ** TimeInterval %n{nicht} und ** ** TimeInterval beginnt ** TimeInterval %n{nicht} und ** ** TimeInterval beendet ** TimeInterval %n{nicht}

statement

(equal FallSeason (RecurrentTimeIntervalFn September November))	Geography.kif 1666-1666	FallSeason ist gleich der ruecklaeufige zeitabstand von September nach November %n{nicht}
(equal SpringSeason (RecurrentTimeIntervalFn March May))	Geography.kif 1664-1664	SpringSeason ist gleich der ruecklaeufige zeitabstand von March nach May %n{nicht}
(equal SummerSeason (RecurrentTimeIntervalFn June August))	Geography.kif 1665-1665	SummerSeason ist gleich der ruecklaeufige zeitabstand von June nach August %n{nicht}
(equal WinterSeason (RecurrentTimeIntervalFn December February))	Geography.kif 1667-1667	WinterSeason ist gleich der ruecklaeufige zeitabstand von December nach February %n{nicht}

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

KB Term:			Term intersection

English Word: