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

Formal Language: 


KB Term:  Term intersection
English Word: 

  AverageFn

 Sigma KEE - AverageFn
AverageFn

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


(documentation AverageFn EnglishLanguage "The average of the Numbers in a List") Merge.kif 3271-3271
(domain AverageFn 1 List) Merge.kif 3269-3269
(instance AverageFn UnaryFunction) Merge.kif 3268-3268
(range AverageFn RealNumber) Merge.kif 3270-3270

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


(format EnglishLanguage AverageFn "the average of the numbers in %1") Merge.kif 3273-3273
(termFormat EnglishLanguage AverageFn "average function") Merge.kif 3272-3272

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


(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (greaterThan
            (ListLengthFn ?L) 0))
    (equal ?A
        (DivisionFn
            (ListSumFn ?L)
            (ListLengthFn ?L))))		 Merge.kif 3275-3282
(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (inList ?N ?L))
    (instance ?N Number))		 Merge.kif 3284-3288
(=>
    (and
        (equal ?V
            (VarianceFn ?L))
        (equal ?M
            (AverageFn ?L)))
    (equal ?V
        (DivisionFn
            (VarianceAverageFn ?M ?L)
            (ListLengthFn ?L))))		 Weather.kif 1992-2001

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 2739-2756
(=>
    (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 2844-2861
(=>
    (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 2809-2826
(=>
    (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 2774-2791
(=>
    (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 2420-2437


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