TreeView Knowledge Base Browser

appearance as argument number 1

(subclass NonNullSet Set)	Merge.kif 5647-5647	Non null set is a subclass of set
(documentation NonNullSet EnglishLanguage "Any Set that has at least one element.")	Merge.kif 5649-5650	Non null set is a subclass of set

appearance as argument number 2

(termFormat EnglishLanguage NonNullSet "non null set")	domainEnglishFormat.kif 40825-40825
(termFormat ChineseTraditionalLanguage NonNullSet "非空集")	domainEnglishFormat.kif 40826-40826
(termFormat ChineseLanguage NonNullSet "非空集")	domainEnglishFormat.kif 40827-40827

antecedent

(=>
    (instance ?SET NonNullSet)
    (exists (?INST)
        (element ?INST ?SET)))

If X is an instance of non null set, then there exists Y such that Y is an element of X