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