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 5424-5424
(subclass NullSet Set) Merge.kif 5422-5422 subclass NullSet and Set

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


(termFormat ChineseLanguage NullSet "空集") domainEnglishFormat.kif 41412-41412
(termFormat ChineseTraditionalLanguage NullSet "空集") domainEnglishFormat.kif 41411-41411
(termFormat EnglishLanguage NullSet "null set") domainEnglishFormat.kif 41410-41410

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


(=>
    (instance ?SET NullSet)
    (not
        (exists (?INST)
            (element ?INST ?SET))))
Merge.kif 5426-5430


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