Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

kong1 ji2 he2 (NullSet)

The Set that contains no instances.

Ontology

SUMO / SET/CLASS-THEORY

Class(es)

ji2 he2
is instance of
  kong1 ji2 he2  

Related WordNet synsets

null set
a set that is empty; a set with no members
null set is kind of (all)...   null set is kind of...  
See more related synsets on a separate page.

Axioms (1)

There doesn't exist element so_that_not element shi4 kong1 ji2 he2 de5 yuan2 su4. 
(not
      (exists
            (?ELEMENT)
            (element ?ELEMENT NullSet)))