AverageFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AverageFn

AverageFn

appearance as argument number 1

(documentation AverageFn EnglishLanguage "The average of the Numbers in a List")	Merge.kif 3286-3286
(domain AverageFn 1 List)	Merge.kif 3284-3284	The number 1 argument of average function is an instance of list
(instance AverageFn UnaryFunction)	Merge.kif 3283-3283	Average function is an instance of unary function
(range AverageFn RealNumber)	Merge.kif 3285-3285	The range of average function is an instance of real number

appearance as argument number 2

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

antecedent

(=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L))))	Merge.kif 3290-3297	If equal a real number and the average of the numbers in a list and length of the list is greater than 0, then equal the real number and the sum of the list and length of the list
(=> (and (equal ?A (AverageFn ?L)) (inList ?N ?L)) (instance ?N Number))	Merge.kif 3299-3303	If equal a real number and the average of the numbers in a list and an entity is a member of the list, then the entity is an instance of number
(=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L))))	Weather.kif 2305-2314	If equal a real number and The VarianceFn a list and equal another real number and the average of the numbers in the list, then equal the real number and VarianceAverageFn of the list with the mean of the other real number and length of the list

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 3052-3069	If equal a function quantity and Mean10MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 10 minute duration(s). and equal 120 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=> (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 3157-3174	If equal a function quantity and Mean1MinuteWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 1 minute duration(s). and equal 12 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=> (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 3122-3139	If equal a function quantity and Mean2MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and equal 24 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=> (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 3087-3104	If equal a function quantity and Mean3MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and equal 36 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=> (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 2733-2750	If equal a function quantity and Mean3SecondWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 0.25 second duration(s) interval. and The Measuring for list the entity takes 3 second duration(s). and equal 12 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval

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