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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ListFn
ListFn

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


(documentation ListFn ChineseLanguage "这是一个可以接受任何数量的参数,然后交出含有跟哪些参数完全 相同顺序的 Function。") chinese_format.kif 1962-1963
(documentation ListFn EnglishLanguage "A Function that takes any number of arguments and returns the List containing those arguments in exactly the same order.") Merge.kif 2793-2794
(domain ListFn 1 Entity) Merge.kif 2789-2789
(instance ListFn Function) Merge.kif 2787-2787
(instance ListFn VariableArityRelation) Merge.kif 2788-2788
(range ListFn List) Merge.kif 2791-2791

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


(format ChineseLanguage ListFn "(%*[,])") chinese_format.kif 261-261
(format EnglishLanguage ListFn "(%*[,])") english_format.kif 269-269
(termFormat ChineseLanguage ListFn "名单") domainEnglishFormat.kif 34597-34597
(termFormat ChineseLanguage ListFn "表列函数") chinese_format.kif 262-262
(termFormat ChineseTraditionalLanguage ListFn "名單") domainEnglishFormat.kif 34596-34596
(termFormat EnglishLanguage ListFn "list") domainEnglishFormat.kif 34595-34595

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


(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))
Merge.kif 470-474
(=>
    (and
        (defaultMaxValue ?R ?ARG ?N)
        (?R @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?N ?VAL) Likely))
Merge.kif 16912-16917
(=>
    (and
        (defaultMinValue ?R ?ARG ?N)
        (?R @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?VAL ?N) Likely))
Merge.kif 16897-16902
(=>
    (and
        (defaultValue ?R ?ARG ?N)
        (?R @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (equal ?N ?VAL) Likely))
Merge.kif 16927-16932
(=>
    (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 2108-2115
(=>
    (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 2095-2105
(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR ?CLASS))
Merge.kif 505-509
(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR Attribute))
Merge.kif 499-503
(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90))
Geography.kif 427-431
(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180))
Geography.kif 467-474
(=>
    (and
        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))
Merge.kif 2545-2550
(=>
    (and
        (maxValue ?R ?ARG ?N)
        (?R @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (greaterThan ?N ?VAL))
Merge.kif 16882-16887
(=>
    (and
        (minValue ?R ?ARG ?N)
        (?R @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (greaterThan ?VAL ?N))
Merge.kif 16867-16872
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?ATTR1)
        (contraryAttribute @ROW)
        (inList ?ATTR1
            (ListFn @ROW))
        (inList ?ATTR2
            (ListFn @ROW))
        (not
            (equal ?ATTR1 ?ATTR2)))
    (not
        (orientation ?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 15588-15596
(=>
    (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

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


(<=>
    (and
        (instance ?REL TotalValuedRelation)
        (instance ?REL Predicate))
    (exists (?VALENCE)
        (and
            (instance ?REL Relation)
            (valence ?REL ?VALENCE)
            (=>
                (forall (?NUMBER ?ELEMENT ?CLASS)
                    (=>
                        (and
                            (lessThan ?NUMBER ?VALENCE)
                            (domain ?REL ?NUMBER ?CLASS)
                            (equal ?ELEMENT
                                (ListOrderFn
                                    (ListFn @ROW) ?NUMBER)))
                        (instance ?ELEMENT ?CLASS)))
                (exists (?ITEM)
                    (?REL @ROW ?ITEM))))))
Merge.kif 2077-2094
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (instance
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 2854-2859
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 2861-2866
(=>
    (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 2095-2105
(=>
    (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 2077-2092
(=>
    (and
        (exactCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (equal
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2134-2147
(=>
    (and
        (maxCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (lessThanOrEqualTo
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2205-2218
(=>
    (and
        (minCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (greaterThanOrEqualTo
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2170-2183
(=>
    (and
        (valence ?REL ?NUMBER)
        (instance ?REL Predicate))
    (forall (@ROW)
        (=>
            (?REL @ROW)
            (equal
                (ListLengthFn
                    (ListFn @ROW)) ?NUMBER))))
Merge.kif 2904-2911
(=>
    (contraryAttribute @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Attribute)))
Merge.kif 464-468
(=>
    (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
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))
Merge.kif 2806-2811
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))
Merge.kif 2813-2822
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 575-579
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4502-4507
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?ELEMENT ?NUMBER) 0))))
Merge.kif 4509-4514
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (not
        (exists (?GREATER)
            (and
                (greaterThan ?GREATER ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?ELEMENT ?GREATER) 0)))))))
Merge.kif 4516-4524
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4575-4580
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?NUMBER ?ELEMENT) 0))))
Merge.kif 4582-4587
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (not
        (exists (?LESS)
            (and
                (lessThan ?LESS ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?LESS ?ELEMENT) 0)))))))
Merge.kif 4589-4597
(=>
    (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 293-300
(=>
    (exactCardinality ?REL ?ARG ?COUNT)
    (equal
        (CardinalityFn
            (KappaFn ?EL
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG))))) ?COUNT))
Media.kif 2123-2131
(=>
    (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
(=>
    (exhaustiveAttribute ?CLASS @ROW)
    (=>
        (equal ?ATTR1
            (ListOrderFn
                (ListFn @ROW) ?N1))
        (not
            (exists (?ATTR2 ?N2)
                (and
                    (equal ?ATTR1 ?ATTR2)
                    (not
                        (equal ?N1 ?N2)))))))
Merge.kif 535-545
(=>
    (exhaustiveAttribute ?CLASS @ROW)
    (forall (?ATTR1)
        (=>
            (instance ?ATTR1 ?CLASS)
            (exists (?ATTR2)
                (and
                    (inList ?ATTR2
                        (ListFn @ROW))
                    (equal ?ATTR1 ?ATTR2))))))
Merge.kif 511-519

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(forall (@ROW ?ITEM)
    (equal
        (ListLengthFn
            (ListFn @ROW ?ITEM))
        (SuccessorFn
            (ListLengthFn
                (ListFn @ROW)))))
Merge.kif 2893-2896
(forall (@ROW ?ITEM)
    (equal
        (ListOrderFn
            (ListFn @ROW ?ITEM)
            (ListLengthFn
                (ListFn @ROW ?ITEM))) ?ITEM))
Merge.kif 2898-2902
(forall (@ROW ?ITEM)
    (initialList
        (ListFn @ROW)
        (ListFn @ROW ?ITEM)))
Merge.kif 3039-3040


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners