NullSet concept from the SUMO knowledge base

Next Set: FiniteSet Up: Set

NullSet	*documentation* The Set that contains no instances
	has axiom (=> (instance ?CLASS MutuallyDisjointClass) (equal (GeneralizedIntersectionFn ?CLASS) NullSet))
	*is an instance* of** Set
Set	*is first domain* of** subset
	*is second domain* of** element
	*is second domain* of** subset
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical