| appearance as argument number 1 |
|
| (documentation exactCardinality EnglishLanguage "This relation expresses the number of values that a particular argument to a relation can have if all other values remain fixed.") | Media.kif 2066-2069 | |
| (domain exactCardinality 1 Relation) | Media.kif 2071-2071 | |
| (domain exactCardinality 2 Integer) | Media.kif 2072-2072 | |
| (domain exactCardinality 3 Integer) | Media.kif 2073-2073 | |
| (instance exactCardinality TernaryPredicate) | Media.kif 2070-2070 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage exactCardinality "那只能是 %3 values 对于 %1 的参数 %2 ") | domainEnglishFormat.kif 3335-3335 | |
| (format ChineseTraditionalLanguage exactCardinality "那只能是 %3 values 對於 %1 的參數 %2 ") | domainEnglishFormat.kif 3334-3334 | |
| (format EnglishLanguage exactCardinality "there can be %3 values to argument %2 of %1") | domainEnglishFormat.kif 3333-3333 |
| antecedent |
|
|
| (=> (and (exactCardinality ?REL ?ARG 1) (instance ?REL Predicate) (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG)) (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG))) (equal ?X ?Y)) |
Media.kif 2108-2115 | |
| (=> (and (exactCardinality ?REL ?ARG 1) (instance ?REL Predicate) (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG))) (not (exists (?Y) (and (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG)) (not (equal ?X ?Y)))))) |
Media.kif 2095-2105 | |
| (=> (and (exactCardinality ?REL ?ARG 1) (instance ?REL Predicate)) (exists (?X @ARGS) (and (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG)) (not (exists (?Y) (and (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG)) (not (equal ?X ?Y)))))))) |
Media.kif 2077-2092 | |
| (=> (and (exactCardinality ?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) (equal (CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2134-2147 | |
| (=> (exactCardinality ?REL ?ARG ?COUNT) (equal (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT)) |
Media.kif 2123-2131 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners