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 2131-2133 | |
(documentation SetOrClass JapaneseLanguage "Sets の SetOrClass と Classes。 例: elements または instances がある Abstract の任意のインスタンス。") | japanese_format.kif 419-420 | |
(partition SetOrClass Set Class) | Merge.kif 2129-2129 | Ensemble ou classe est compl�tement d�compos� en ensemble + classe |
(subclass SetOrClass Abstract) | Merge.kif 2128-2128 | Ensemble ou classe est une sous-classe de abstrait |
appearance as argument number 2 |
(range ComplementFn SetOrClass) | Merge.kif 5478-5478 | Le domaine de ComplementFn est une instance de ensemble ou classe |
(range GeneralizedIntersectionFn SetOrClass) | Merge.kif 5499-5499 | Le domaine de GeneralizedIntersectionFn est une instance de ensemble ou classe |
(range GeneralizedUnionFn SetOrClass) | Merge.kif 5488-5488 | Le domaine de GeneralizedUnionFn est une instance de ensemble ou classe |
(range IntersectionFn SetOrClass) | Merge.kif 5457-5457 | Le domaine de IntersectionFn est une instance de ensemble ou classe |
(range RelativeComplementFn SetOrClass) | Merge.kif 5468-5468 | Le domaine de RelativeComplementFn est une instance de ensemble ou classe |
(range UnionFn SetOrClass) | Merge.kif 5431-5431 | Le domaine de UnionFn est une instance de ensemble ou classe |
(rangeSubclass PowerSetFn SetOrClass) | Merge.kif 798-798 | Les valeurs retourn�es par PowerSetFn sont des sous-classes de ensemble ou classe |
(subclass Class SetOrClass) | Merge.kif 2136-2136 | Classe est une sous-classe de ensemble ou classe |
(subclass Set SetOrClass) | Merge.kif 2148-2148 | Ensemble est une sous-classe de ensemble ou classe |
(termFormat ChineseLanguage SetOrClass "集或类") | chinese_format.kif 885-885 | |
(termFormat EnglishLanguage SetOrClass "set or class") | english_format.kif 972-972 | |
(termFormat FrenchLanguage SetOrClass "ensemble ou classe") | french_format.kif 561-561 | |
(termFormat Hindi SetOrClass "samUha yaa varga") | terms-hindi.txt 91-91 | |
(termFormat ItalianLanguage SetOrClass "InsiemeOClasse") | terms-it.txt 94-94 | |
(termFormat JapaneseLanguage SetOrClass "同じセットまたはクラス") | japanese_format.kif 2246-2246 | |
(termFormat PortugueseLanguage SetOrClass "Conjunto ou Classe") | portuguese_format.kif 513-513 | |
(termFormat cz SetOrClass "set or class") | terms-cz.txt 128-128 | |
(termFormat ro SetOrClass "mulþime sau clasã") | relations-ro.kif 582-582 | |
(termFormat tg SetOrClass "isang huwego o klase") | terms-tg.txt 95-95 |
appearance as argument number 3 |
antecedent |
(=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT)) |
Government.kif 446-450 |
|
consequent |
statement |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5508-5508 | Le nombre 1 argument de CardinalityFn est une instance de l' union de ensemble ou classe et collection |