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 9398-9403
(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 9395-9395 域 時間構成, 1 and TimeInterval
(domainSubclass TemporalCompositionFn 2 TimeInterval) Merge.kif 9396-9396 域子類 時間構成, 2 and TimeInterval
(instance TemporalCompositionFn BinaryFunction) Merge.kif 9393-9393 例 時間構成 and BinaryFunction
(instance TemporalCompositionFn TemporalRelation) Merge.kif 9392-9392 例 時間構成 and TemporalRelation
(instance TemporalCompositionFn TotalValuedRelation) Merge.kif 9394-9394 例 時間構成 and TotalValuedRelation
(rangeSubclass TemporalCompositionFn TimeInterval) Merge.kif 9397-9397 範圍子類 時間構成 and TimeInterval

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

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


(=>
    (equal
        (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS)
    (exists (?TIME)
        (and
            (instance ?TIME ?CLASS)
            (finishes ?TIME ?INTERVAL))))		 Merge.kif 9438-9443
(=>
    (equal
        (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS)
    (exists (?TIME)
        (and
            (instance ?TIME ?CLASS)
            (starts ?TIME ?INTERVAL))))		 Merge.kif 9431-9436
(=>
    (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 9469-9479
(=>
    (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 9417-9429
(=>
    (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 9405-9415
(=>
    (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 9445-9455
(=>
    (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 9457-9467

consequent
-------------------------


(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))		 Merge.kif 9485-9489
(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))		 Merge.kif 9495-9497
(=>
    (instance ?HOUR Hour)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?HOUR Minute)) 60))		 Merge.kif 9499-9501
(=>
    (instance ?MINUTE Minute)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MINUTE Second)) 60))		 Merge.kif 9503-9505
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))		 Merge.kif 9491-9493
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))		 Merge.kif 9481-9483


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