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 3017-3020
(documentation ListLengthFn JapaneseLanguage "Function は、 List を唯一の引数として受け 取り、List 内の項目数を返す。例:(ListLengthFn (ListFn Monday Tuesday Wednesday)) は3の値を返す。") japanese_format.kif 599-601
(domain ListLengthFn 1 List) Merge.kif 3014-3014 ListLengthFn の数値 1 引数は リストinstance では %n
(instance ListLengthFn TotalValuedRelation) Merge.kif 3013-3013 ListLengthFn合計値関係instance では %n
(instance ListLengthFn UnaryFunction) Merge.kif 3012-3012 ListLengthFn1変数関数instance では %n
(range ListLengthFn NonnegativeInteger) Merge.kif 3015-3015 ListLengthFnrange非負整数 のインスタンス では %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 3219-3223
(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (greaterThan
            (ListLengthFn ?L) 0))
    (equal ?A
        (DivisionFn
            (ListSumFn ?L)
            (ListLengthFn ?L))))
Merge.kif 3277-3284
(=>
    (and
        (equal ?A
            (ListSumFn ?L))
        (equal 1
            (ListLengthFn ?L)))
    (equal ?A
        (ListOrderFn ?L 1)))
Merge.kif 3252-3256
(=>
    (and
        (equal ?A
            (ListSumFn ?L))
        (greaterThan
            (ListLengthFn ?L) 1))
    (equal ?A
        (AdditionFn
            (FirstFn ?L)
            (ListSumFn
                (SubListFn 2
                    (ListLengthFn ?L) ?L)))))
Merge.kif 3258-3268
(=>
    (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 3083-3102
(=>
    (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
(=>
    (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

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 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 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 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 リストlengthequal では %n リスト の 1th element リスト の 1th elementequal では %n 正の整数 正の整数 リストlengthequal では %n 実数 リスト 正の整数th element + 正の整数equal では %n
(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (greaterThan
            (ListLengthFn ?L) 0))
    (equal ?A
        (DivisionFn
            (ListSumFn ?L)
            (ListLengthFn ?L))))
Merge.kif 3277-3284
(=>
    (and
        (equal ?A
            (ListSumFn ?L))
        (greaterThan
            (ListLengthFn ?L) 1))
    (equal ?A
        (AdditionFn
            (FirstFn ?L)
            (ListSumFn
                (SubListFn 2
                    (ListLengthFn ?L) ?L)))))
Merge.kif 3258-3268
(=>
    (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 3083-3102
(=>
    (and
        (equal ?V
            (VarianceFn ?L))
        (equal ?M
            (AverageFn ?L)))
    (equal ?V
        (DivisionFn
            (VarianceAverageFn ?M ?L)
            (ListLengthFn ?L))))
Weather.kif 1475-1484
(=>
    (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
(=>
    (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
(=>
    (and
        (valence ?REL ?NUMBER)
        (instance ?REL Predicate))
    (forall (@ROW)
        (=>
            (?REL @ROW)
            (equal
                (ListLengthFn
                    (ListFn @ROW)) ?NUMBER))))
Merge.kif 3048-3055
(=>
    (equal
        (LastFn ?LIST) ?ITEM)
    (exists (?NUMBER)
        (and
            (equal
                (ListLengthFn ?LIST) ?NUMBER)
            (equal
                (ListOrderFn ?LIST ?NUMBER) ?ITEM))))
Merge.kif 3212-3217
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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

statement
-------------------------


(forall (@ROW ?ITEM)
    (equal
        (ListLengthFn
            (ListFn @ROW ?ITEM))
        (SuccessorFn
            (ListLengthFn
                (ListFn @ROW)))))
Merge.kif 3037-3040 @ROW エンティティー (@ROW + エンティティー) の length は ((@ROW) の length+1) と equal では %n
(forall (@ROW ?ITEM)
    (equal
        (ListOrderFn
            (ListFn @ROW ?ITEM)
            (ListLengthFn
                (ListFn @ROW ?ITEM))) ?ITEM))
Merge.kif 3042-3046 @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