TreeView Knowledge Base Browser - TemporalCompositionFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TemporalCompositionFn

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 9412-9417
(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 9409-9409	TemporalCompositionFn の数値 1 引数は時間間隔の instance では %n
(domainSubclass TemporalCompositionFn 2 TimeInterval)	Merge.kif 9410-9410	TemporalCompositionFn の数値 2 引数は時間間隔のsubclass では %n
(instance TemporalCompositionFn BinaryFunction)	Merge.kif 9407-9407	TemporalCompositionFn は 2変数関数の instance では %n
(instance TemporalCompositionFn TemporalRelation)	Merge.kif 9406-9406	TemporalCompositionFn は時間関係の instance では %n
(instance TemporalCompositionFn TotalValuedRelation)	Merge.kif 9408-9408	TemporalCompositionFn は合計値関係の instance では %n
(rangeSubclass TemporalCompositionFn TimeInterval)	Merge.kif 9411-9411	TemporalCompositionFn が返す値は時間間隔の subclasses では %n

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 57436-57436
(termFormat ChineseTraditionalLanguage TemporalCompositionFn "時間構成")	domainEnglishFormat.kif 57435-57435
(termFormat EnglishLanguage TemporalCompositionFn "temporal composition")	domainEnglishFormat.kif 57434-57434

antecedent

(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (exists (?TIME) (and (instance ?TIME ?CLASS) (finishes ?TIME ?INTERVAL))))	Merge.kif 9452-9457	時間間隔をの時間間隔TYPEs に decomposition は時間間隔と equal では %n 時間間隔時間間隔は時間間隔の instance では %n 時間間隔は時間間隔を finishes %n{ない}
(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (exists (?TIME) (and (instance ?TIME ?CLASS) (starts ?TIME ?INTERVAL))))	Merge.kif 9445-9450	時間間隔をの時間間隔TYPEs に decomposition は時間間隔と equal では %n 時間間隔時間間隔は時間間隔の instance では %n 時間間隔は時間間隔を starts %n{ない}
(=> (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 9483-9493	時間間隔をの時間間隔TYPEs に decomposition は時間間隔と equal では %n 時間位置時間位置は時点の instance では %n 時間位置は時間間隔の part では %n 時間位置時間位置は時間間隔の instance では %n 時間位置は時間位置の part では %n
(=> (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 9431-9443	時間間隔をの時間間隔TYPEs に decomposition は時間間隔と equal では %n 時間間隔時間間隔時間間隔は時間間隔の instance では %n 時間間隔は時間間隔の instance では %n 時間間隔は時間間隔と equal では時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔より earlier happens %n{ない} 時間間隔は時間間隔より earlier happens %n{ない}
(=> (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 9419-9429	時間間隔をの時間間隔TYPEs に decomposition は時間間隔と equal では %n 時間間隔時間間隔時間間隔は時間間隔TYPE の instance では %n 時間間隔は時間間隔の instance では %n 時間分時間間隔の duration は時間分では %n 時間間隔の duration は時間分では %n
(=> (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 9459-9469	時間間隔をの時間間隔TYPEs に decomposition は時間間隔と equal では %n 時間間隔時間間隔は時間間隔の instance では %n 時間間隔は時間間隔を finish ない時間間隔時間間隔は時間間隔の instance では %n 時間間隔は時間間隔に meets %n{ない}
(=> (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 9471-9481	時間間隔をの時間間隔TYPEs に decomposition は時間間隔と equal では %n 時間間隔時間間隔は時間間隔の instance では %n 時間間隔は時間間隔を start ない時間間隔時間間隔は時間間隔の instance では %n 時間間隔は時間間隔に meets %n{ない}

consequent

(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 9499-9503	時間間隔は月の instance では %n 時間間隔の duration は整数の DayDuration(s) では %n 時間間隔をの日s に decomposition の instances の数は整数と equal では %n
(=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24))	Merge.kif 9509-9511	時間間隔は日の instance では %n 時間間隔をの時間s に decomposition の instances の数は 24 と equal では %n
(=> (instance ?HOUR Hour) (equal (CardinalityFn (TemporalCompositionFn ?HOUR Minute)) 60))	Merge.kif 9513-9515	時間間隔は時間の instance では %n 時間間隔をの分s に decomposition の instances の数は 60 と equal では %n
(=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60))	Merge.kif 9517-9519	時間間隔は分の instance では %n 時間間隔をの秒s に decomposition の instances の数は 60 と equal では %n
(=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7))	Merge.kif 9505-9507	時間間隔は週の instance では %n 時間間隔をの日s に decomposition の instances の数は 7 と equal では %n
(=> (instance ?YEAR Year) (equal (CardinalityFn (TemporalCompositionFn ?YEAR Month)) 12))	Merge.kif 9495-9497	時間間隔は年の instance では %n 時間間隔をの月s に decomposition の instances の数は 12 と equal では %n

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

Show without tree

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