SetOrClass(InsiemeOClasse) |
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 | InsiemeOClasse è esaustivamente partizionato in Insieme + Classe |
(subclass SetOrClass Abstract) | Merge.kif 2128-2128 | InsiemeOClasse è una sottoclasse di Astratto |
appearance as argument number 2 |
appearance as argument number 3 |
antecedent |
(=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT)) |
Government.kif 410-414 |
|
consequent |
statement |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5509-5509 | Il numero 1 argomenti di CardinalityFn è un istanza di l' unione di InsiemeOClasse e InsiemeConcreto |