MutuallyDisjointClass concept from the SUMO knowledge base

Entity > Abstract > Class > MutuallyDisjointClass

Next Class: PairwiseDisjointClass Up: Class Previous Class: Set

MutuallyDisjointClass	*documentation* A Class of Classes is a MutuallyDisjointClass just in case there exists no instance of an instance of the original Class which is an instance of all of the instances of the original Class
	has axiom (=> (instance ?CLASS MutuallyDisjointClass) (equal (GeneralizedIntersectionFn ?CLASS) NullSet))
	is a kind of Class
Class	*is first domain* of** AbstractionFn
	*is first domain* of** ComplementFn
	*is first domain* of** disjoint
	*is first domain* of** disjointDecomposition
	*is first domain* of** exhaustiveDecomposition
	*is first domain* of** GeneralizedIntersectionFn
	*is first domain* of** GeneralizedUnionFn
	*is first domain* of** IntersectionFn
	*is first domain* of** RelativeComplementFn
	*is first domain* of** subclass
	*is first domain* of** UnionFn
	*is second domain* of** closedOn
	*is second domain* of** disjoint
	*is second domain* of** equivalenceRelationOn
	*is second domain* of** instance
	*is second domain* of** IntersectionFn
	*is second domain* of** irreflexiveOn
	*is second domain* of** partialOrderingOn
	*is second domain* of** range
	*is second domain* of** rangeSubclass
	*is second domain* of** reflexiveOn
	*is second domain* of** RelativeComplementFn
	*is second domain* of** subclass
	*is second domain* of** totalOrderingOn
	*is second domain* of** trichotomizingOn
	*is second domain* of** UnionFn
	*is third domain* of** domain
	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical


MutuallyDisjointClass
subject			fact