TreeView Knowledge Base Browser - ListLengthFn

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 3018-3021
(documentation ListLengthFn JapaneseLanguage "Function は、 List を唯一の引数として受け取り、List 内の項目数を返す。例：(ListLengthFn (ListFn Monday Tuesday Wednesday)) は３の値を返す。")	japanese_format.kif 599-601
(domain ListLengthFn 1 List)	Merge.kif 3015-3015	ListLengthFn の数値 1 引数はリストの instance では %n
(instance ListLengthFn TotalValuedRelation)	Merge.kif 3014-3014	ListLengthFn は合計値関係の instance では %n
(instance ListLengthFn UnaryFunction)	Merge.kif 3013-3013	ListLengthFn は 1変数関数の instance では %n
(range ListLengthFn NonnegativeInteger)	Merge.kif 3016-3016	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 34691-34691
(termFormat ChineseLanguage ListLengthFn "找出表列长度的函数")	chinese_format.kif 266-266
(termFormat ChineseTraditionalLanguage ListLengthFn "列表長度")	domainEnglishFormat.kif 34690-34690
(termFormat EnglishLanguage ListLengthFn "list length")	domainEnglishFormat.kif 34689-34689
(termFormat de ListLengthFn "ListeLaengeFn")	terms-de.txt 109-109
(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 3220-3224	リストの 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 3278-3285	実数は 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 3253-3257	実数は 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 3259-3269	実数は 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 3084-3103	リストはリストとリストで構成される 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 1470-1481	実数は 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 1437-1449	実数は 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 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 実数
(<=> (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
(=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L))))	Merge.kif 3278-3285	実数は 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 3259-3269	実数は 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 3084-3103	リストはリストとリストで構成される 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 1459-1468	実数は 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 1437-1449	実数は 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 3721-3739	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 3049-3056	関係は正の整数の 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 3213-3218	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 2206-2223	関数量は 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 2311-2328	関数量は 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 2276-2293	関数量は 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 2241-2258	関数量は 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 1887-1904	関数量は 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 3038-3041	@ROW エンティティー (@ROW + エンティティー) の length は ((@ROW) の length+1) と equal では %n
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM))	Merge.kif 3043-3047	@ROW エンティティー (@ROW + エンティティー) の (@ROW + エンティティー) の lengthth element はエンティティーと equal では %n

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