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

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

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. Merge.kif 3242-3242 No TPTP formula. May not be expressible in strict first order. Merge.kif 3240-3240 The number 1 argument of sum of elements is an instance of list No TPTP formula. May not be expressible in strict first order. Merge.kif 3239-3239 Sum of elements is an instance of unary function No TPTP formula. May not be expressible in strict first order. Merge.kif 3241-3241 The range of sum of elements is an instance of real number

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

 antecedent No TPTP formula. May not be expressible in strict first order. Merge.kif 3252-3256 If a real number is equal to the sum of a list and 1 is equal to length of the list,then the real number is equal to 1th element of the list No TPTP formula. May not be expressible in strict first order. Merge.kif 3258-3268 If a real number is equal to the sum of a list and length of the list is greater than 1,then the real number is equal to (the first of the list and the sum of the sub-list from 2 to length of the list of the list)

 consequent No TPTP formula. May not be expressible in strict first order. Merge.kif 7596-7611 If amount a kind of substance, a corpuscular object and a real number an unit of mass(s) and a kind of substanceI is an instance of the kind of substance and the measure of the kind of substanceI is the real number2 the unit of mass(s) and the kind of substanceI is a part of the corpuscular object,then there exists a list such that the real number2 the unit of mass(s) is a member of the list and the list is equal to Amounts fn the kind of substance, the corpuscular object and the unit of mass and the real number is equal to the sum of the list No TPTP formula. May not be expressible in strict first order. Merge.kif 3277-3284 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 3258-3268 If a real number is equal to the sum of a list and length of the list is greater than 1,then the real number is equal to (the first of the list and the sum of the sub-list from 2 to length of the list of the list) 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