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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 2191-2193
(domain maxCardinality 1 Relation) Media.kif 2195-2195 maxCardinality の数値 1 引数は 関係instance では
(domain maxCardinality 2 Integer) Media.kif 2196-2196 maxCardinality の数値 2 引数は 整数instance では
(domain maxCardinality 3 Integer) Media.kif 2197-2197 maxCardinality の数値 3 引数は 整数instance では
(instance maxCardinality TernaryPredicate) Media.kif 2194-2194 maxCardinality3進述語instance では

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


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

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


(=>
    (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 2212-2225
(=>
    (maxCardinality ?REL ?ARG ?COUNT)
    (exists (?EL @ARGS)
        (lessThanOrEqualTo
            (CardinalityFn
                (KappaFn ?EL
                    (and
                        (?REL @ARGS)
                        (equal ?EL
                            (ListOrderFn
                                (ListFn @ARGS) ?ARG))))) ?COUNT)))
Media.kif 2200-2209


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