ListLengthFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ListLengthFn

ListLengthFn

appearance as argument number 1

(documentation ListLengthFn ChineseLanguage "这个 Function 接受一个 List 作为它唯一的参数，然后交出这个 List 中项目的数量。例如： (ListLengthFn (ListFn Monday Tuesday Wednesday))交出的值会是3。")	chinese_format.kif 1967-1969
(documentation ListLengthFn EnglishLanguage "A Function that takes a List as its sole argument and returns the number of items in the List. For example, (ListLengthFn (ListFn Monday Tuesday Wednesday)) would return the value 3.")	Merge.kif 3004-3007
(documentation ListLengthFn JapaneseLanguage "Function は、 List を唯一の引数として受け取り、List 内の項目数を返す。例：(ListLengthFn (ListFn Monday Tuesday Wednesday)) は３の値を返す。")	japanese_format.kif 599-601
(domain ListLengthFn 1 List)	Merge.kif 3001-3001	ListLengthFn の数値 1 引数はリストの instance では %n
(instance ListLengthFn TotalValuedRelation)	Merge.kif 3000-3000	ListLengthFn は合計値関係の instance では %n
(instance ListLengthFn UnaryFunction)	Merge.kif 2999-2999	ListLengthFn は 1変数関数の instance では %n
(range ListLengthFn NonnegativeInteger)	Merge.kif 3002-3002	ListLengthFn の range は非負整数のインスタンスでは %n

appearance as argument number 2

(format ChineseLanguage ListLengthFn "%1 的长度")	chinese_format.kif 265-265
(format EnglishLanguage ListLengthFn "length of %1")	english_format.kif 270-270
(format FrenchLanguage ListLengthFn "longueur de %1")	french_format.kif 151-151
(format ItalianLanguage ListLengthFn "lunghezza di %1")	relations-it.txt 168-168
(format JapaneseLanguage ListLengthFn "%1 の length")	japanese_format.kif 1979-1979
(format PortugueseLanguage ListLengthFn "comprimento de %1")	portuguese_format.kif 103-103
(format cz ListLengthFn "length of %1")	relations-cz.txt 160-160
(format de ListLengthFn "Laenge von %1")	relations-de.txt 341-341
(format hi ListLengthFn "%1 kii lambaaaii")	relations-hindi.txt 57-57
(format ro ListLengthFn "length%t{lungimea} lui %1")	relations-ro.kif 170-170
(format sv ListLengthFn "längden av %1")	relations-sv.txt 157-157
(format tg ListLengthFn "haba ng %1")	relations-tg.txt 335-335
(termFormat ChineseLanguage ListLengthFn "列表长度")	domainEnglishFormat.kif 34697-34697
(termFormat ChineseLanguage ListLengthFn "找出表列长度的函数")	chinese_format.kif 266-266
(termFormat ChineseTraditionalLanguage ListLengthFn "列表長度")	domainEnglishFormat.kif 34696-34696
(termFormat EnglishLanguage ListLengthFn "list length")	domainEnglishFormat.kif 34695-34695
(termFormat tg ListLengthFn "tungkulin ng talaan haba")	relations-tg.txt 336-336

antecedent

(=> (and (equal (ListLengthFn ?LIST) ?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM)) (equal (LastFn ?LIST) ?ITEM))	Merge.kif 3206-3210	リストの length は正の整数と equal では %n リストの正の整数th element はエンティティーと equal では %n LastFn リストはエンティティーと equal では %n
(=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L))))	Merge.kif 3264-3271	実数は AverageFn リストと equal では %n リストの length は 0 より greater では　%n 実数は ListSumFn リスト + リストの length と equal では %n
(=> (and (equal ?A (ListSumFn ?L)) (equal 1 (ListLengthFn ?L))) (equal ?A (ListOrderFn ?L 1)))	Merge.kif 3239-3243	実数は ListSumFn リストと equal では %n 1 はリストの length と equal では %n 実数はリストの 1th element と equal では %n
(=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L)))))	Merge.kif 3245-3255	実数は ListSumFn リストと equal では %n リストの length は 1 より greater では　%n 実数は (FirstFn リスト + ListSumFn SubListFn 2, リストの length and リスト) と equal では %n
(=> (and (equal ?LIST3 (ListConcatenateFn ?LIST1 ?LIST2)) (not (equal ?LIST1 NullList)) (not (equal ?LIST2 NullList)) (lessThanOrEqualTo ?NUMBER1 (ListLengthFn ?LIST1)) (lessThanOrEqualTo ?NUMBER2 (ListLengthFn ?LIST2)) (instance ?NUMBER1 PositiveInteger) (instance ?NUMBER2 PositiveInteger)) (and (equal (ListOrderFn ?LIST3 ?NUMBER1) (ListOrderFn ?LIST1 ?NUMBER1)) (equal (ListOrderFn ?LIST3 (AdditionFn (ListLengthFn ?LIST1) ?NUMBER2)) (ListOrderFn ?LIST2 ?NUMBER2))))	Merge.kif 3070-3089	リストはリストとリストで構成される list と equal では %n リストは NullList と equal ではリストは NullList と equal では正の整数はリストの length より less または同等では %n 正の整数はリストの length より less または同等では %n 正の整数は正の整数の instance では %n 正の整数は正の整数の instance では %n リストの正の整数th element はリストの正の整数th element と equal では %n リストの ( リストの length + 正の整数)th element はリストの正の整数th element と equal では %n
(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (equal 1 (ListLengthFn ?L))) (equal ?VA (MultiplicationFn (SubtractionFn ?M (ListOrderFn ?L 1)) (SubtractionFn ?M (ListOrderFn ?L 1)))))	Weather.kif 1486-1497	実数は VarianceAverageFn 実数 and リストと equal では %n 1 はリストの length と equal では %n 実数は ( 実数 + リストの 1th element) + ( 実数 + リストの 1th element) と equal では %n
(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?VA (AdditionFn (VarianceAverageFn ?M (ListOrderFn ?L 1)) (VarianceAverageFn ?M (SubListFn 2 (ListLengthFn ?L) ?L)))))	Weather.kif 1453-1465	実数は VarianceAverageFn 数 and リストと equal では %n リストの length は 1 より greater では　%n 実数は (VarianceAverageFn 数 and リストの 1th element + VarianceAverageFn 数 and SubListFn 2, リストの length and リスト) と equal では %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 383-416	年は年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 429-462	年は整数 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 336-368	年は整数 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 実数
(<=> (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 298-319	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
(=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L))))	Merge.kif 3264-3271	実数は AverageFn リストと equal では %n リストの length は 0 より greater では　%n 実数は ListSumFn リスト + リストの length と equal では %n
(=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L)))))	Merge.kif 3245-3255	実数は ListSumFn リストと equal では %n リストの length は 1 より greater では　%n 実数は (FirstFn リスト + ListSumFn SubListFn 2, リストの length and リスト) と equal では %n
(=> (and (equal ?LIST3 (ListConcatenateFn ?LIST1 ?LIST2)) (not (equal ?LIST1 NullList)) (not (equal ?LIST2 NullList)) (lessThanOrEqualTo ?NUMBER1 (ListLengthFn ?LIST1)) (lessThanOrEqualTo ?NUMBER2 (ListLengthFn ?LIST2)) (instance ?NUMBER1 PositiveInteger) (instance ?NUMBER2 PositiveInteger)) (and (equal (ListOrderFn ?LIST3 ?NUMBER1) (ListOrderFn ?LIST1 ?NUMBER1)) (equal (ListOrderFn ?LIST3 (AdditionFn (ListLengthFn ?LIST1) ?NUMBER2)) (ListOrderFn ?LIST2 ?NUMBER2))))	Merge.kif 3070-3089	リストはリストとリストで構成される list と equal では %n リストは NullList と equal ではリストは NullList と equal では正の整数はリストの length より less または同等では %n 正の整数はリストの length より less または同等では %n 正の整数は正の整数の instance では %n 正の整数は正の整数の instance では %n リストの正の整数th element はリストの正の整数th element と equal では %n リストの ( リストの length + 正の整数)th element はリストの正の整数th element と equal では %n
(=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L))))	Weather.kif 1475-1484	実数は VarianceFn リストと equal では %n 実数は AverageFn リストと equal では %n 実数は VarianceAverageFn 実数 and リスト + リストの length と equal では %n
(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?VA (AdditionFn (VarianceAverageFn ?M (ListOrderFn ?L 1)) (VarianceAverageFn ?M (SubListFn 2 (ListLengthFn ?L) ?L)))))	Weather.kif 1453-1465	実数は VarianceAverageFn 数 and リストと equal では %n リストの length は 1 より greater では　%n 実数は (VarianceAverageFn 数 and リストの 1th element + VarianceAverageFn 数 and SubListFn 2, リストの length and リスト) と equal では %n
(=> (and (instance ?PAGE SearchResultsPage) (instance ?RESULTS SRPResults) (component ?RESULTS ?PAGE)) (equal (DivisionFn (CardinalityFn (KappaFn ?CLICK (and (instance ?CLICK RequestingHyperlink) (patient ?CLICK ?ELEMENT) (destination ?CLICK ?LINKEDPAGE) (instance ?ELEMENT HypertextLink) (component ?ELEMENT ?PAGE) (or (instance ?LINKEDPAGE ProductDescriptionPage) (instance ?LINKEDPAGE ViewItemPage))))) (ListLengthFn ?RESULTS)) (SRPEngagementFn ?PAGE)))	UXExperimentalTerms.kif 3927-3945	SearchResultsPage は SearchResultsPage の instance では %n リストは SRPResults の instance では %n リストは SearchResultsPage の component では %n エンティティー class の instances の数 + リストの length は SRPEngagementFn SearchResultsPage と equal では %n
(=> (and (valence ?REL ?NUMBER) (instance ?REL Predicate)) (forall (@ROW) (=> (?REL @ROW) (equal (ListLengthFn (ListFn @ROW)) ?NUMBER))))	Merge.kif 3035-3042	関係は正の整数の argument(s) を %&has %n{ない} 関係は述語の instance では %n @ROW 関係 @ROW (@ROW) の length は正の整数と equal では %n
(=> (equal (LastFn ?LIST) ?ITEM) (exists (?NUMBER) (and (equal (ListLengthFn ?LIST) ?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM))))	Merge.kif 3199-3204	LastFn リストはエンティティーと equal では %n 正の整数リストの length は正の整数と equal では %n リストの正の整数th element はエンティティーと equal では %n
(=> (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 2223-2240	関数量は Mean10MinutesWindSpeedFn 地理的地域 and 時間間隔と equal では %n エンティティーエンティティー, エンティティー and エンティティーエンティティーは MeasuringSurfaceWindSpeedList の instance では %n locationMeasuringList エンティティー and 地理的地域 measuringListInterval エンティティー and 5 の SecondDuration(s) measuringListDuration エンティティー and 10 の MinuteDuration(s) 120 はエンティティーの length と equal では %n measuringResult エンティティー and エンティティーエンティティーは PhysicalQuantityToNumberFn エンティティーと equal では %n 関数量は AverageFn エンティティーのエンティティー(s) と equal では %n は時間間隔の during holds %n{ない}
(=> (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 2328-2345	関数量は Mean1MinuteWindSpeedFn 地理的地域 and 時間間隔と equal では %n エンティティーエンティティー, エンティティー and エンティティーエンティティーは MeasuringSurfaceWindSpeedList の instance では %n locationMeasuringList エンティティー and 地理的地域 measuringListInterval エンティティー and 5 の SecondDuration(s) measuringListDuration エンティティー and 1 の MinuteDuration(s) 12 はエンティティーの length と equal では %n measuringResult エンティティー and エンティティーエンティティーは PhysicalQuantityToNumberFn エンティティーと equal では %n 関数量は AverageFn エンティティーのエンティティー(s) と equal では %n は時間間隔の during holds %n{ない}
(=> (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 2293-2310	関数量は Mean2MinutesWindSpeedFn 地理的地域 and 時間間隔と equal では %n エンティティーエンティティー, エンティティー and エンティティーエンティティーは MeasuringSurfaceWindSpeedList の instance では %n locationMeasuringList エンティティー and 地理的地域 measuringListInterval エンティティー and 5 の SecondDuration(s) measuringListDuration エンティティー and 2 の MinuteDuration(s) 24 はエンティティーの length と equal では %n measuringResult エンティティー and エンティティーエンティティーは PhysicalQuantityToNumberFn エンティティーと equal では %n 関数量は AverageFn エンティティーのエンティティー(s) と equal では %n は時間間隔の during holds %n{ない}
(=> (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 2258-2275	関数量は Mean3MinutesWindSpeedFn 地理的地域 and 時間間隔と equal では %n エンティティーエンティティー, エンティティー and エンティティーエンティティーは MeasuringSurfaceWindSpeedList の instance では %n locationMeasuringList エンティティー and 地理的地域 measuringListInterval エンティティー and 5 の SecondDuration(s) measuringListDuration エンティティー and 2 の MinuteDuration(s) 36 はエンティティーの length と equal では %n measuringResult エンティティー and エンティティーエンティティーは PhysicalQuantityToNumberFn エンティティーと equal では %n 関数量は AverageFn エンティティーのエンティティー(s) と equal では %n は時間間隔の during holds %n{ない}
(=> (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 1904-1921	関数量は Mean3SecondWindSpeedFn 地理的地域 and 時間間隔と equal では %n エンティティーエンティティー, エンティティー and エンティティーエンティティーは MeasuringSurfaceWindSpeedList の instance では %n locationMeasuringList エンティティー and 地理的地域 measuringListInterval エンティティー and 0.25 の SecondDuration(s) measuringListDuration エンティティー and 3 の SecondDuration(s) 12 はエンティティーの length と equal では %n measuringResult エンティティー and エンティティーエンティティーは PhysicalQuantityToNumberFn エンティティーと equal では %n 関数量は AverageFn エンティティーのエンティティー(s) と equal では %n は時間間隔の during holds %n{ない}

statement

(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW)))))	Merge.kif 3024-3027	@ROW エンティティー (@ROW + エンティティー) の length は ((@ROW) の length+1) と equal では %n
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM))	Merge.kif 3029-3033	@ROW エンティティー (@ROW + エンティティー) の (@ROW + エンティティー) の lengthth element はエンティティーと equal では %n

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