Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  maxCardinality

 Sigma KEE - maxCardinality
maxCardinality

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


(documentation maxCardinality EnglishLanguage "This relation expresses the maximum number of values that a particular argument to a relation can have if all other values remain fixed.") Media.kif 2136-2138
(instance maxCardinality TernaryPredicate) Media.kif 2139-2139 max cardinality is an instance of ternary predicate
(domain maxCardinality 1 Relation) Media.kif 2140-2140 The number 1 argument of max cardinality is an instance of relation
(domain maxCardinality 2 Integer) Media.kif 2141-2141 The number 2 argument of max cardinality is an instance of integer
(domain maxCardinality 3 Integer) Media.kif 2142-2142 The number 3 argument of max cardinality is an instance of integer

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


(format EnglishLanguage maxCardinality "there can be at most %3 values to argument %2 of %1") domainEnglishFormat.kif 3826-3826
(format ChineseTraditionalLanguage maxCardinality "那裡能有最多 %3 values 對於 1% 的 參數 2% ") domainEnglishFormat.kif 3827-3827
(format ChineseLanguage maxCardinality "那里能有最多 %3 values 对于 1% 的 参数 2% ") domainEnglishFormat.kif 3828-3828
(termFormat EnglishLanguage maxCardinality "max cardinality") domainEnglishFormat.kif 65888-65888

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


(=>
    (maxCardinality ?REL ?ARG ?COUNT)
    (exists (?EL @ARGS)
        (lessThanOrEqualTo
            (CardinalityFn
                (KappaFn ?EL
                    (and
                        (?REL @ARGS)
                        (equal ?EL
                            (ListOrderFn
                                (ListFn @ARGS) ?ARG))))) ?COUNT)))		 Media.kif 2145-2154 If there can be at most X values to argument Y of Z, then there exist W and @ARGS such that the number of instances in the class described by W is less than or equal to X
(=>
    (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 2157-2170 If there can be at most X values to argument Y of Z and Z is an instance of predicate, then there exist W, V and @ARGS such that W is an instance of set or class and Z @ARGS and equal V and T element of (@ARGS)V is an instance of W and the number of instances in W is less than or equal to X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners