Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ListOrderFn

Sigma KEE - ListOrderFn
ListOrderFn

appearance as argument number 1
-------------------------


(documentation ListOrderFn ChineseLanguage "(ListOrderFn ?LIST ?NUMBER) 表示在 ?LIST List 第?NUMBER个位置的项目。例如: (ListOrderFn (ListFn Monday Tuesday Wednesday) 2) 交出的值会是 Tuesday。") chinese_format.kif 1964-1966
(documentation ListOrderFn EnglishLanguage "(ListOrderFn ?LIST ?NUMBER) denotes the item that is in the ?NUMBER position in the List ?LIST. For example, (ListOrderFn (ListFn Monday Tuesday Wednesday) 2) would return the value Tuesday.") Merge.kif 2917-2920
(domain ListOrderFn 1 List) Merge.kif 2913-2913 找出表列顺序的函数 的 1 数量 是 串列instance
(domain ListOrderFn 2 PositiveInteger) Merge.kif 2914-2914 找出表列顺序的函数 的 2 数量 是 正整数instance
(instance ListOrderFn BinaryFunction) Merge.kif 2911-2911 找出表列顺序的函数二元函数instance
(instance ListOrderFn PartialValuedRelation) Merge.kif 2912-2912 找出表列顺序的函数部分值关系instance
(range ListOrderFn Entity) Merge.kif 2915-2915 找出表列顺序的函数range实体 的实例

appearance as argument number 2
-------------------------


(format ChineseLanguage ListOrderFn "%1 的第 %2 几个元素") chinese_format.kif 263-263
(format EnglishLanguage ListOrderFn "%2th element of %1") english_format.kif 268-268
(termFormat ChineseLanguage ListOrderFn "找出表列顺序的函数") chinese_format.kif 264-264
(termFormat ChineseLanguage ListOrderFn "清单顺序") domainEnglishFormat.kif 34680-34680
(termFormat ChineseTraditionalLanguage ListOrderFn "清單順序") domainEnglishFormat.kif 34679-34679
(termFormat EnglishLanguage ListOrderFn "list order") domainEnglishFormat.kif 34678-34678

antecedent
-------------------------


(=>
    (and
        (defaultMaxValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?N ?VAL) Likely))
Merge.kif 18179-18184
(=>
    (and
        (defaultMinValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?VAL ?N) Likely))
Merge.kif 18162-18167
(=>
    (and
        (defaultValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (equal ?N ?VAL) Likely))
Merge.kif 18196-18201
(=>
    (and
        (equal
            (ListLengthFn ?LIST) ?NUMBER)
        (equal
            (ListOrderFn ?LIST ?NUMBER) ?ITEM))
    (equal
        (LastFn ?LIST) ?ITEM))
Merge.kif 3155-3159
(=>
    (and
        (equal ?NLIST
            (PhysicalQuantityToNumberFn ?QLIST))
        (equal ?QUANT
            (ListOrderFn ?QLIST ?N))
        (equal ?NUM
            (ListOrderFn ?NLIST ?N)))
    (equal
        (MeasureFn ?NUM ?UNIT) ?QUANT))
Weather.kif 1837-1844
(=>
    (and
        (exactCardinality ?REL ?ARG 1)
        (instance ?REL Predicate)
        (?REL @ARGS)
        (equal ?X
            (ListOrderFn
                (ListFn @ARGS) ?ARG))
        (equal ?Y
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (equal ?X ?Y))
Media.kif 2092-2099
(=>
    (and
        (exactCardinality ?REL ?ARG 1)
        (instance ?REL Predicate)
        (?REL @ARGS)
        (equal ?X
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (not
        (exists (?Y)
            (and
                (equal ?Y
                    (ListOrderFn
                        (ListFn @ARGS) ?ARG))
                (not
                    (equal ?X ?Y))))))
Media.kif 2079-2089
(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90.0))
Geography.kif 427-431
(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180.0))
Geography.kif 467-474
(=>
    (and
        (instance ?LIST ConsecutiveTimeIntervalList)
        (equal ?T1
            (ListOrderFn ?LIST ?N))
        (equal ?T2
            (ListOrderFn ?LIST
                (AdditionFn ?N 1))))
    (equal
        (BeginFn ?T2)
        (EndFn ?T1)))
Weather.kif 1934-1943
(=>
    (and
        (measuringResult ?MLIST ?RLIST)
        (equal ?M
            (ListOrderFn ?MLIST ?N))
        (equal ?R
            (ListOrderFn ?RLIST ?N)))
    (result ?M ?R))
Weather.kif 1805-1810
(=>
    (and
        (processList @ROW)
        (inList ?Process1
            (ListFn @ROW))
        (inList ?Process2
            (ListFn @ROW))
        (equal
            (ListOrderFn
                (ListFn @ROW) ?Number1) ?Process1)
        (equal
            (ListOrderFn
                (ListFn @ROW) ?Number2) ?Process2)
        (lessThan ?Number1 ?Number2))
    (earlier
        (WhenFn ?Process1)
        (WhenFn ?Process2)))
QoSontology.kif 692-708
(=>
    (and
        (viewedItemList ?USER ?LIST)
        (instance ?ACCESSING1 AccessingWebPage)
        (instance ?ACCESSING2 AccessingWebPage)
        (agent ?ACCESSING1 ?USER)
        (agent ?ACCESSING2 ?USER)
        (instance ?INDEX1 PositiveInteger)
        (instance ?INDEX2 PositiveInteger)
        (equal
            (ListOrderFn ?LIST ?INDEX1) ?ACCESSING1)
        (equal
            (ListOrderFn ?LIST ?INDEX2) ?ACCESSING2)
        (greaterThan ?INDEX1 ?INDEX2))
    (earlier
        (WhenFn ?ACCESSING2)
        (WhenFn ?ACCESSING1)))
UXExperimentalTerms.kif 989-1007

consequent
-------------------------


(<=>
    (average ?LIST1 ?AVERAGE)
    (exists (?LIST2)
        (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 若且唯若 有存在 另一个 串列 这样 那个 另外 串列 的长度 equal 那个 串列 的长度 和 那个 另外 串列 的第 1 几个元素 equal 那个 串列 的第 1 几个元素 和 对所有 正整数 第四 正整数 equal 那个 另外 串列 的长度 和 那个 实数 equal 那个 另外 串列 的第 那个 第四 正整数 几个元素 和 那个 第四 正整数
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (instance
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 2934-2939
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 2941-2946
(=>
    (and
        (equal ?A
            (ListSumFn ?L))
        (equal 1
            (ListLengthFn ?L)))
    (equal ?A
        (ListOrderFn ?L 1)))
Merge.kif 3189-3193
(=>
    (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 3019-3038
(=>
    (and
        (equal ?R
            (SubListFn ?S ?E ?L))
        (equal
            (SubtractionFn ?E ?S) 1))
    (equal ?R
        (ListFn
            (ListOrderFn ?L ?S))))
Merge.kif 3115-3124
(=>
    (and
        (equal ?R
            (SubListFn ?S ?E ?L))
        (greaterThan
            (SubtractionFn ?E ?S) 1))
    (equal ?R
        (ListConcatenateFn
            (ListFn
                (ListOrderFn ?L ?S))
            (SubListFn
                (AdditionFn 1 ?S) ?E ?L))))
Merge.kif 3126-3138
(=>
    (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 1485-1496
(=>
    (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 1452-1464
(=>
    (and
        (exactCardinality ?REL ?ARG 1)
        (instance ?REL Predicate)
        (?REL @ARGS)
        (equal ?X
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (not
        (exists (?Y)
            (and
                (equal ?Y
                    (ListOrderFn
                        (ListFn @ARGS) ?ARG))
                (not
                    (equal ?X ?Y))))))
Media.kif 2079-2089
(=>
    (and
        (exactCardinality ?REL ?ARG 1)
        (instance ?REL Predicate))
    (exists (?X @ARGS)
        (and
            (?REL @ARGS)
            (equal ?X
                (ListOrderFn
                    (ListFn @ARGS) ?ARG))
            (not
                (exists (?Y)
                    (and
                        (equal ?Y
                            (ListOrderFn
                                (ListFn @ARGS) ?ARG))
                        (not
                            (equal ?X ?Y))))))))
Media.kif 2061-2076
(=>
    (and
        (exactCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S ?EL @ARGS)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (equal
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2123-2136
(=>
    (and
        (instance ?LIST List)
        (not
            (equal ?LIST NullList)))
    (equal
        (FirstFn ?LIST)
        (ListOrderFn ?LIST 1)))
Merge.kif 3168-3173
(=>
    (and
        (instance ?SEO SEO)
        (patient ?SEO ?PAGE))
    (hasPurpose ?SEO
        (exists (?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BM1 ?BM2)
            (and
                (instance ?SRPRESULT_BEFORE SRPResults)
                (instance ?SRPRESULT_AFTER SRPResults)
                (equal ?PAGE
                    (ListOrderFn ?SRPRESULT_BEFORE ?BEFORE))
                (equal ?PAGE
                    (ListOrderFn ?SRPRESULT_AFTER ?AFTER))
                (instance ?BM1 BestMatchAlgorithm)
                (instance ?BM2 BestMatchAlgorithm)
                (earlier
                    (WhenFn ?BM1)
                    (WhenFn ?BM2))
                (earlier
                    (WhenFn ?SEO)
                    (WhenFn ?BM2))
                (earlier
                    (WhenFn ?BM1)
                    (WhenFn ?SEO))
                (greaterThan ?BEFORE ?AFTER)))))
UXExperimentalTerms.kif 2598-2614
(=>
    (and
        (maxCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S ?EL @ARGS)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (lessThanOrEqualTo
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2196-2209
(=>
    (and
        (minCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S ?EL @ARGS)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (greaterThanOrEqualTo
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2160-2173
(=>
    (contraryAttribute @ROW)
    (forall (?ATTR1 ?ATTR2)
        (=>
            (and
                (equal ?ATTR1
                    (ListOrderFn
                        (ListFn @ROW) ?NUMBER1))
                (equal ?ATTR2
                    (ListOrderFn
                        (ListFn @ROW) ?NUMBER2))
                (not
                    (equal ?NUMBER1 ?NUMBER2)))
            (=>
                (property ?OBJ ?ATTR1)
                (not
                    (property ?OBJ ?ATTR2))))))
Merge.kif 476-486
(=>
    (equal
        (LastFn ?LIST) ?ITEM)
    (exists (?NUMBER)
        (and
            (equal
                (ListLengthFn ?LIST) ?NUMBER)
            (equal
                (ListOrderFn ?LIST ?NUMBER) ?ITEM))))
Merge.kif 3148-3153
(=>
    (equal ?LIST1 ?LIST2)
    (=>
        (and
            (equal ?LIST1
                (ListFn @ROW1))
            (equal ?LIST2
                (ListFn @ROW2)))
        (forall (?NUMBER)
            (equal
                (ListOrderFn
                    (ListFn @ROW1) ?NUMBER)
                (ListOrderFn
                    (ListFn @ROW2) ?NUMBER)))))
Merge.kif 295-302
(=>
    (exactCardinality ?REL ?ARG ?COUNT)
    (exists (?EL @ARGS)
        (equal
            (CardinalityFn
                (KappaFn ?EL
                    (and
                        (?REL @ARGS)
                        (equal ?EL
                            (ListOrderFn
                                (ListFn @ARGS) ?ARG))))) ?COUNT)))
Media.kif 2111-2120
(=>
    (exhaustiveAttribute ?ATTRCLASS @ROW)
    (not
        (exists (?EL)
            (and
                (instance ?EL ?ATTRCLASS)
                (not
                    (exists (?ATTR ?NUMBER)
                        (and
                            (equal ?EL ?ATTR)
                            (equal ?ATTR
                                (ListOrderFn
                                    (ListFn @ROW) ?NUMBER)))))))))
Merge.kif 521-533
(=>
    (inList ?ITEM ?LIST)
    (exists (?NUMBER)
        (equal
            (ListOrderFn ?LIST ?NUMBER) ?ITEM)))
Merge.kif 3049-3052
(=>
    (instance ?LIST UniqueList)
    (forall (?NUMBER1 ?NUMBER2)
        (=>
            (equal
                (ListOrderFn ?LIST ?NUMBER1)
                (ListOrderFn ?LIST ?NUMBER2))
            (equal ?NUMBER1 ?NUMBER2))))
Merge.kif 2846-2851
(=>
    (maxCardinality ?REL ?ARG ?COUNT)
    (exists (?EL @ARGS)
        (lessThanOrEqualTo
            (CardinalityFn
                (KappaFn ?EL
                    (and
                        (?REL @ARGS)
                        (equal ?EL
                            (ListOrderFn
                                (ListFn @ARGS) ?ARG))))) ?COUNT)))
Media.kif 2184-2193
(=>
    (minCardinality ?REL ?ARG ?COUNT)
    (exists (?EL @ARGS)
        (greaterThanOrEqualTo
            (CardinalityFn
                (KappaFn ?EL
                    (and
                        (?REL @ARGS)
                        (equal ?EL
                            (ListOrderFn
                                (ListFn @ARGS) ?ARG))))) ?COUNT)))
Media.kif 2147-2156

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(forall (@ROW ?ITEM)
    (equal
        (ListOrderFn
            (ListFn @ROW ?ITEM)
            (ListLengthFn
                (ListFn @ROW ?ITEM))) ?ITEM))
Merge.kif 2978-2982 对所有 @ROW 和 另一个 实体 (@ROW 和 那个 另外 实体) 的第 (@ROW 和 那个 另外 实体) 的长度 几个元素 equal 那个 另外 实体


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