Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - IntervalFn
IntervalFn

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


(instance IntervalFn BinaryFunction) Merge.kif 6700-6700 Interval is an instance of binary function
(instance IntervalFn TotalValuedRelation) Merge.kif 6701-6701 Interval is an instance of total valued relation
(domain IntervalFn 1 ConstantQuantity) Merge.kif 6702-6702 The number 1 argument of interval is an instance of constant quantity
(domain IntervalFn 2 ConstantQuantity) Merge.kif 6703-6703 The number 2 argument of interval is an instance of constant quantity
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6704-6704 The values returned by interval are subclasses of constant quantity
(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn) Merge.kif 6705-6705 Interval is internally related to recurrent time interval
(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 6707-6713 Interval is internally related to recurrent time interval

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


(termFormat EnglishLanguage IntervalFn "interval") domainEnglishFormat.kif 30765-30765
(termFormat ChineseTraditionalLanguage IntervalFn "間隔") domainEnglishFormat.kif 30766-30766
(termFormat ChineseLanguage IntervalFn "间隔") domainEnglishFormat.kif 30767-30767
(format EnglishLanguage IntervalFn "the interval from %1 to %2") english_format.kif 654-654

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


(=>
    (and
        (instance ?QUANTITY
            (IntervalFn ?FROM ?TO))
        (instance ?FROM ?CLASS)
        (instance ?TO ?CLASS))
    (instance ?QUANTITY ?CLASS))		 Merge.kif 6715-6720 If X is an instance of the interval from Y to Z, Y is an instance of W, and Z is an instance of W, then X is an instance of W

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


(=>
    (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 184-192 If X is an instance of human adult holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 18 year duration(s) to 120 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 242-250 If X is an instance of human youth holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 0 year duration(s) to 17 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 284-292 If X is an instance of human child holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 0 year duration(s) to 14 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 315-323 If X is an instance of teenager holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 13 year duration(s) to 19 year duration(s)
(=>
    (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 365-373 If X is an instance of human baby holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 0 year duration(s) to 1 year duration(s)
(=>
    (instance ?H HarmattanSeason)
    (exists (?Y)
        (and
            (instance ?HS
                (MonthFn November
                    (YearFn ?Y)))
            (instance ?HE
                (MonthFn March
                    (YearFn
                        (AdditionFn ?Y 1))))
            (during ?H
                (IntervalFn
                    (EndFn ?HS)
                    (BeginFn ?HE))))))		 Weather.kif 2037-2050 If X is an instance of Harmattan season, then there exists Y such that Z is an instance of the month November, W is an instance of the month March, and X takes place during the interval from the end of Z to the beginning of W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners