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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - exactCardinality
exactCardinality

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


(documentation exactCardinality EnglishLanguage "This relation expresses the number of values that a particular argument to a relation can have if all other values remain fixed.") Media.kif 2064-2067
(domain exactCardinality 1 Relation) Media.kif 2069-2069 The number 1 argument of exact cardinality is an instance of relation
(domain exactCardinality 2 Integer) Media.kif 2070-2070 The number 2 argument of exact cardinality is an instance of integer
(domain exactCardinality 3 Integer) Media.kif 2071-2071 The number 3 argument of exact cardinality is an instance of integer
(instance exactCardinality TernaryPredicate) Media.kif 2068-2068 exact cardinality is an instance of ternary predicate

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


(format ChineseLanguage exactCardinality "那只能是 %3 values 对于 %1 的参数 %2 ") domainEnglishFormat.kif 3334-3334
(format ChineseTraditionalLanguage exactCardinality "那只能是 %3 values 對於 %1 的參數 %2 ") domainEnglishFormat.kif 3333-3333
(format EnglishLanguage exactCardinality "there can be %3 values to argument %2 of %1") domainEnglishFormat.kif 3332-3332
(termFormat EnglishLanguage exactCardinality "exact cardinality") domainEnglishFormat.kif 65824-65824

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


(=>
    (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 2106-2113
(=>
    (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 2093-2103
(=>
    (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 2075-2090
(=>
    (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 2137-2150
(=>
    (exactCardinality ?REL ?ARG ?COUNT)
    (exists (?EL @ARGS)
        (equal
            (CardinalityFn
                (KappaFn ?EL
                    (and
                        (?REL @ARGS)
                        (equal ?EL
                            (ListOrderFn
                                (ListFn @ARGS) ?ARG))))) ?COUNT)))
Media.kif 2125-2134


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