  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb   AverageFn Sigma KEE - AverageFn
 AverageFn

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. Merge.kif 3202-3202 No TPTP formula. May not be expressible in strict first order. Merge.kif 3200-3200 The number 1 argument of average function is an instance of list No TPTP formula. May not be expressible in strict first order. Merge.kif 3199-3199 Average function is an instance of unary function No TPTP formula. May not be expressible in strict first order. Merge.kif 3201-3201 The range of average function is an instance of real number

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. Merge.kif 3204-3204 No TPTP formula. May not be expressible in strict first order. Merge.kif 3203-3203

 antecedent No TPTP formula. May not be expressible in strict first order. Merge.kif 3206-3213 If a real number is equal to the average of the numbers in a list and length of the list is greater than 0,then the real number is equal to the sum of the list and length of the list No TPTP formula. May not be expressible in strict first order. Merge.kif 3215-3219 If a real number is equal to 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 No TPTP formula. May not be expressible in strict first order. Weather.kif 1474-1483 If a real number is equal to The VarianceFn a list and another real number is equal to the average of the numbers in the list,then the real number is equal to VarianceAverageFn of the list with the mean of the other real number and length of the list

 consequent No TPTP formula. May not be expressible in strict first order. Weather.kif 2222-2239 If a function quantity is equal to 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 120 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval No TPTP formula. May not be expressible in strict first order. Weather.kif 2327-2344 If a function quantity is equal to 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 12 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval No TPTP formula. May not be expressible in strict first order. Weather.kif 2292-2309 If a function quantity is equal to 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 24 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval No TPTP formula. May not be expressible in strict first order. Weather.kif 2257-2274 If a function quantity is equal to 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 36 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval No TPTP formula. May not be expressible in strict first order. Weather.kif 1903-1920 If a function quantity is equal to 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 12 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval 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