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 2142-2144 | |
(documentation SetOrClass JapaneseLanguage "Sets の SetOrClass と Classes。 例: elements または instances がある Abstract の任意のインスタンス。") | japanese_format.kif 419-420 | |
(partition SetOrClass Set Class) | Merge.kif 2140-2140 | 集或类 详尽无遗地 partition 成 集合 和 类 |
(subclass SetOrClass Abstract) | Merge.kif 2139-2139 | 集或类 是 抽象体 的 subclass |
appearance as argument number 2 |
![]() |
(range ComplementFn SetOrClass) | Merge.kif 5503-5503 | 补集函数 的 range 是 集或类 的实例 |
(range GeneralizedIntersectionFn SetOrClass) | Merge.kif 5524-5524 | 概括交集函数 的 range 是 集或类 的实例 |
(range GeneralizedUnionFn SetOrClass) | Merge.kif 5513-5513 | 概括结合函数 的 range 是 集或类 的实例 |
(range IntersectionFn SetOrClass) | Merge.kif 5482-5482 | 交集函数 的 range 是 集或类 的实例 |
(range RelativeComplementFn SetOrClass) | Merge.kif 5493-5493 | 相对补集函数 的 range 是 集或类 的实例 |
(range UnionFn SetOrClass) | Merge.kif 5456-5456 | 结合函数 的 range 是 集或类 的实例 |
(rangeSubclass PowerSetFn SetOrClass) | Merge.kif 791-791 | 幂集函数 的所得值 是 集或类 的 subclass |
(subclass Class SetOrClass) | Merge.kif 2147-2147 | 类 是 集或类 的 subclass |
(subclass Set SetOrClass) | Merge.kif 2159-2159 | 集合 是 集或类 的 subclass |
(termFormat ChineseLanguage SetOrClass "集或类") | chinese_format.kif 885-885 | 集合 是 集或类 的 subclass |
(termFormat EnglishLanguage SetOrClass "set or class") | english_format.kif 972-972 | 集合 是 集或类 的 subclass |
(termFormat FrenchLanguage SetOrClass "ensemble ou classe") | french_format.kif 561-561 | 集合 是 集或类 的 subclass |
(termFormat Hindi SetOrClass "samUha yaa varga") | terms-hindi.txt 91-91 | 集合 是 集或类 的 subclass |
(termFormat ItalianLanguage SetOrClass "InsiemeOClasse") | terms-it.txt 94-94 | 集合 是 集或类 的 subclass |
(termFormat JapaneseLanguage SetOrClass "同じセットまたはクラス") | japanese_format.kif 2246-2246 | 集合 是 集或类 的 subclass |
(termFormat PortugueseLanguage SetOrClass "Conjunto ou Classe") | portuguese_format.kif 513-513 | 集合 是 集或类 的 subclass |
(termFormat cz SetOrClass "set or class") | terms-cz.txt 128-128 | 集合 是 集或类 的 subclass |
(termFormat de SetOrClass "Menge oder Kategorie") | terms-de.txt 387-387 | 集合 是 集或类 的 subclass |
(termFormat ro SetOrClass "mulþime sau clasã") | relations-ro.kif 582-582 | 集合 是 集或类 的 subclass |
(termFormat tg SetOrClass "isang huwego o klase") | terms-tg.txt 95-95 | 集合 是 集或类 的 subclass |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
(=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT)) |
Government.kif 410-414 |
consequent |
![]() |
(=> (and (exactCardinality ?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) (equal (CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2139-2152 | |
(=> (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 2212-2225 | |
(=> (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 2176-2189 |
![]() |
![]() |