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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntervalFn

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。") Merge.kif 6770-6773
(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 6763-6769
(domain IntervalFn 1 ConstantQuantity) Merge.kif 6759-6759 间隔函数 的 1 数量 是 恒量instance
(domain IntervalFn 2 ConstantQuantity) Merge.kif 6760-6760 间隔函数 的 2 数量 是 恒量instance
(instance IntervalFn BinaryFunction) Merge.kif 6757-6757 间隔函数二元函数instance
(instance IntervalFn TotalValuedRelation) Merge.kif 6758-6758 间隔函数总值关系instance
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6761-6761 间隔函数 的所得值 是 恒量subclass
(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn) Merge.kif 6762-6762 间隔函数重复发生时间函数 是 内部相关

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 403-403
(termFormat ChineseLanguage IntervalFn "间隔函数") chinese_format.kif 652-652 termFormat ChineseLanguage, 间隔函数 and "间隔函数"
(termFormat EnglishLanguage IntervalFn "interval") domainEnglishFormat.kif 5544-5544 termFormat EnglishLanguage, 间隔函数 and "interval"

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


(<=>
    (instance ?QUANTITY
        (IntervalFn ?FROM ?TO))
    (and
        (greaterThanOrEqualTo ?QUANTITY ?FROM)
        (lessThanOrEqualTo ?QUANTITY ?TO)))
Merge.kif 6782-6786 数量 是 由 恒量另一个 恒量 之间的值 的 instance 若且唯若 那个 数量greaterThanOrEqualTo 那个 恒量那个 数量lessThanOrEqualTo 那个 另外 恒量
(=>
    (and
        (instance ?QUANTITY
            (IntervalFn ?FROM ?TO))
        (instance ?FROM ?CLASS)
        (instance ?TO ?CLASS))
    (instance ?QUANTITY ?CLASS))
Merge.kif 6775-6780

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 539-544
(=>
    (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 342-347
(=>
    (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 455-460
(=>
    (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 411-416
(=>
    (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 484-489


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners