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

KB Term:  Term intersection
English Word: 

Sigma KEE - TimeIntervalListFn
TimeIntervalListFn

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


(documentation TimeIntervalListFn EnglishLanguage "TimeIntervalListFn is a BinaryFunction which takes a TimeInterval and TimeDuration, then denotes a sequence of continuous time intervals in a List, known as ConsecutiveTimeIntervalList.") Weather.kif 3213-3215
(documentation TimeIntervalListFn ChineseLanguage "TimeIntervalListFn 是一个 BinaryFunction， 它接受一个 TimeInterval 和一个 TimeDuration, 然后以表列(List)形式把一连串连续的时间间隔 呈现出来，为连续时间间隔表列(ConsecutiveTimeIntervalList)。") Weather.kif 3218-3220
(domain TimeIntervalListFn 1 TimeInterval) Weather.kif 3223-3223 The number 1 argument of time interval list is an instance of timeframe
(domain TimeIntervalListFn 2 TimeDuration) Weather.kif 3224-3224 The number 2 argument of time interval list is an instance of time duration
(range TimeIntervalListFn ConsecutiveTimeIntervalList) Weather.kif 3225-3225 The range of time interval list is an instance of consecutive time interval list
(instance TimeIntervalListFn BinaryFunction) Weather.kif 3226-3226 Time interval list is an instance of binary function

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


(format EnglishLanguage TimeIntervalListFn "ConsecutiveTimeIntervalList for at %1 at %2 is contained in TimeIntervalListFn") Weather.kif 3216-3217
(format ChineseLanguage TimeIntervalListFn "%1 的 %2 ConsecutiveTimeIntervalList 是在 TimeIntervalListFn(时间间隔表列函数)") Weather.kif 3221-3222
(termFormat EnglishLanguage TimeIntervalListFn "time interval list") domainEnglishFormat.kif 10390-10390
(termFormat ChineseLanguage TimeIntervalListFn "时间间隔表列") domainEnglishFormat.kif 10391-10391

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


(=>
    (and
        (inList ?INT ?LIST)
        (equal ?LIST
            (TimeIntervalListFn ?TIME ?DUR)))
    (equal
        (BeginFn ?TIME)
        (BeginFn
            (FirstFn ?LIST))))		 Weather.kif 3233-3240 If X is a member of Y and equal Y and ConsecutiveTimeIntervalList for at Z at W is contained in TimeIntervalListFn, then equal the beginning of Z and the beginning of the first of Y
(=>
    (and
        (inList ?INT ?LIST)
        (equal ?LIST
            (TimeIntervalListFn ?TIME ?DUR)))
    (duration ?INT ?DUR))		 Weather.kif 3242-3247 If X is a member of Y and equal Y and ConsecutiveTimeIntervalList for at Z at W is contained in TimeIntervalListFn, then duration of X is W

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


(=>
    (instance ?LIST ConsecutiveTimeIntervalList)
    (equal ?LIST
        (TimeIntervalListFn ?TIME ?DUR)))		 Weather.kif 3228-3231 If X is an instance of consecutive time interval list, then equal X and ConsecutiveTimeIntervalList for at Y at Z is contained in TimeIntervalListFn
(=>
    (and
        (equal ?SPEEDLIST
            (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
        (inList ?SPEED ?SPEEDLIST))
    (exists (?TIMELIST ?INT)
        (and
            (equal ?TIMELIST
                (TimeIntervalListFn ?TIME
                    (MeasureFn 3 SecondDuration)))
            (inList ?INT ?TIMELIST)
            (equal ?SPEED
                (Mean3SecondWindSpeedFn ?PLACE ?INT)))))		 Weather.kif 3272-3284 If equal X and Mean3SecondWindSpeedListFn ending at Y in region Z and W is a member of X, then there exist V and U such that equal V and ConsecutiveTimeIntervalList for at Y at 3 second duration(s) is contained in TimeIntervalListFn and U is a member of V and equal W and Mean3SecondWindSpeedFn for U in region Z


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