SetOrClass | ![]() |
appearance as argument number 1 |
![]() |
(documentation SetOrClass ChineseLanguage "这是 Set 和 Class 的 SetOrClass,也就是说 任何 Abstract 有 element 或 instance的实例。") | chinese_format.kif 1804-1805 | |
(documentation SetOrClass EnglishLanguage "The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.") | Merge.kif 2044-2046 | |
(partition SetOrClass Set Class) | Merge.kif 2042-2042 | |
(subclass SetOrClass Abstract) | Merge.kif 2041-2041 |
appearance as argument number 2 |
![]() |
(range ComplementFn SetOrClass) | Merge.kif 5202-5202 | |
(range GeneralizedIntersectionFn SetOrClass) | Merge.kif 5223-5223 | |
(range GeneralizedUnionFn SetOrClass) | Merge.kif 5212-5212 | |
(range IntersectionFn SetOrClass) | Merge.kif 5181-5181 | |
(range RelativeComplementFn SetOrClass) | Merge.kif 5192-5192 | |
(range UnionFn SetOrClass) | Merge.kif 5155-5155 | |
(rangeSubclass PowerSetFn SetOrClass) | Merge.kif 764-764 | |
(subclass Set SetOrClass) | Merge.kif 2061-2061 | |
(termFormat ChineseLanguage SetOrClass "集或类") | chinese_format.kif 885-885 | |
(termFormat EnglishLanguage SetOrClass "set or class") | english_format.kif 977-977 |
appearance as argument number 3 |
![]() |
appearance as argument number 4 |
![]() |
(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition List) | Merge.kif 1579-1579 |
antecedent |
![]() |
(=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT)) |
Government.kif 435-439 |
consequent |
![]() |
(=> (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 | |
(=> (and (maxCardinality ?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) (lessThanOrEqualTo (CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2205-2218 | |
(=> (and (minCardinality ?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) (greaterThanOrEqualTo (CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2170-2183 | |
(=> (subclass ?X ?Y) (and (instance ?X SetOrClass) (instance ?Y SetOrClass))) |
Merge.kif 136-140 |
statement |
![]() |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5232-5232 |
![]() |
![]() |