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

Formal Language: 



KB Term:  Term intersection
English Word: 

  measuringListInterval

 Sigma KEE - measuringListInterval
measuringListInterval

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


(domain measuringListInterval 1 MeasuringList) Weather.kif 1852-1852 Il numero 1 argomenti di measuringListInterval è un istanza di MeasuringList
(domain measuringListInterval 2 TimeDuration) Weather.kif 1853-1853 Il numero 2 argomenti di measuringListInterval è un istanza di Durata
(instance measuringListInterval BinaryPredicate) Weather.kif 1854-1854 measuringListInterval è un' istanza di PredicatoBinario

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


(documentation ChineseLanguage measuringListInterval "measuringListInterval 是一个（二元关系） BinaryRelation。(measuringListInterval ?LIST ?DUR) ?DUR 是串列 ?LIST (MeasuringList) 上每个（量度过程） Measuring Process 从开始到结束的(持续时间) TimeDuration。") Weather.kif 1848-1850
(documentation EnglishLanguage measuringListInterval "measuringListInterval is a BinaryRelation. (measuringListInterval ?LIST ?DUR) ?DUR is the TimeDuration for each Measuring Process contained in the ?LIST, MeasuringList, takes from when it begins till when it ends.") Weather.kif 1843-1846
(format ChineseLanguage measuringListInterval "（量度） Measuring 串列 %1 在 %2 的时间间隔发生") Weather.kif 1851-1851
(format EnglishLanguage measuringListInterval "The Measuring for list %1 occurs at %2 interval.") Weather.kif 1847-1847
(termFormat ChineseLanguage measuringListInterval "量度串列时间间隔") domainEnglishFormat.kif 10403-10403
(termFormat EnglishLanguage measuringListInterval "measuring list interval") domainEnglishFormat.kif 10402-10402

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


(=>
    (and
        (measuringListInterval ?LIST ?DUR)
        (inList ?M ?LIST))
    (duration
        (WhenFn ?M) ?DUR))		 Weather.kif 1856-1860

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


(=>
    (equal ?SPEED
        (Mean10MinutesWindSpeedFn ?PLACE ?TIME))
    (holdsDuring ?TIME
        (exists (?MLIST ?RLIST ?NLIST ?UNIT)
            (and
                (instance ?MLIST MeasuringSurfaceWindSpeedList)
                (locationMeasuringList ?MLIST ?PLACE)
                (measuringListInterval ?MLIST
                    (MeasureFn 5 SecondDuration))
                (measuringListDuration ?MLIST
                    (MeasureFn 10 MinuteDuration))
                (equal 120
                    (ListLengthFn ?MLIST))
                (measuringResult ?MLIST ?RLIST)
                (equal ?NLIST
                    (PhysicalQuantityToNumberFn ?RLIST))
                (equal ?SPEED
                    (MeasureFn
                        (AverageFn ?NLIST) ?UNIT))))))		 Weather.kif 2219-2236
(=>
    (equal ?SPEED
        (Mean1MinuteWindSpeedFn ?PLACE ?TIME))
    (holdsDuring ?TIME
        (exists (?MLIST ?RLIST ?NLIST ?UNIT)
            (and
                (instance ?MLIST MeasuringSurfaceWindSpeedList)
                (locationMeasuringList ?MLIST ?PLACE)
                (measuringListInterval ?MLIST
                    (MeasureFn 5 SecondDuration))
                (measuringListDuration ?MLIST
                    (MeasureFn 1 MinuteDuration))
                (equal 12
                    (ListLengthFn ?MLIST))
                (measuringResult ?MLIST ?RLIST)
                (equal ?NLIST
                    (PhysicalQuantityToNumberFn ?RLIST))
                (equal ?SPEED
                    (MeasureFn
                        (AverageFn ?NLIST) ?UNIT))))))		 Weather.kif 2324-2341
(=>
    (equal ?SPEED
        (Mean2MinutesWindSpeedFn ?PLACE ?TIME))
    (holdsDuring ?TIME
        (exists (?MLIST ?RLIST ?NLIST ?UNIT)
            (and
                (instance ?MLIST MeasuringSurfaceWindSpeedList)
                (locationMeasuringList ?MLIST ?PLACE)
                (measuringListInterval ?MLIST
                    (MeasureFn 5 SecondDuration))
                (measuringListDuration ?MLIST
                    (MeasureFn 2 MinuteDuration))
                (equal 24
                    (ListLengthFn ?MLIST))
                (measuringResult ?MLIST ?RLIST)
                (equal ?NLIST
                    (PhysicalQuantityToNumberFn ?RLIST))
                (equal ?SPEED
                    (MeasureFn
                        (AverageFn ?NLIST) ?UNIT))))))		 Weather.kif 2289-2306
(=>
    (equal ?SPEED
        (Mean3MinutesWindSpeedFn ?PLACE ?TIME))
    (holdsDuring ?TIME
        (exists (?MLIST ?RLIST ?NLIST ?UNIT)
            (and
                (instance ?MLIST MeasuringSurfaceWindSpeedList)
                (locationMeasuringList ?MLIST ?PLACE)
                (measuringListInterval ?MLIST
                    (MeasureFn 5 SecondDuration))
                (measuringListDuration ?MLIST
                    (MeasureFn 2 MinuteDuration))
                (equal 36
                    (ListLengthFn ?MLIST))
                (measuringResult ?MLIST ?RLIST)
                (equal ?NLIST
                    (PhysicalQuantityToNumberFn ?RLIST))
                (equal ?SPEED
                    (MeasureFn
                        (AverageFn ?NLIST) ?UNIT))))))		 Weather.kif 2254-2271
(=>
    (equal ?SPEED
        (Mean3SecondWindSpeedFn ?PLACE ?TIME))
    (holdsDuring ?TIME
        (exists (?MLIST ?RLIST ?NLIST ?UNIT)
            (and
                (instance ?MLIST MeasuringSurfaceWindSpeedList)
                (locationMeasuringList ?MLIST ?PLACE)
                (measuringListInterval ?MLIST
                    (MeasureFn 0.25 SecondDuration))
                (measuringListDuration ?MLIST
                    (MeasureFn 3 SecondDuration))
                (equal 12
                    (ListLengthFn ?MLIST))
                (measuringResult ?MLIST ?RLIST)
                (equal ?NLIST
                    (PhysicalQuantityToNumberFn ?RLIST))
                (equal ?SPEED
                    (MeasureFn
                        (AverageFn ?NLIST) ?UNIT))))))		 Weather.kif 1900-1917


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 3.0 is open source software produced by Articulate Software and its partners