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

Formal Language: 



KB Term:  Term intersection
English Word: 

  minCardinality

Sigma KEE - minCardinality
minCardinality

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


(documentation minCardinality EnglishLanguage "This relation expresses the minimum number of values that a particular argument to a relation can have if all other values remain fixed.") Media.kif 2149-2151
(domain minCardinality 1 Relation) Media.kif 2153-2153
(domain minCardinality 2 Integer) Media.kif 2154-2154
(domain minCardinality 3 Integer) Media.kif 2155-2155
(instance minCardinality TernaryPredicate) Media.kif 2152-2152

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


(format EnglishLanguage minCardinality "there are at least %3 values to argument %2 of %1") domainEnglishFormat.kif 975-975

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


(=>
    (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
(=>
    (minCardinality ?REL ?ARG ?COUNT)
    (greaterThanOrEqualTo
        (CardinalityFn
            (KappaFn ?EL
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG))))) ?COUNT))
Media.kif 2158-2166


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