Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonNullSet
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 5435-5436
(subclass NonNullSet Set) Merge.kif 5433-5433 subclass NonNullSet and Set

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage NonNullSet "非空集") domainEnglishFormat.kif 40806-40806
(termFormat ChineseTraditionalLanguage NonNullSet "非空集") domainEnglishFormat.kif 40805-40805
(termFormat EnglishLanguage NonNullSet "non null set") domainEnglishFormat.kif 40804-40804

antecedent
-------------------------


(=>
    (instance ?SET NonNullSet)
    (exists (?INST)
        (element ?INST ?SET)))
Merge.kif 5438-5441


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners