NonNullSet
|
|
appearance as argument number 1 |
(documentation NonNullSet ChineseLanguage "任何包含起码一个实例的 SetOrClass。") | chinese_format.kif 2311-2311 | |
(documentation NonNullSet EnglishLanguage "Any Set that has at least one element.") | Merge.kif 5529-5530 | |
(documentation NonNullSet JapaneseLanguage "少なくとも1つのインスタンスを含む任意の SetOrClass。") | japanese_format.kif 983-984 | |
(subclass NonNullSet Set) | Merge.kif 5527-5527 |
appearance as argument number 2 |
(termFormat ChineseLanguage NonNullSet "非空集") | domainEnglishFormat.kif 40821-40821 | |
(termFormat ChineseTraditionalLanguage NonNullSet "非空集") | domainEnglishFormat.kif 40820-40820 | |
(termFormat EnglishLanguage NonNullSet "non null set") | domainEnglishFormat.kif 40819-40819 |
antecedent |
(=> (instance ?SET NonNullSet) (exists (?INST) (element ?INST ?SET))) |
Merge.kif 5532-5535 |