MutuallyDisjointClass Comparison Table

Entity > Abstract > Class > MutuallyDisjointClass

Next Class: PairwiseDisjointClass Up: Class Previous Class: Set

MutuallyDisjointClass comparison table

Subject documentation is a kind of have axiom

Class Class generalizes Set. Classes, like Sets, are collections of things. Accordingly, the notion of membership is generalized as well - a member of a Class is an instance the Class. Classes can differ from Sets in two important respects. First, Classes that are not explicitly identified as Sets are not assumed to be extensional. That is, distinct Classes might well have exactly the same instances. Second, Classes typically have an associated `condition' that determines the instances of the Class. So, for example, the condition `human' determines the Class of Humans. Note that some Classes might satisfy their own condition (e.g., the Class of Abstract things is Abstract) and hence be instances of themselves Abstract
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))

MutuallyDisjointClass 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 Class
(=>
(instance ?CLASS MutuallyDisjointClass)
(equal (GeneralizedIntersectionFn ?CLASS) NullSet))

Subject	documentation	is a kind of	have axiom
Class	Class generalizes Set. Classes, like Sets, are collections of things. Accordingly, the notion of membership is generalized as well - a member of a Class is an instance the Class. Classes can differ from Sets in two important respects. First, Classes that are not explicitly identified as Sets are not assumed to be extensional. That is, distinct Classes might well have exactly the same instances. Second, Classes typically have an associated `condition' that determines the instances of the Class. So, for example, the condition `human' determines the Class of Humans. Note that some Classes might satisfy their own condition (e.g., the Class of Abstract things is Abstract) and hence be instances of themselves	Abstract	(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
MutuallyDisjointClass	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	Class	(=> (instance ?CLASS MutuallyDisjointClass) (equal (GeneralizedIntersectionFn ?CLASS) NullSet))

Next Class: PairwiseDisjointClass Up: Class Previous Class: Set