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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NullSet
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

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

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


(=>
    (instance ?SET NullSet)
    (not
        (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