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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntervalFn
IntervalFn

appearance as argument number 1
-------------------------


(documentation IntervalFn ChineseLanguage "这是一个 BinaryFunction,它把 ConstantQuantity 的两个实例联系到包含从第一个 ConstantQuantity 到第二个 ConstantQuantity 的间隔的 ConstantQuantity subclass 上。例如:(IntervalFn (MeasureFn 8 Meter) (MeasureFn 14 Meter))会得出包含长度由8 到14 米之间数量的 ConstantQuantity subclass。") chinese_format.kif 2464-2467
(documentation IntervalFn EnglishLanguage "A BinaryFunction that maps two instances of ConstantQuantity to the subclass of ConstantQuantity that comprises the interval from the first ConstantQuantity to the second ConstantQuantity. For example, (IntervalFn (MeasureFn 8 Meter) (MeasureFn 14 Meter)) would return the subclass of ConstantQuantity comprising quantities between 8 and 14 meters in length.") Merge.kif 6589-6595
(documentation IntervalFn JapaneseLanguage "BinaryFunction は、最初の ConstantQuantity から2番目の ConstantQuantity までの間隔を構成する ConstantQuantitysubclassConstantQuantity の2つのインスタンスをマップする。 例:(IntervalFn (MeasureFn 8 Meter) (MeasureFn 14 Meter)) は、長さが8〜14メートルの間の量を含む %ConstantQuantity の subclass を返す。") japanese_format.kif 1156-1160
(domain IntervalFn 1 ConstantQuantity) Merge.kif 6584-6584 O argumento numero 1 de IntervalFn e' uma instancia de Quantidade Constante
(domain IntervalFn 2 ConstantQuantity) Merge.kif 6585-6585 O argumento numero 2 de IntervalFn e' uma instancia de Quantidade Constante
(instance IntervalFn BinaryFunction) Merge.kif 6582-6582 IntervalFn e' uma instancia de Funcao Binaria
(instance IntervalFn TotalValuedRelation) Merge.kif 6583-6583 IntervalFn e' uma instancia de Relacao Total
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6586-6586 Os valores retornados por IntervalFn sao as sub-classes de Quantidade Constante
(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn) Merge.kif 6587-6587 IntervalFn e' relacionado internamente por SUMO a RecurrentTimeIntervalFn

appearance as argument number 2
-------------------------


(format ChineseLanguage IntervalFn "由 %1 和 %2 之间的值") chinese_format.kif 651-651
(format EnglishLanguage IntervalFn "the interval from %1 to %2") english_format.kif 654-654
(format FrenchLanguage IntervalFn "l' interval entre %1 et %2") french_format.kif 392-392
(format ItalianLanguage IntervalFn "l' intervallo da %1 a %2") relations-it.txt 154-154
(format JapaneseLanguage IntervalFn "%1 から %2 までの interval") japanese_format.kif 2122-2122
(format PortugueseLanguage IntervalFn "o intervalo entre %1 e %2") portuguese_format.kif 344-344
(format de IntervalFn "der zeitabstand von %1 nach %2") relations-de.txt 851-851
(format hi IntervalFn "%1 se %2 taka kaa antaraala") relations-hindi.txt 193-193
(format ro IntervalFn "interval%t{intervalul} de la %1 la %2") relations-ro.kif 414-414
(format sv IntervalFn "intervallet från %1 till %2") relations-sv.txt 435-435
(format tg IntervalFn "ang patlang sa %1 at %2") relations-tg.txt 310-310
(termFormat ChineseLanguage IntervalFn "间隔") domainEnglishFormat.kif 30763-30763
(termFormat ChineseLanguage IntervalFn "间隔函数") chinese_format.kif 652-652
(termFormat ChineseTraditionalLanguage IntervalFn "間隔") domainEnglishFormat.kif 30762-30762
(termFormat EnglishLanguage IntervalFn "interval") domainEnglishFormat.kif 30761-30761
(termFormat tg IntervalFn "tungkulin pagitan") relations-tg.txt 311-311

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


(=>
    (and
        (instance ?QUANTITY
            (IntervalFn ?FROM ?TO))
        (instance ?FROM ?CLASS)
        (instance ?TO ?CLASS))
    (instance ?QUANTITY ?CLASS))
Merge.kif 6597-6602

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


(=>
    (holdsDuring ?TIME
        (instance ?BABY HumanBaby))
    (exists (?AGE)
        (and
            (holdsDuring ?TIME
                (age ?BABY ?AGE))
            (instance ?AGE
                (IntervalFn
                    (MeasureFn 0 YearDuration)
                    (MeasureFn 1 YearDuration))))))
Mid-level-ontology.kif 375-383
(=>
    (holdsDuring ?TIME
        (instance ?H HumanAdult))
    (exists (?AGE)
        (and
            (holdsDuring ?TIME
                (age ?H ?AGE))
            (instance ?AGE
                (IntervalFn
                    (MeasureFn 18 YearDuration)
                    (MeasureFn 120 YearDuration))))))
Mid-level-ontology.kif 194-202
(=>
    (holdsDuring ?TIME
        (instance ?H HumanChild))
    (exists (?AGE)
        (and
            (holdsDuring ?TIME
                (age ?H ?AGE))
            (instance ?AGE
                (IntervalFn
                    (MeasureFn 0 YearDuration)
                    (MeasureFn 14 YearDuration))))))
Mid-level-ontology.kif 294-302
(=>
    (holdsDuring ?TIME
        (instance ?H HumanYouth))
    (exists (?AGE)
        (and
            (holdsDuring ?TIME
                (age ?H ?AGE))
            (instance ?AGE
                (IntervalFn
                    (MeasureFn 0 YearDuration)
                    (MeasureFn 17 YearDuration))))))
Mid-level-ontology.kif 252-260
(=>
    (holdsDuring ?TIME
        (instance ?H Teenager))
    (exists (?AGE)
        (and
            (holdsDuring ?TIME
                (age ?H ?AGE))
            (instance ?AGE
                (IntervalFn
                    (MeasureFn 13 YearDuration)
                    (MeasureFn 19 YearDuration))))))
Mid-level-ontology.kif 325-333


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