| 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 2152-2154 | |
| (domain minCardinality 1 Relation) | Media.kif 2156-2156 | The number 1 argument of min cardinality is an instance of relation |
| (domain minCardinality 2 Integer) | Media.kif 2157-2157 | The number 2 argument of min cardinality is an instance of integer |
| (domain minCardinality 3 Integer) | Media.kif 2158-2158 | The number 3 argument of min cardinality is an instance of integer |
| (instance minCardinality TernaryPredicate) | Media.kif 2155-2155 | min cardinality is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage minCardinality "那里至少有 %3 values 对于 %1 的参数 %2 ") | domainEnglishFormat.kif 3856-3856 | |
| (format ChineseTraditionalLanguage minCardinality "那裡至少有 %3 values 對於 %1 的參數 %2 ") | domainEnglishFormat.kif 3855-3855 | |
| (format EnglishLanguage minCardinality "there are at least %3 values to argument %2 of %1") | domainEnglishFormat.kif 3854-3854 | |
| (termFormat EnglishLanguage minCardinality "min cardinality") | domainEnglishFormat.kif 65928-65928 |
| antecedent |
|
|
| (=> (and (minCardinality ?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) (greaterThanOrEqualTo (CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2174-2187 |
|
| (=> (minCardinality ?REL ?ARG ?COUNT) (exists (?EL @ARGS) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT))) |
Media.kif 2161-2170 |
|
|
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