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

Formal Language: 



KB Term:  Term intersection
English Word: 

  exactCardinality

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 2062-2065
(domain exactCardinality 1 Relation) Media.kif 2067-2067 The number 1 argument of exactCardinality is an instance of relation
(domain exactCardinality 2 Integer) Media.kif 2068-2068 The number 2 argument of exactCardinality is an instance of integer
(domain exactCardinality 3 Integer) Media.kif 2069-2069 The number 3 argument of exactCardinality is an instance of integer
(instance exactCardinality TernaryPredicate) Media.kif 2066-2066 exactCardinality is an instance of ternary predicate

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


(format ChineseLanguage exactCardinality "那只能是 %3 values 对于 %1 的参数 %2 ") domainEnglishFormat.kif 3339-3339
(format ChineseTraditionalLanguage exactCardinality "那只能是 %3 values 對於 %1 的參數 %2 ") domainEnglishFormat.kif 3338-3338
(format EnglishLanguage exactCardinality "there can be %3 values to argument %2 of %1") domainEnglishFormat.kif 3337-3337

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 2104-2111
(=>
    (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 2091-2101
(=>
    (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 2073-2088
(=>
    (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 2130-2143
(=>
    (exactCardinality ?REL ?ARG ?COUNT)
    (equal
        (CardinalityFn
            (KappaFn ?EL
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG))))) ?COUNT))
Media.kif 2119-2127


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