IntervalFn - Sigma Knowledge base Browser

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 6492-6498
(domain IntervalFn 1 ConstantQuantity)	Merge.kif 6487-6487	The number 1 argument of interval is an instance of constant quantity
(domain IntervalFn 2 ConstantQuantity)	Merge.kif 6488-6488	The number 2 argument of interval is an instance of constant quantity
(instance IntervalFn BinaryFunction)	Merge.kif 6485-6485	Interval is an instance of binary function
(instance IntervalFn TotalValuedRelation)	Merge.kif 6486-6486	Interval is an instance of total valued relation
(rangeSubclass IntervalFn ConstantQuantity)	Merge.kif 6489-6489	The values returned by interval are subclasses of constant quantity
(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn)	Merge.kif 6490-6490	Interval is internally related to recurrent time interval

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
(termFormat ChineseLanguage IntervalFn "间隔")	domainEnglishFormat.kif 30750-30750
(termFormat ChineseLanguage IntervalFn "间隔函数")	chinese_format.kif 652-652
(termFormat ChineseTraditionalLanguage IntervalFn "間隔")	domainEnglishFormat.kif 30749-30749
(termFormat EnglishLanguage IntervalFn "interval")	domainEnglishFormat.kif 30748-30748

antecedent

(=>
    (and
        (instance ?QUANTITY
            (IntervalFn ?FROM ?TO))
        (instance ?FROM ?CLASS)
        (instance ?TO ?CLASS))
    (instance ?QUANTITY ?CLASS))

Merge.kif 6500-6505

If an entity is an instance of the interval from a constant quantity to another constant quantity and the constant quantity is an instance of a class and the other constant quantity is an instance of the class,
then the entity is an instance of the class

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	If an entity is an instance of human baby holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 0 year duration(s) to 1 year duration(s)
(=> (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	If an entity is an instance of human adult holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 18 year duration(s) to 120 year duration(s)
(=> (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	If an entity is an instance of human child holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 0 year duration(s) to 14 year duration(s)
(=> (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	If an entity is an instance of human youth holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 0 year duration(s) to 17 year duration(s)
(=> (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	If an entity is an instance of teenager holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 13 year duration(s) to 19 year duration(s)

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

KB Term:			Term intersection

English Word: