*** Test: Everything is an instance of something...
 not is not an instance of anything.
 exists is not an instance of anything.
 <=> is not an instance of anything.
 => is not an instance of anything.

 *** Test: Every class hierarchy terminates with Entity...
 Class hierarchy from Entity does not lead to Entity. Complete path is NIL.
 Class hierarchy from IntentionalRelation does not lead to Entity. Complete path is NIL.
 Class hierarchy from ObjectAttitude does not lead to Entity. Complete path is (IntentionalRelation).
 Class hierarchy from InheritableRelation does not lead to Entity. Complete path is NIL.

 *** Test: Everything in a disjointDecomposition is also a subclass of the thing decomposed.

 *** Test: ?x in (domain ?x <num> <SetOrClass>) is a Relation.

 *** Test: ?x in (domain <Relation> <num> ?x) isn't one of the other classes that are
 ***       in the disjointDecomposition of Abstract.
 (domain monetaryValue 2 CurrencyMeasure) but CurrencyMeasure does not name a SetOrClass, it is a Quantity.
 (domain AssignmentFn 1 Function) but Function does not name a SetOrClass, it is a Relation.
 (domain RealNumberFn 1 Number) but Number does not name a SetOrClass, it is a Quantity.
 (domain IntegerSquareRootFn 1 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain rangeSubclass 1 Function) but Function does not name a SetOrClass, it is a Relation.
 (domain before 2 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain before 1 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain LogFn 2 PositiveInteger) but PositiveInteger does not name a SetOrClass, it is a Quantity.
 (domain LogFn 1 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain temporallyBetween 3 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain temporallyBetween 2 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain temporallyBetween 1 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain EditionFn 2 PositiveInteger) but PositiveInteger does not name a SetOrClass, it is a Quantity.
 (domain MaxFn 2 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain MaxFn 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain MinFn 2 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain MinFn 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain pathLength 2 PositiveInteger) but PositiveInteger does not name a SetOrClass, it is a Quantity.
 (domain frequency 2 TimeDuration) but TimeDuration does not name a SetOrClass, it is a Quantity.
 (domain NumeratorFn 1 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain arcWeight 2 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain MeasureFn 2 UnitOfMeasure) but UnitOfMeasure does not name a SetOrClass, it is a Quantity.
 (domain MeasureFn 1 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain WhereFn 2 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain ExtensionFn 1 Attribute) but Attribute does not name a SetOrClass, it is a Attribute.
 (domain RationalNumberFn 1 Number) but Number does not name a SetOrClass, it is a Quantity.
 (domain EndFn 1 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain ReciprocalFn 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain KiloFn 1 UnitOfMeasure) but UnitOfMeasure does not name a SetOrClass, it is a Quantity.
 (domain starts 2 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain starts 1 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain SignumFn 1 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain inverse 2 BinaryRelation) but BinaryRelation does not name a SetOrClass, it is a Relation.
 (domain inverse 1 BinaryRelation) but BinaryRelation does not name a SetOrClass, it is a Relation.
 (domain MegaFn 1 UnitOfMeasure) but UnitOfMeasure does not name a SetOrClass, it is a Quantity.
 (domain conditionalProbability 3 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain containsInformation 2 Proposition) but Proposition does not name a SetOrClass, it is a Proposition.
 (domain SeriesVolumeFn 2 PositiveInteger) but PositiveInteger does not name a SetOrClass, it is a Quantity.
 (domain GigaFn 1 UnitOfMeasure) but UnitOfMeasure does not name a SetOrClass, it is a Quantity.
 (domain RoundFn 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain TeraFn 1 UnitOfMeasure) but UnitOfMeasure does not name a SetOrClass, it is a Quantity.
 (domain finishes 2 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain finishes 1 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain SineFn 1 PlaneAngleMeasure) but PlaneAngleMeasure does not name a SetOrClass, it is a Quantity.
 (domain MilliFn 1 UnitOfMeasure) but UnitOfMeasure does not name a SetOrClass, it is a Quantity.
 (domain beforeOrEqual 2 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain beforeOrEqual 1 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain lessThan 2 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain lessThan 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain TangentFn 1 PlaneAngleMeasure) but PlaneAngleMeasure does not name a SetOrClass, it is a Quantity.
 (domain MicroFn 1 UnitOfMeasure) but UnitOfMeasure does not name a SetOrClass, it is a Quantity.
 (domain trichotomizingOn 1 BinaryRelation) but BinaryRelation does not name a SetOrClass, it is a Relation.
 (domain earlier 2 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain earlier 1 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain NanoFn 1 UnitOfMeasure) but UnitOfMeasure does not name a SetOrClass, it is a Quantity.
 (domain greaterThan 2 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain greaterThan 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain identityElement 1 BinaryFunction) but BinaryFunction does not name a SetOrClass, it is a Relation.
 (domain PicoFn 1 UnitOfMeasure) but UnitOfMeasure does not name a SetOrClass, it is a Quantity.
 (domain inList 2 List) but List does not name a SetOrClass, it is a Relation.
 (domain lessThanOrEqualTo 2 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain lessThanOrEqualTo 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain IntervalFn 2 ConstantQuantity) but ConstantQuantity does not name a SetOrClass, it is a Quantity.
 (domain IntervalFn 1 ConstantQuantity) but ConstantQuantity does not name a SetOrClass, it is a Quantity.
 (domain temporallyBetweenOrEqual 3 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain temporallyBetweenOrEqual 2 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain temporallyBetweenOrEqual 1 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain greaterThanOrEqualTo 2 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain greaterThanOrEqualTo 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain PeriodicalIssueFn 2 PositiveInteger) but PositiveInteger does not name a SetOrClass, it is a Quantity.
 (domain transactionAmount 2 CurrencyMeasure) but CurrencyMeasure does not name a SetOrClass, it is a Quantity.
 (domain holds 1 Relation) but Relation does not name a SetOrClass, it is a Relation.
 (domain identicalListItems 2 List) but List does not name a SetOrClass, it is a Relation.
 (domain identicalListItems 1 List) but List does not name a SetOrClass, it is a Relation.
 (domain TemporalCompositionFn 1 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain overlapsTemporally 2 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain overlapsTemporally 1 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain PremisesFn 1 Argument) but Argument does not name a SetOrClass, it is a Proposition.
 (domain during 2 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain during 1 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain conclusion 2 Proposition) but Proposition does not name a SetOrClass, it is a Proposition.
 (domain conclusion 1 Argument) but Argument does not name a SetOrClass, it is a Proposition.
 (domain MagnitudeFn 1 ConstantQuantity) but ConstantQuantity does not name a SetOrClass, it is a Quantity.
 (domain true 2 TruthValue) but TruthValue does not name a SetOrClass, it is a Attribute.
 (domain meetsTemporally 2 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain meetsTemporally 1 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain PerFn 2 ConstantQuantity) but ConstantQuantity does not name a SetOrClass, it is a Quantity.
 (domain PerFn 1 ConstantQuantity) but ConstantQuantity does not name a SetOrClass, it is a Quantity.
 (domain DensityFn 2 VolumeMeasure) but VolumeMeasure does not name a SetOrClass, it is a Quantity.
 (domain DensityFn 1 MassMeasure) but MassMeasure does not name a SetOrClass, it is a Quantity.
 (domain MultiplicationFn 2 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain MultiplicationFn 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain SpeedFn 2 TimeDuration) but TimeDuration does not name a SetOrClass, it is a Quantity.
 (domain SpeedFn 1 LengthMeasure) but LengthMeasure does not name a SetOrClass, it is a Quantity.
 (domain VelocityFn 4 DirectionalAttribute) but DirectionalAttribute does not name a SetOrClass, it is a Attribute.
 (domain VelocityFn 2 TimeDuration) but TimeDuration does not name a SetOrClass, it is a Quantity.
 (domain VelocityFn 1 LengthMeasure) but LengthMeasure does not name a SetOrClass, it is a Quantity.
 (domain SquareRootFn 1 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain premise 2 Proposition) but Proposition does not name a SetOrClass, it is a Proposition.
 (domain premise 1 Argument) but Argument does not name a SetOrClass, it is a Proposition.
 (domain closedOn 1 Function) but Function does not name a SetOrClass, it is a Relation.
 (domain reflexiveOn 1 BinaryRelation) but BinaryRelation does not name a SetOrClass, it is a Relation.
 (domain measure 2 PhysicalQuantity) but PhysicalQuantity does not name a SetOrClass, it is a Quantity.
 (domain direction 2 DirectionalAttribute) but DirectionalAttribute does not name a SetOrClass, it is a Attribute.
 (domain FutureFn 1 TimePosition) but TimePosition does not name a SetOrClass, it is a Quantity.
 (domain faces 2 DirectionalAttribute) but DirectionalAttribute does not name a SetOrClass, it is a Attribute.
 (domain date 2 Day) but Day does not name a SetOrClass, it is a Quantity.
 (domain irreflexiveOn 1 BinaryRelation) but BinaryRelation does not name a SetOrClass, it is a Relation.
 (domain partialOrderingOn 1 BinaryRelation) but BinaryRelation does not name a SetOrClass, it is a Relation.
 (domain YearFn 1 Integer) but Integer does not name a SetOrClass, it is a Quantity.
 (domain realization 2 Proposition) but Proposition does not name a SetOrClass, it is a Proposition.
 (domain totalOrderingOn 1 BinaryRelation) but BinaryRelation does not name a SetOrClass, it is a Relation.
 (domain valence 2 PositiveInteger) but PositiveInteger does not name a SetOrClass, it is a Quantity.
 (domain valence 1 Relation) but Relation does not name a SetOrClass, it is a Relation.
 (domain equivalenceRelationOn 1 BinaryRelation) but BinaryRelation does not name a SetOrClass, it is a Relation.
 (domain consistent 2 Proposition) but Proposition does not name a SetOrClass, it is a Proposition.
 (domain consistent 1 Proposition) but Proposition does not name a SetOrClass, it is a Proposition.
 (domain subAttribute 2 Attribute) but Attribute does not name a SetOrClass, it is a Attribute.
 (domain subAttribute 1 Attribute) but Attribute does not name a SetOrClass, it is a Attribute.
 (domain distributes 2 BinaryFunction) but BinaryFunction does not name a SetOrClass, it is a Relation.
 (domain distributes 1 BinaryFunction) but BinaryFunction does not name a SetOrClass, it is a Relation.
 (domain DayFn 1 PositiveRealNumber) but PositiveRealNumber does not name a SetOrClass, it is a Quantity.
 (domain successorAttribute 2 Attribute) but Attribute does not name a SetOrClass, it is a Attribute.
 (domain successorAttribute 1 Attribute) but Attribute does not name a SetOrClass, it is a Attribute.
 (domain age 2 TimeDuration) but TimeDuration does not name a SetOrClass, it is a Quantity.
 (domain subProposition 2 Proposition) but Proposition does not name a SetOrClass, it is a Proposition.
 (domain subProposition 1 Proposition) but Proposition does not name a SetOrClass, it is a Proposition.
 (domain holdsDuring 1 TimePosition) but TimePosition does not name a SetOrClass, it is a Quantity.
 (domain AdditionFn 2 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain AdditionFn 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain duration 2 TimeDuration) but TimeDuration does not name a SetOrClass, it is a Quantity.
 (domain duration 1 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain TimeIntervalFn 2 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain TimeIntervalFn 1 TimePoint) but TimePoint does not name a SetOrClass, it is a Quantity.
 (domain subPlan 2 Plan) but Plan does not name a SetOrClass, it is a Proposition.
 (domain subPlan 1 Plan) but Plan does not name a SetOrClass, it is a Proposition.
 (domain temporalPart 2 TimePosition) but TimePosition does not name a SetOrClass, it is a Quantity.
 (domain temporalPart 1 TimePosition) but TimePosition does not name a SetOrClass, it is a Quantity.
 (domain developmentalForm 2 DevelopmentalAttribute) but DevelopmentalAttribute does not name a SetOrClass, it is a Attribute.
 (domain BeginFn 1 TimeInterval) but TimeInterval does not name a SetOrClass, it is a Quantity.
 (domain HourFn 1 PositiveRealNumber) but PositiveRealNumber does not name a SetOrClass, it is a Quantity.
 (domain PastFn 1 TimePosition) but TimePosition does not name a SetOrClass, it is a Quantity.
 (domain length 2 LengthMeasure) but LengthMeasure does not name a SetOrClass, it is a Quantity.
 (domain SubtractionFn 2 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain SubtractionFn 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain domainSubclass 2 PositiveInteger) but PositiveInteger does not name a SetOrClass, it is a Quantity.
 (domain domainSubclass 1 Relation) but Relation does not name a SetOrClass, it is a Relation.
 (domain successorAttributeClosure 2 Attribute) but Attribute does not name a SetOrClass, it is a Attribute.
 (domain successorAttributeClosure 1 Attribute) but Attribute does not name a SetOrClass, it is a Attribute.
 (domain PredecessorFn 1 Integer) but Integer does not name a SetOrClass, it is a Quantity.
 (domain height 2 LengthMeasure) but LengthMeasure does not name a SetOrClass, it is a Quantity.
 (domain ListLengthFn 1 List) but List does not name a SetOrClass, it is a Relation.
 (domain DivisionFn 2 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain DivisionFn 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain geometricPart 2 GeometricFigure) but GeometricFigure does not name a SetOrClass, it is a Attribute.
 (domain geometricPart 1 GeometricFigure) but GeometricFigure does not name a SetOrClass, it is a Attribute.
 (domain SuccessorFn 1 Integer) but Integer does not name a SetOrClass, it is a Quantity.
 (domain distance 3 LengthMeasure) but LengthMeasure does not name a SetOrClass, it is a Quantity.
 (domain domain 2 PositiveInteger) but PositiveInteger does not name a SetOrClass, it is a Quantity.
 (domain domain 1 Relation) but Relation does not name a SetOrClass, it is a Relation.
 (domain MinuteFn 1 PositiveRealNumber) but PositiveRealNumber does not name a SetOrClass, it is a Quantity.
 (domain pointOfFigure 2 GeometricFigure) but GeometricFigure does not name a SetOrClass, it is a Attribute.
 (domain pointOfFigure 1 GeometricPoint) but GeometricPoint does not name a SetOrClass, it is a Attribute.
 (domain RelativeTimeFn 2 TimeZone) but TimeZone does not name a SetOrClass, it is a Attribute.
 (domain RelativeTimeFn 1 TimePosition) but TimePosition does not name a SetOrClass, it is a Quantity.
 (domain capability 2 CaseRole) but CaseRole does not name a SetOrClass, it is a Relation.
 (domain angleOfFigure 2 GeometricFigure) but GeometricFigure does not name a SetOrClass, it is a Attribute.
 (domain angleOfFigure 1 TwoDimensionalAngle) but TwoDimensionalAngle does not name a SetOrClass, it is a Attribute.
 (domain ListConcatenateFn 2 List) but List does not name a SetOrClass, it is a Relation.
 (domain ListConcatenateFn 1 List) but List does not name a SetOrClass, it is a Relation.
 (domain AbsoluteValueFn 1 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain pointOfIntersection 3 GeometricPoint) but GeometricPoint does not name a SetOrClass, it is a Attribute.
 (domain pointOfIntersection 2 OneDimensionalFigure) but OneDimensionalFigure does not name a SetOrClass, it is a Attribute.
 (domain pointOfIntersection 1 OneDimensionalFigure) but OneDimensionalFigure does not name a SetOrClass, it is a Attribute.
 (domain CeilingFn 1 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain orientation 3 PositionalAttribute) but PositionalAttribute does not name a SetOrClass, it is a Attribute.
 (domain property 2 Attribute) but Attribute does not name a SetOrClass, it is a Attribute.
 (domain subrelation 2 Relation) but Relation does not name a SetOrClass, it is a Relation.
 (domain subrelation 1 Relation) but Relation does not name a SetOrClass, it is a Relation.
 (domain subList 2 List) but List does not name a SetOrClass, it is a Relation.
 (domain subList 1 List) but List does not name a SetOrClass, it is a Relation.
 (domain CosineFn 1 PlaneAngleMeasure) but PlaneAngleMeasure does not name a SetOrClass, it is a Quantity.
 (domain SecondFn 1 PositiveRealNumber) but PositiveRealNumber does not name a SetOrClass, it is a Quantity.
 (domain parallel 2 OneDimensionalFigure) but OneDimensionalFigure does not name a SetOrClass, it is a Attribute.
 (domain parallel 1 OneDimensionalFigure) but OneDimensionalFigure does not name a SetOrClass, it is a Attribute.
 (domain confersNorm 3 ObjectiveNorm) but ObjectiveNorm does not name a SetOrClass, it is a Attribute.
 (domain DenominatorFn 1 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain ExponentiationFn 2 Integer) but Integer does not name a SetOrClass, it is a Quantity.
 (domain ExponentiationFn 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain occupiesPosition 2 Position) but Position does not name a SetOrClass, it is a Attribute.
 (domain angularMeasure 2 PlaneAngleMeasure) but PlaneAngleMeasure does not name a SetOrClass, it is a Quantity.
 (domain angularMeasure 1 TwoDimensionalAngle) but TwoDimensionalAngle does not name a SetOrClass, it is a Attribute.
 (domain FloorFn 1 RealNumber) but RealNumber does not name a SetOrClass, it is a Quantity.
 (domain lineMeasure 2 LengthMeasure) but LengthMeasure does not name a SetOrClass, it is a Quantity.
 (domain lineMeasure 1 OneDimensionalFigure) but OneDimensionalFigure does not name a SetOrClass, it is a Attribute.
 (domain ImmediatePastFn 1 TimePosition) but TimePosition does not name a SetOrClass, it is a Quantity.
 (domain geometricDistance 3 LengthMeasure) but LengthMeasure does not name a SetOrClass, it is a Quantity.
 (domain geometricDistance 2 GeometricPoint) but GeometricPoint does not name a SetOrClass, it is a Attribute.
 (domain geometricDistance 1 GeometricPoint) but GeometricPoint does not name a SetOrClass, it is a Attribute.
 (domain modalAttribute 2 NormativeAttribute) but NormativeAttribute does not name a SetOrClass, it is a Attribute.
 (domain RemainderFn 2 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain RemainderFn 1 Quantity) but Quantity does not name a SetOrClass, it is a Quantity.
 (domain ListOrderFn 2 PositiveInteger) but PositiveInteger does not name a SetOrClass, it is a Quantity.
 (domain ListOrderFn 1 List) but List does not name a SetOrClass, it is a Relation.
 (domain ImmediateFutureFn 1 TimePosition) but TimePosition does not name a SetOrClass, it is a Quantity.
 (domain time 2 TimePosition) but TimePosition does not name a SetOrClass, it is a Quantity.
 (domain range 1 Function) but Function does not name a SetOrClass, it is a Relation.
 (domain deprivesNorm 3 ObjectiveNorm) but ObjectiveNorm does not name a SetOrClass, it is a Attribute.
 (domain ImaginaryPartFn 1 ComplexNumber) but ComplexNumber does not name a SetOrClass, it is a Quantity.