TreeView Knowledge Base Browser - average

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - average

average

appearance as argument number 1

(documentation average ChineseLanguage "这是一个部分函数，只要一个 List 的元素都是 RealNumber，它会把这个List 和一个 RealNumber 联系起来。和这个 List 联系的 RealNumber 等于这个 List 内的 RealNumber 的数学平均除以列表元素的总数。")	chinese_format.kif 2284-2286
(documentation average EnglishLanguage "A partial function that relates a List to a RealNumber, provided that the List only has list elements that are RealNumbers. The RealNumber associated with the List is equal to the mathematical average of the RealNumbers in the List divided by the total number of list elements.")	Merge.kif 5364-5368
(documentation average JapaneseLanguage "List を RealNumber に関連付ける部分関数で、 Listに RealNumber であるリスト要素のみが含まれる。List に関連付けられた RealNumber は、 List の RealNumber の数学的平均をリスト要素の総数で割った値に等しい。")	japanese_format.kif 952-954
(domain average 1 List)	Merge.kif 5361-5361	average の数値 1 引数はリストの instance では %n
(domain average 2 RealNumber)	Merge.kif 5362-5362	average の数値 2 引数は実数の instance では %n
(instance average BinaryPredicate)	Merge.kif 5359-5359	average は 2進述語の instance では %n
(instance average PartialValuedRelation)	Merge.kif 5358-5358	average は部分的価値関係の instance では %n
(instance average SingleValuedRelation)	Merge.kif 5360-5360	average は一価関係の instance では %n

appearance as argument number 2

(format ChineseLanguage average "%2 %n 是 %1 的 average")	domainEnglishFormat.kif 228-228
(format ChineseTraditionalLanguage average "%2 %n 是 %1 的 average")	domainEnglishFormat.kif 227-227
(format EnglishLanguage average "%2 is %n an average of %1")	domainEnglishFormat.kif 226-226
(termFormat ChineseLanguage average "平均")	domainEnglishFormat.kif 9350-9350
(termFormat ChineseTraditionalLanguage average "平均")	domainEnglishFormat.kif 9349-9349
(termFormat EnglishLanguage average "average")	english_format.kif 1847-1847

antecedent

(<=> (average ?LIST1 ?AVERAGE) (exists (?LIST2 ?LASTPLACE) (and (equal (ListLengthFn ?LIST2) (ListLengthFn ?LIST1)) (equal (ListOrderFn ?LIST2 1) (ListOrderFn ?LIST1 1)) (forall (?ITEMFROM2) (=> (inList ?ITEMFROM2 ?LIST2) (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2) (and (greaterThan ?POSITION 1) (lessThanOrEqualTo ?POSITION (ListLengthFn ?LIST2)) (equal (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION) (inList ?ITEMFROM1 ?LIST1) (equal ?POSITION (ListOrderFn ?LIST1 ?ITEMFROM1)) (inList ?PRIORFROM2 ?LIST2) (equal ?POSITIONMINUSONE (SubtractionFn ?POSITION 1)) (equal ?POSITIONMINUSONE (ListOrderFn ?LIST2 ?PRIORFROM2)) (equal ?ITEMFROM2 (AdditionFn ?ITEMFROM1 ?PRIORFROM2)))))) (equal ?LASTPLACE (ListLengthFn ?LIST2)) (equal ?AVERAGE (DivisionFn (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE)))))	People.kif 272-293	average リスト and 実数リスト正の整数リストの length はリストの length と equal では %n リストの 1th element はリストの 1th element と equal では %n 正の整数正の整数はリストの member では %n 実数実数MINUSONE, 正の整数 and 正の整数実数は 1 より greater では　%n 実数はリストの length より less または同等では %n リストの正の整数th element は実数と equal では %n 正の整数はリストの member では %n 実数はリストの正の整数th element と equal では %n 正の整数はリストの member では %n 実数MINUSONE は ( 実数 + 1) と equal では %n 実数MINUSONE はリストの正の整数th element と equal では %n 正の整数は ( 正の整数 + 正の整数) と equal では %n 正の整数はリストの length と equal では %n 実数はリストの正の整数th element + 正の整数と equal では %n
(=> (average ?LIST ?AVERAGE) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (instance ?LISTITEM RealNumber))))	Merge.kif 5370-5375	average リスト and 実数リストITEM リストITEM はリストの member では %n リストITEM は実数の instance では %n

consequent

(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 357-390	年は年EAR year 目の instance では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal では %n リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 403-436	年は整数 year 目の instance では %n FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal では %n リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 310-342	年は整数 year 目の instance では %n LifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal では %n リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数

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