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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProvencalLanguage

 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 2189-2191
(domain maxCardinality 1 Relation) Media.kif 2193-2193 Il numero 1 argomenti di maxCardinality è un istanza di Relazione
(domain maxCardinality 2 Integer) Media.kif 2194-2194 Il numero 2 argomenti di maxCardinality è un istanza di NumeroIntero
(domain maxCardinality 3 Integer) Media.kif 2195-2195 Il numero 3 argomenti di maxCardinality è un istanza di NumeroIntero
(instance maxCardinality TernaryPredicate) Media.kif 2192-2192 maxCardinality è un' istanza di PredicatoTernario

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


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

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 2210-2223
(=>
    (maxCardinality ?REL ?ARG ?COUNT)
    (exists (?EL @ARGS)
        (lessThanOrEqualTo
            (CardinalityFn
                (KappaFn ?EL
                    (and
                        (?REL @ARGS)
                        (equal ?EL
                            (ListOrderFn
                                (ListFn @ARGS) ?ARG))))) ?COUNT)))		 Media.kif 2198-2207


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