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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - NullSet

appearance as argument number 1

(documentation NullSet ChineseLanguage "任何没有实例的 SetOrClass") chinese_format.kif 2310-2310
(documentation NullSet EnglishLanguage "Any Set that contains no elements.") Merge.kif 5518-5518
(documentation NullSet JapaneseLanguage "インスタンスを含まない任意の SetOrClass。") japanese_format.kif 982-982
(subclass NullSet Set) Merge.kif 5516-5516 空集集合subclass

appearance as argument number 2

(termFormat ChineseLanguage NullSet "空集") domainEnglishFormat.kif 41427-41427
(termFormat ChineseTraditionalLanguage NullSet "空集") domainEnglishFormat.kif 41426-41426
(termFormat EnglishLanguage NullSet "null set") domainEnglishFormat.kif 41425-41425


    (instance ?SET NullSet)
        (exists (?INST)
            (element ?INST ?SET))))
Merge.kif 5520-5524

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