TemporalCompositionFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TemporalCompositionFn

TemporalCompositionFn

appearance as argument number 1

(documentation TemporalCompositionFn ChineseLanguage "这是表示以较小的 TimeInterval 组成较大的 TimeInterval 的基本 Function。例如：如果 ThisSeptember 是 September 的一个 instance，那么(TemporalCompositionFn ThisSeptember Day)表示构成 ThisSeptember 内连续日数的 Class。注：我们可以用函数 CardinalityFn 来得出这个 Class 实例的数目。")	chinese_format.kif 2819-2822
(documentation TemporalCompositionFn EnglishLanguage "The basic Function for expressing the composition of larger TimeIntervals out of smaller TimeIntervals. For example, if ThisSeptember is an instance of September, (TemporalCompositionFn ThisSeptember Day) denotes the Class of consecutive days that make up ThisSeptember. Note that one can obtain the number of instances of this Class by using the function CardinalityFn.")	Merge.kif 9497-9502
(documentation TemporalCompositionFn JapaneseLanguage "より小さい %TimeInterval から大きな %TimeInterval の組成を表現するための基本的な Function。例えば、ThisSeptember が September の instance である場合、(TemporalCompositionFn ThisSeptember Day) は ThisSeptember を構成する連続した日数の Class を示す。注：関数 CardinalityFn を使用して、この Class のインスタンス数を取得できる。")	japanese_format.kif 1560-1564
(domain TemporalCompositionFn 1 TimeInterval)	Merge.kif 9494-9494	The number 1 argument of temporal composition is an instance of time interval
(domainSubclass TemporalCompositionFn 2 TimeInterval)	Merge.kif 9495-9495	The number 2 argument of temporal composition is a subclass of time interval
(instance TemporalCompositionFn BinaryFunction)	Merge.kif 9492-9492	Temporal composition is an instance of binary function
(instance TemporalCompositionFn TemporalRelation)	Merge.kif 9491-9491	Temporal composition is an instance of temporal relation
(instance TemporalCompositionFn TotalValuedRelation)	Merge.kif 9493-9493	Temporal composition is an instance of total valued relation
(rangeSubclass TemporalCompositionFn TimeInterval)	Merge.kif 9496-9496	The values returned by temporal composition are subclasses of time interval

appearance as argument number 2

(format ChineseLanguage TemporalCompositionFn "分拆 %1 为 %3 的 %2")	chinese_format.kif 447-447
(format EnglishLanguage TemporalCompositionFn "decomposition of %1 into %3 %2s")	english_format.kif 453-453
(format FrenchLanguage TemporalCompositionFn "decomposition de %1 en %3 %2s")	french_format.kif 260-260
(format ItalianLanguage TemporalCompositionFn "decomposizione di %1 in %3 %2s")	relations-it.txt 293-293
(format JapaneseLanguage TemporalCompositionFn "%1 を %3 の %2s に decomposition")	japanese_format.kif 2050-2050
(format PortugueseLanguage TemporalCompositionFn "decomposicao de %1 em %3 %2s")	portuguese_format.kif 212-212
(format cz TemporalCompositionFn "decomposition of %1 into %3 %2s")	relations-cz.txt 266-266
(format de TemporalCompositionFn "Aufspaltung von %1 auf %3 %2s")	relations-de.txt 583-583
(format hi TemporalCompositionFn "%1 kaa %3 %2 men viyojana")	relations-hindi.txt 329-329
(format ro TemporalCompositionFn "decomposition%t{descompunerea} lui %1 în %3 %2s")	relations-ro.kif 281-281
(format sv TemporalCompositionFn "dekomposition av %1 till %3 %2s")	relations-sv.txt 286-286
(termFormat ChineseLanguage TemporalCompositionFn "时间分拆函数")	chinese_format.kif 448-448
(termFormat ChineseLanguage TemporalCompositionFn "时间构成")	domainEnglishFormat.kif 57469-57469
(termFormat ChineseTraditionalLanguage TemporalCompositionFn "時間構成")	domainEnglishFormat.kif 57468-57468
(termFormat EnglishLanguage TemporalCompositionFn "temporal composition")	domainEnglishFormat.kif 57467-57467
(termFormat de TemporalCompositionFn "ZeitlicheAufbauFn")	terms-de.txt 179-179

antecedent

(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (exists (?TIME) (and (instance ?TIME ?CLASS) (finishes ?TIME ?INTERVAL))))	Merge.kif 9537-9542	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then there exists a third time interval such that the third time interval is an instance of another kind of time interval and the third time interval finishes the time interval
(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (exists (?TIME) (and (instance ?TIME ?CLASS) (starts ?TIME ?INTERVAL))))	Merge.kif 9530-9535	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then there exists a third time interval such that the third time interval is an instance of another kind of time interval and the third time interval starts the time interval
(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (forall (?TIME) (=> (and (instance ?TIME TimePoint) (temporalPart ?TIME ?INTERVAL)) (exists (?INSTANCE) (and (instance ?INSTANCE ?CLASS) (temporalPart ?TIME ?INSTANCE))))))	Merge.kif 9568-9578	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then for all a time position if the time position is an instance of time point and the time position is a part of the time interval, then there exists another time position such that the other time position is an instance of another kind of time interval and the time position is a part of the other time position
(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (forall (?TIME1 ?TIME2) (=> (and (instance ?TIME1 ?CLASS) (instance ?TIME2 ?CLASS) (not (equal ?TIME1 ?TIME2))) (or (meetsTemporally ?TIME1 ?TIME2) (meetsTemporally ?TIME2 ?TIME1) (earlier ?TIME1 ?TIME2) (earlier ?TIME2 ?TIME1)))))	Merge.kif 9516-9528	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then for all a third time interval and a fourth time interval if the third time interval is an instance of another kind of time interval and the fourth time interval is an instance of the other kind of time interval and the third time interval is not equal to the fourth time interval, then the third time interval meets the fourth time interval or the fourth time interval meets the third time interval or the third time interval happens earlier than the fourth time interval or the fourth time interval happens earlier than the third time interval
(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (forall (?TIME1 ?TIME2) (=> (and (instance ?TIME1 ?INTERVALTYPE) (instance ?TIME2 ?CLASS)) (exists (?DURATION) (and (duration ?TIME1 ?DURATION) (duration ?TIME2 ?DURATION))))))	Merge.kif 9504-9514	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then for all a third time interval and a fourth time interval if the third time interval is an instance of the time intervalTYPE and the fourth time interval is an instance of another kind of time interval, then there exists a time duration such that duration of the third time interval is the time duration and duration of the fourth time interval is the time duration
(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (forall (?TIME1) (=> (and (instance ?TIME1 ?CLASS) (not (finishes ?TIME1 ?INTERVAL))) (exists (?TIME2) (and (instance ?TIME2 ?CLASS) (meetsTemporally ?TIME1 ?TIME2))))))	Merge.kif 9544-9554	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then for all a third time interval if the third time interval is an instance of another kind of time interval and the third time interval doesn't finish the time interval, then there exists a fourth time interval such that the fourth time interval is an instance of the other kind of time interval and the third time interval meets the fourth time interval
(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (forall (?TIME1) (=> (and (instance ?TIME1 ?CLASS) (not (starts ?TIME1 ?INTERVAL))) (exists (?TIME2) (and (instance ?TIME2 ?CLASS) (meetsTemporally ?TIME2 ?TIME1))))))	Merge.kif 9556-9566	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then for all a third time interval if the third time interval is an instance of another kind of time interval and the third time interval doesn't start the time interval, then there exists a fourth time interval such that the fourth time interval is an instance of the other kind of time interval and the fourth time interval meets the third time interval

consequent

(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 9584-9588	If a time interval is an instance of month and duration of the time interval is an integer day duration(s), then the number of instances in decomposition of the time interval into days is equal to the integer
(=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24))	Merge.kif 9594-9596	If a time interval is an instance of day, then the number of instances in decomposition of the time interval into hours is equal to 24
(=> (instance ?HOUR Hour) (equal (CardinalityFn (TemporalCompositionFn ?HOUR Minute)) 60))	Merge.kif 9598-9600	If a time interval is an instance of hour, then the number of instances in decomposition of the time interval into minutes is equal to 60
(=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60))	Merge.kif 9602-9604	If a time interval is an instance of minute, then the number of instances in decomposition of the time interval into seconds is equal to 60
(=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7))	Merge.kif 9590-9592	If a time interval is an instance of week, then the number of instances in decomposition of the time interval into days is equal to 7
(=> (instance ?YEAR Year) (equal (CardinalityFn (TemporalCompositionFn ?YEAR Month)) 12))	Merge.kif 9580-9582	If a time interval is an instance of year, then the number of instances in decomposition of the time interval into months is equal to 12

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 is open source software produced by Articulate Software and its partners