| 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 2039-2041 | |
| (partition SetOrClass Set Class) | Merge.kif 2037-2037 | 集或类 详尽无遗地 partition 成 集合 和 类 |
| (subclass SetOrClass Abstract) | Merge.kif 2036-2036 | 集或类 是 抽象体 的 subclass |
| appearance as argument number 2 |
|
|
| (range ComplementFn SetOrClass) | Merge.kif 5189-5189 | 补集函数 的 range 是 集或类 的实例 |
| (range GeneralizedIntersectionFn SetOrClass) | Merge.kif 5210-5210 | 概括交集函数 的 range 是 集或类 的实例 |
| (range GeneralizedUnionFn SetOrClass) | Merge.kif 5199-5199 | 概括结合函数 的 range 是 集或类 的实例 |
| (range IntersectionFn SetOrClass) | Merge.kif 5168-5168 | 交集函数 的 range 是 集或类 的实例 |
| (range RelativeComplementFn SetOrClass) | Merge.kif 5179-5179 | 相对补集函数 的 range 是 集或类 的实例 |
| (range UnionFn SetOrClass) | Merge.kif 5142-5142 | 结合函数 的 range 是 集或类 的实例 |
| (rangeSubclass PowerSetFn SetOrClass) | Merge.kif 763-763 | 幂集函数 的所得值 是 集或类 的 subclass |
| (subclass Set SetOrClass) | Merge.kif 2056-2056 | 集合 是 集或类 的 subclass |
| (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) | Merge.kif 1574-1574 | 抽象体 分拆成不相交的 数量, 属性, 集或类, 关系, 和 命题 |
| 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 5219-5219 | 势函数 的 1 数量 是 结合 集或类 和 群体 的 instance |
|
|
|