; Mon Nov 17 14:00:39 PST 2003
; 
;+ (version "1.8")
;+ (build "Build 1074")

([%22This+is+a+string%22] of %3AAbstractString
	(%3ASUO-name "\"This is a string\""))

([%28AbsoluteValueFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28AbstractionFn+Class%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28AdditionFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28BackFn+SelfConnectedObject%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28BeginFn+TimeInterval%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28BeginNodeFn+GraphPath%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CardinalityFn+%28UnionFn+SetOrClass+Collection%29%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CeilingFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ComplementFn+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CosineFn+PlaneAngleMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CutSetFn+Graph%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DayFn+PositiveRealNumber+Month%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DenominatorFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DivisionFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28EditionFn+ContentBearingObject+PositiveInteger%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28EndFn+TimeInterval%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28EndNodeFn+GraphPath%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ExponentiationFn+Quantity+Integer%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ExtensionFn+Attribute%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28FloorFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28FrontFn+SelfConnectedObject%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28FutureFn+TimePosition%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GeneralizedIntersectionFn+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GeneralizedUnionFn+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GigaFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GovernmentFn+GeopoliticalArea%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GraphPathFn+GraphNode+GraphNode%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28HourFn+PositiveRealNumber+Day%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImaginaryPartFn+ComplexNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImmediateFamilyFn+Human%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImmediateFutureFn+TimePosition%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImmediatePastFn+TimePosition%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28InitialNodeFn+GraphArc%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28IntegerSquareRootFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28IntersectionFn+SetOrClass+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28IntervalFn+ConstantQuantity+ConstantQuantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28KappaFn+SymbolicString+Formula%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28KiloFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ListConcatenateFn+List+List%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ListLengthFn+List%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ListOrderFn+List+PositiveInteger%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28LogFn+RealNumber+PositiveInteger%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MagnitudeFn+ConstantQuantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MaxFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MaximalWeightedPathFn+GraphNode+GraphNode%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MeasureFn+RealNumber+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MegaFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MereologicalDifferenceFn+Object+Object%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MereologicalProductFn+Object+Object%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MereologicalSumFn+Object+Object%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MicroFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MilliFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinimalCutSetFn+Graph%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinimalWeightedPathFn+GraphNode+GraphNode%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinuteFn+PositiveRealNumber+Hour%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MonthFn+Month+Year%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MultiplicationFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28NanoFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28NumeratorFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PastFn+TimePosition%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PathWeightFn+GraphPath%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PerFn+ConstantQuantity+ConstantQuantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PeriodicalIssueFn+Periodical+PositiveInteger%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PicoFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PowerSetFn+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PredecessorFn+Integer%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PrincipalHostFn+Hole%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ProbabilityFn+Formula%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PropertyFn+Agent%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RationalNumberFn+Number%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RealNumberFn+Number%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ReciprocalFn+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RecurrentTimeIntervalFn+TimeInterval+TimeInterval%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RelativeComplementFn+SetOrClass+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RelativeTimeFn+TimePosition+TimeZone%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RemainderFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RoundFn+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SecondFn+PositiveRealNumber+Minute%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SeriesVolumeFn+Series+PositiveInteger%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SignumFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SineFn+PlaneAngleMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SkinFn+Hole%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SquareRootFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SubtractionFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SuccessorFn+Integer%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TangentFn+PlaneAngleMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TemporalCompositionFn+TimeInterval+TimeInterval%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TeraFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TerminalNodeFn+GraphArc%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TimeIntervalFn+TimePoint+TimePoint%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28UnionFn+SetOrClass+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28WealthFn+Agent%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28WhenFn+Physical%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28WhereFn+Physical+TimePoint%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28YearFn+Integer%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3AAbstractString] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AAssertion] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AAXIOMS] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv014_00277]))

([%3AClass] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ACodeList] of %3ASYN-CLASS
	(%3ASYNONYMS [UBLcore_00353])
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AConstructedLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ADomain1Type] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018_00290]))

([%3ADomain2Class] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [SUMO148_00000])
	(%3ADomain1Type Instance))

([%3ADomain2Type] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018_00288]))

([%3ADomain2Value] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [SUMO152_00100]))

([%3ADomain3Class] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLcore_00000]))

([%3ADomain3Type] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018t_00300]))

([%3ADomain3Value] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [SUMO152_00102]))

([%3ADomain4Class] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018t_00302]))

([%3ADomain4Type] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018t_00306]))

([%3ADomain4Value] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018t_00304]))

([%3AEmbeddedComment] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AGroup] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AhasFrequency] of %3AUBL-SLOT
	(%3ASUO-name ":hasFrequency"))

([%3AhasUsage] of %3AUBL-SLOT
	(%3ASUO-name ":hasUsage"))

([%3AHumanLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AinLanguage] of %3AUBL-SLOT
	(%3ASUO-name ":inLanguage"))

([%3AisInModule] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018t_00322]))

([%3AKIFentity] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ALanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AList] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AModule] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ANaturalLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AOrderedSet] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3AProtegeSymbolList] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ARow] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASet] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASetOrClass] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASKIFdocs] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AStringList] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASUMOProposition] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASUO-name] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [KIFcore2_00373]))

([%3ASynonym] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASYNONYMS] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [SKIFcore4_00382]))

([%3AUnclassifiedProposition] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3C%3D%3E] of BinaryPredicate
	(%3ASUO-name "<=>")
	(%3Adocumentation "\"The truth-functional connective of bi-implication.\"")
	(%3AidenticalTo
		"Instance(<=>_1 of Cls(LogicalOperator))"
		"Slot(<=>_2)"))

([%3C%3D%3E_1] of LogicalOperator
	(%3ASUO-name "<=>")
	(%3Adocumentation "\"The truth-functional connective of bi-implication.\"")
	(%3AidenticalTo
		"Instance(<=> of Cls(BinaryPredicate))"
		"Slot(<=>_2)"))

([%3C%3D%3E_2] of %3AUBL-SLOT
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "<=>")
	(%3AidenticalTo
		"Instance(<=> of Cls(BinaryPredicate))"
		"Instance(<=>_1 of Cls(LogicalOperator))")
	(%3ALOAD-SEQUENCE 86))

([%3D%3E] of BinaryPredicate
	(%3ASUO-name "=>")
	(%3Adocumentation "\"The truth-functional connective of implication.\"")
	(%3AidenticalTo
		"Instance(=>_1 of Cls(LogicalOperator))"
		"Slot(=>_2)"))

([%3D%3E_1] of LogicalOperator
	(%3ASUO-name "=>")
	(%3Adocumentation "\"The truth-functional connective of implication.\"")
	(%3AidenticalTo
		"Instance(=> of Cls(BinaryPredicate))"
		"Slot(=>_2)"))

([%3D%3E_2] of %3AUBL-SLOT
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "=>")
	(%3AidenticalTo
		"Instance(=>_1 of Cls(LogicalOperator))"
		"Instance(=> of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 85))

([%3FTHING] of Entity
	(%3ASUO-name "?THING")
	(%3AAXIOMS "\n(UAX-045)\n(exists (?THING) (instance ?THING Entity))\n\n(UAX-046)\n(<=>\n     (instance ?CLASS Class)\n     (subclass ?CLASS Entity))\n"))

([AbnormalAnatomicalStructure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1655)
	(disjoint [BodyPart])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-695]))

([Above] of PositionalAttribute
	(contraryAttribute_2 [Below])
	(%3ASUO-name "Above")
	(%3Adocumentation "\"This is a &%PositionalAttribute derived from the up/down schema and not involving contact.  Note that this means directly above, i.e., if one object is &%Above another object, then the projections of the two objects overlap.\"")
	(%3AAXIOMS "\n(UAX-802)\n(=>\n   (orientation ?OBJ1 ?OBJ2 Above)\n   (not\n      (connected ?OBJ1 ?OBJ2)))\n"))

([AbsoluteValueFn] of UnaryFunction
	(%3ASUO-name "AbsoluteValueFn")
	(%3Adocumentation "\"The value of (&%AbsoluteValueFn ?NUMBER) is the absolute value of the &%RealNumber ?NUMBER.\"")
	(%3AidenticalTo
		"Slot(AbsoluteValueFn_2)"
		"Instance(AbsoluteValueFn_1 of Cls(TotalValuedRelation))"))

([AbsoluteValueFn_1] of TotalValuedRelation
	(%3ASUO-name "AbsoluteValueFn")
	(%3Adocumentation "\"The value of (&%AbsoluteValueFn ?NUMBER) is the absolute value of the &%RealNumber ?NUMBER.\"")
	(%3AidenticalTo
		"Slot(AbsoluteValueFn_2)"
		"Instance(AbsoluteValueFn of Cls(UnaryFunction))"))

([AbsoluteValueFn_2] of %3AUBL-SLOT
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "AbsoluteValueFn")
	(%3AAXIOMS "\n(UAX-195)\n(<=>\n     (and\n         (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2)\n         (instance ?NUMBER1 RealNumber)\n         (instance ?NUMBER2 RealNumber))\n     (or\n         (and\n              (instance ?NUMBER1 NonnegativeRealNumber)\n              (equal ?NUMBER1 ?NUMBER2))\n         (and\n              (instance ?NUMBER1 NegativeRealNumber)\n              (equal ?NUMBER2 (SubtractionFn 0 ?NUMBER1)))))\n")
	(%3AidenticalTo
		"Instance(AbsoluteValueFn_1 of Cls(TotalValuedRelation))"
		"Instance(AbsoluteValueFn of Cls(UnaryFunction))")
	(%3ALOAD-SEQUENCE 491))

([Abstract] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 185)
	(disjoint [Physical])
	(disjointDecomposition
		[Quantity]
		[Attribute]
		[SetOrClass]
		[Relation]
		[Proposition]
		[Graph]
		[GraphElement])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-072]))

([AbstractionFn] of UnaryFunction
	(%3ASUO-name "AbstractionFn")
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%Class into the instance of &%Attribute that specifies the condition(s) for membership in the &%Class.\"")
	(%3AidenticalTo
		"Slot(AbstractionFn_2)"
		"Instance(AbstractionFn_1 of Cls(PartialValuedRelation))"))

([AbstractionFn_1] of PartialValuedRelation
	(%3ASUO-name "AbstractionFn")
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%Class into the instance of &%Attribute that specifies the condition(s) for membership in the &%Class.\"")
	(%3AidenticalTo
		"Slot(AbstractionFn_2)"
		"Instance(AbstractionFn of Cls(UnaryFunction))"))

([AbstractionFn_2] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "AbstractionFn")
	(%3AAXIOMS "\n(UAX-073)\n(<=>\n   (equal (AbstractionFn ?CLASS) ?ATTR)\n   (forall (?INST)\n      (<=>\n         (instance ?INST ?CLASS)\n         (property ?INST ?ATTR))))\n")
	(%3AidenticalTo
		"Instance(AbstractionFn of Cls(UnaryFunction))"
		"Instance(AbstractionFn_1 of Cls(PartialValuedRelation))")
	(%3ALOAD-SEQUENCE 193))

([AdditionFn] of BinaryFunction
	(%3ASUO-name "AdditionFn")
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3AidenticalTo
		"Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))"
		"Instance(AdditionFn_4 of Cls(TotalValuedRelation))"
		"Instance(AdditionFn_1 of Cls(AssociativeFunction))"
		"Instance(AdditionFn_2 of Cls(CommutativeFunction))"
		"Slot(AdditionFn_5)"))

([AdditionFn_1] of AssociativeFunction
	(%3ASUO-name "AdditionFn")
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3AidenticalTo
		"Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))"
		"Instance(AdditionFn_4 of Cls(TotalValuedRelation))"
		"Instance(AdditionFn_2 of Cls(CommutativeFunction))"
		"Slot(AdditionFn_5)"
		"Instance(AdditionFn of Cls(BinaryFunction))"))

([AdditionFn_2] of CommutativeFunction
	(%3ASUO-name "AdditionFn")
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3AidenticalTo
		"Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))"
		"Instance(AdditionFn_4 of Cls(TotalValuedRelation))"
		"Instance(AdditionFn_1 of Cls(AssociativeFunction))"
		"Slot(AdditionFn_5)"
		"Instance(AdditionFn of Cls(BinaryFunction))"))

([AdditionFn_3] of RelationExtendedToQuantities
	(%3ASUO-name "AdditionFn")
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3AidenticalTo
		"Instance(AdditionFn_4 of Cls(TotalValuedRelation))"
		"Instance(AdditionFn_1 of Cls(AssociativeFunction))"
		"Instance(AdditionFn_2 of Cls(CommutativeFunction))"
		"Slot(AdditionFn_5)"
		"Instance(AdditionFn of Cls(BinaryFunction))"))

([AdditionFn_4] of TotalValuedRelation
	(%3ASUO-name "AdditionFn")
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3AidenticalTo
		"Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))"
		"Instance(AdditionFn_1 of Cls(AssociativeFunction))"
		"Instance(AdditionFn_2 of Cls(CommutativeFunction))"
		"Slot(AdditionFn_5)"
		"Instance(AdditionFn of Cls(BinaryFunction))"))

([AdditionFn_5] of %3ATernarySlot
	(%3ADomain1Type Instance)
	(%3ASUO-name "AdditionFn")
	(%3ADomain2Type Instance)
	(%3AAXIOMS "\n(UAX-192)\n(equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1))\n")
	(%3AidenticalTo
		"Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))"
		"Instance(AdditionFn_4 of Cls(TotalValuedRelation))"
		"Instance(AdditionFn_1 of Cls(AssociativeFunction))"
		"Instance(AdditionFn_2 of Cls(CommutativeFunction))"
		"Instance(AdditionFn of Cls(BinaryFunction))")
	(%3ADomain2Class Quantity)
	(%3ALOAD-SEQUENCE 485)
	(%3AisInModule [NUMERIC_FUNCTIONS]))

([Adjacent] of PositionalAttribute
	(%3ASUO-name "Adjacent")
	(%3Adocumentation "\"Used to assert that an object ?OBJ1 is close to, near or abutting ?OBJ2.  This &%PositionalAttribute covers the following common sense notions:  adjoins, abuts, is contiguous to, is juxtaposed, and is close to.\"")
	(%3AAXIOMS "\n(UAX-804)\n(<=>\n   (orientation ?OBJ1 ?OBJ2 Adjacent)\n   (or\n      (orientation ?OBJ1 ?OBJ2 Near)\n      (connected ?OBJ1 ?OBJ2)))\n"))

([Adjective] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1691)
	(disjoint
		[Noun]
		[Verb]
		[Adverb]
		[Particle])
	(%3AisInModule [OBJECTS]))

([Adverb] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1692)
	(disjoint
		[Noun]
		[Verb]
		[Adjective]
		[Particle])
	(%3AisInModule [OBJECTS]))

([Advertising] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1412)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-602]))

([age] of SingleValuedRelation
	(%3ASUO-name "age")
	(%3Adocumentation "\"Simply relates an &%Object to a &%ConstantQuantity specifying the age of the &%Object.\"")
	(%3AidenticalTo
		"Instance(age_2 of Cls(BinaryPredicate))"
		"Slot(age_1)"))

([age_1] of %3AUBL-SLOT
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ADomain1Type Instance)
	(%3ASUO-name "age")
	(%3AidenticalTo
		"Instance(age_2 of Cls(BinaryPredicate))"
		"Instance(age of Cls(SingleValuedRelation))")
	(%3ALOAD-SEQUENCE 830))

([age_2] of BinaryPredicate
	(%3ASUO-name "age")
	(%3AidenticalTo
		"Instance(age of Cls(SingleValuedRelation))"
		"Slot(age_1)"))

([AgeGroup] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1821)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-771]))

([Agent] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 177)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-070]))

([agent] of CaseRole
	(%3ASUO-name "agent")
	(%3Adocumentation "\"(&%agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, of the &%Process ?PROCESS, with or without voluntary intention.  For example, water is the &%agent of erosion in the following proposition:  the water eroded the coastline.  For another example, Eve is an &%agent in the following proposition: Eve bit an apple.\"")
	(%3AidenticalTo "Slot(agent_1)"))

([agent_1] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "agent")
	(%3AAXIOMS "\n(UAX-097)\n(=>\n   (instance ?PROCESS Process)\n   (exists (?CAUSE)\n      (agent ?PROCESS ?CAUSE)))\n")
	(%3AidenticalTo "Instance(agent of Cls(CaseRole))")
	(%3ALOAD-SEQUENCE 275))

([Air] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1634)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-684]))

([AlethicAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1956)
	(%3AisInModule [QUALITIES]))

([Alga] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1572)
	(disjoint
		[Fern]
		[Fungus]
		[Moss])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-671]))

([altitude] of SingleValuedRelation
	(%3ASUO-name "altitude")
	(%3Adocumentation "\"A &%TernaryPredicate that is used to state the &%distance between the &%top of an &%Object and another point that is below the &%top of the &%Object (often this other point will be sea level).  Note that this &%Predicate can be used to specify, for example, the height of geographic features, e.g. mountains, the altitude of aircraft, and the orbit of satellites around the Earth.\"")
	(%3AidenticalTo
		"Slot(altitude_1)"
		"Instance(altitude_3 of Cls(SpatialRelation))"
		"Instance(altitude_2 of Cls(TernaryPredicate))"))

([altitude_1] of %3ATernarySlot
	(%3ADomain1Type Instance)
	(%3ASUO-name "altitude")
	(%3ADomain2Type Instance)
	(%3AAXIOMS "\n(UAX-313)\n(=>\n   (altitude ?OBJ1 ?OBJ2 ?HEIGHT)\n   (orientation ?OBJ1 ?OBJ2 Above))\n\n(UAX-314)\n(=>\n   (altitude ?OBJ1 ?OBJ2 ?HEIGHT)\n   (exists (?TOP)\n      (and\n         (top ?TOP ?OBJ1)\n         (distance ?TOP ?OBJ2 ?HEIGHT))))\n")
	(%3AidenticalTo
		"Instance(altitude_3 of Cls(SpatialRelation))"
		"Instance(altitude of Cls(SingleValuedRelation))"
		"Instance(altitude_2 of Cls(TernaryPredicate))")
	(%3ADomain2Class Physical)
	(%3ALOAD-SEQUENCE 836)
	(%3AisInModule [UNITS_OF_MEASURE]))

([altitude_2] of TernaryPredicate
	(%3ASUO-name "altitude")
	(%3AidenticalTo
		"Slot(altitude_1)"
		"Instance(altitude_3 of Cls(SpatialRelation))"
		"Instance(altitude of Cls(SingleValuedRelation))"))

([altitude_3] of SpatialRelation
	(%3ASUO-name "altitude")
	(%3AidenticalTo
		"Slot(altitude_1)"
		"Instance(altitude of Cls(SingleValuedRelation))"
		"Instance(altitude_2 of Cls(TernaryPredicate))"))

([Ambulating] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1205)
	(partition
		[Walking]
		[Running])
	(%3AisInModule [PROCESSES]))

([Ampere] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 692)
	(%3AidenticalTo "Instance(Ampere_1 of Cls(SystemeInternationalUnit))")
	(%3AisInModule [UNITS_OF_MEASURE]))

([Ampere_1] of SystemeInternationalUnit
	(%3Adocumentation "SI electric current measure.  Symbol: A. It is one of the base units in SI. It is defined as follows: the &%Ampere is that constant current which, if maintained in two straight parallel conductors of infinite length, of negligible circular cross-section, and placed 1 &%Meter apart in a vacuum, would produce between these conductors a force equal to 2*10^(-7) &%Newton per &%Meter of length.")
	(%3AidenticalTo "Cls(Ampere)"))

([Amphibian] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1598)
	(disjoint
		[Fish]
		[Reptile])
	(%3AisInModule [OBJECTS]))

([Amu] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 760)
	(%3AidenticalTo "Instance(Amu_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-286]))

([Amu_1] of UnitOfMeasure
	(%3Adocumentation "Atomic mass unit.  Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope.")
	(%3AidenticalTo "Cls(Amu)"))

([AnatomicalStructure] of %3AUBL-CLASS
	(partition2
		[AnimalAnatomicalStructure]
		[PlantAnatomicalStructure])
	(%3ALOAD-SEQUENCE 1652)
	(disjoint [Organism])
	(partition
		[BodyPart]
		[AbnormalAnatomicalStructure])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-693]
		[UAX-694]))

([ancestor] of TransitiveRelation
	(%3ASUO-name "ancestor")
	(%3Adocumentation "\"The transitive closure of the &%parent predicate. (&%ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the &%parent of ?DESCENDANT or the &%parent of the &%parent of &%DESCENDANT or etc.\"")
	(%3AidenticalTo
		"Instance(ancestor_1 of Cls(IrreflexiveRelation))"
		"Instance(ancestor_3 of Cls(BinaryPredicate))"
		"Slot(ancestor_2)"))

([ancestor_1] of IrreflexiveRelation
	(%3ASUO-name "ancestor")
	(%3Adocumentation "\"The transitive closure of the &%parent predicate. (&%ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the &%parent of ?DESCENDANT or the &%parent of the &%parent of &%DESCENDANT or etc.\"")
	(%3AidenticalTo
		"Instance(ancestor_3 of Cls(BinaryPredicate))"
		"Slot(ancestor_2)"
		"Instance(ancestor of Cls(TransitiveRelation))"))

([ancestor_2] of %3AUBL-SLOT
	(%3AisInModule [OBJECTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "ancestor")
	(%3AAXIOMS "\n(UAX-670)\n(=>\n   (parent ?PARENT ?CHILD)\n   (ancestor ?PARENT ?CHILD))\n")
	(%3AidenticalTo
		"Instance(ancestor_1 of Cls(IrreflexiveRelation))"
		"Instance(ancestor_3 of Cls(BinaryPredicate))"
		"Instance(ancestor of Cls(TransitiveRelation))")
	(%3ALOAD-SEQUENCE 1566))

([ancestor_3] of BinaryPredicate
	(%3ASUO-name "ancestor")
	(%3AidenticalTo
		"Instance(ancestor_1 of Cls(IrreflexiveRelation))"
		"Slot(ancestor_2)"
		"Instance(ancestor of Cls(TransitiveRelation))"))

([and] of VariableArityRelation
	(%3ASUO-name "and")
	(%3Adocumentation "\"The truth-functional connective of conjunction.\"")
	(%3AidenticalTo
		"Instance(and_1 of Cls(LogicalOperator))"
		"Slot(and_2)"))

([and_1] of LogicalOperator
	(%3ASUO-name "and")
	(%3Adocumentation "\"The truth-functional connective of conjunction.\"")
	(%3AidenticalTo
		"Instance(and of Cls(VariableArityRelation))"
		"Slot(and_2)"))

([and_2] of %3AVariableAritySlot
	(%3ADomain1Type Instance)
	(%3ASUO-name "and")
	(%3AidenticalTo
		"Instance(and of Cls(VariableArityRelation))"
		"Instance(and_1 of Cls(LogicalOperator))")
	(%3ALOAD-SEQUENCE 83)
	(%3AisInModule [STRUCTURAL_ONTOLOGY]))

([AngleMeasure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 651)
	(%3AisInModule [UNITS_OF_MEASURE]))

([angleOfFigure] of %3AUBL-SLOT
	(%3AisInModule [QUALITIES])
	(%3ADomain1Type Instance)
	(%3ASUO-name "angleOfFigure")
	(%3AidenticalTo "Instance(angleOfFigure_1 of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 2033))

([angleOfFigure_1] of BinaryPredicate
	(%3ASUO-name "angleOfFigure")
	(%3AidenticalTo "Slot(angleOfFigure)"))

([Angstrom] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 765)
	(%3AidenticalTo "Instance(Angstrom_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-288]))

([Angstrom_1] of UnitOfMeasure
	(%3Adocumentation "The &%Angstrom is a &%LengthMeasure. 1 &%Angstrom = 10^(-10) m")
	(%3AidenticalTo "Cls(Angstrom)"))

([AngularDegree] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 807)
	(%3AidenticalTo "Instance(AngularDegree_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS
		[UAX-304]
		[UAX-305]
		[UAX-306]))

([AngularDegree_1] of UnitOfMeasure
	(%3Adocumentation "A plane angle measure.")
	(%3AidenticalTo "Cls(AngularDegree)"))

([angularMeasure] of BinaryPredicate
	(%3ASUO-name "angularMeasure")
	(%3Adocumentation "\"(&%angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the &%PlaneAngleMeasure of ?MEASURE.\"")
	(%3AidenticalTo
		"Instance(angularMeasure_1 of Cls(TotalValuedRelation))"
		"Slot(angularMeasure_2)"))

([angularMeasure_1] of TotalValuedRelation
	(%3ASUO-name "angularMeasure")
	(%3Adocumentation "\"(&%angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the &%PlaneAngleMeasure of ?MEASURE.\"")
	(%3AidenticalTo
		"Instance(angularMeasure of Cls(BinaryPredicate))"
		"Slot(angularMeasure_2)"))

([angularMeasure_2] of %3AUBL-SLOT
	(%3AisInModule [QUALITIES])
	(%3ADomain1Type Instance)
	(%3ASUO-name "angularMeasure")
	(%3AidenticalTo
		"Instance(angularMeasure_1 of Cls(TotalValuedRelation))"
		"Instance(angularMeasure of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 2038))

([AnimacyAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2069)
	(%3AisInModule [QUALITIES]))

([Animal] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1578)
	(disjoint
		[Plant]
		[Microorganism])
	(partition
		[Vertebrate]
		[Invertebrate])
	(%3AisInModule [OBJECTS]))

([AnimalAnatomicalStructure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1660)
	(disjoint [PlantAnatomicalStructure])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-698]))

([AnimalLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 162)
	(disjoint
		[HumanLanguage]
		[ComputerLanguage])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-066]))

([AnimalSubstance] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1637)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-685]))

([AntisymmetricRelation] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 262)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-092]))

([Ape] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1612)
	(disjoint
		[Monkey]
		[Hominid])
	(%3AisInModule [OBJECTS]))

([April] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 951)
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-376]
		[UAX-377]))

([AquaticMammal] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1603)
	(disjoint
		[HoofedMammal]
		[Marsupial]
		[Rodent]
		[Primate])
	(%3AisInModule [OBJECTS]))

([Arachnid] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1592)
	(disjoint
		[Myriapod]
		[Insect]
		[Crustacean])
	(%3AisInModule [OBJECTS]))

([arcWeight] of BinaryPredicate
	(%3ASUO-name "arcWeight")
	(%3Adocumentation "\"This predicate indicates the value of a &%GraphArc in a &%Graph.  This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system.\"")
	(%3AidenticalTo
		"Instance(arcWeight_1 of Cls(SingleValuedRelation))"
		"Slot(arcWeight_2)"))

([arcWeight_1] of SingleValuedRelation
	(%3ASUO-name "arcWeight")
	(%3Adocumentation "\"This predicate indicates the value of a &%GraphArc in a &%Graph.  This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system.\"")
	(%3AidenticalTo
		"Instance(arcWeight of Cls(BinaryPredicate))"
		"Slot(arcWeight_2)"))

([arcWeight_2] of %3AUBL-SLOT
	(%3AisInModule [GRAPH_THEORY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "arcWeight")
	(%3AidenticalTo
		"Instance(arcWeight of Cls(BinaryPredicate))"
		"Instance(arcWeight_1 of Cls(SingleValuedRelation))")
	(%3ALOAD-SEQUENCE 621))

([AreaMeasure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 647)
	(%3AisInModule [UNITS_OF_MEASURE]))

([Argument] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1868)
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS
		[UAX-786]
		[UAX-787]))

([Arthropod] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1591)
	(disjoint
		[Worm]
		[Mollusk])
	(disjointDecomposition
		[Arachnid]
		[Myriapod]
		[Insect]
		[Crustacean])
	(%3AisInModule [OBJECTS]))

([Article] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1736)
	(disjoint [Book])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-732]))

([Artifact] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1750)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-738]))

([ArtificialLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 164)
	(%3AisInModule [BASE_ONTOLOGY]))

([ArtWork] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1773)
	(%3AisInModule [OBJECTS]))

([AsexualReproduction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1137)
	(disjoint [SexualReproduction])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-474]))

([Asleep] of ConsciousnessAttribute
	(%3Adocumentation "\"This &%Attribute applies to &%Organisms that are neither &%Unconscious nor &%Asleep.\""))

([AssignmentFn] of Function
	(%3ASUO-name "AssignmentFn")
	(%3Adocumentation "\"If F is a function with a value for the objects denoted by N1,..., NK, then the term (AssignmentFn F N1 ... NK) denotes the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined.\"")
	(%3AidenticalTo
		"Instance(AssignmentFn_1 of Cls(VariableArityRelation))"
		"Slot(AssignmentFn_2)"))

([AssignmentFn_1] of VariableArityRelation
	(%3ASUO-name "AssignmentFn")
	(%3Adocumentation "\"If F is a function with a value for the objects denoted by N1,..., NK, then the term (AssignmentFn F N1 ... NK) denotes the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined.\"")
	(%3AidenticalTo
		"Instance(AssignmentFn of Cls(Function))"
		"Slot(AssignmentFn_2)"))

([AssignmentFn_2] of %3AVariableAritySlot
	(%3ADomain1Type Instance)
	(%3ASUO-name "AssignmentFn")
	(%3AidenticalTo
		"Instance(AssignmentFn_1 of Cls(VariableArityRelation))"
		"Instance(AssignmentFn of Cls(Function))")
	(%3ALOAD-SEQUENCE 93)
	(%3AisInModule [STRUCTURAL_ONTOLOGY]))

([AssociativeFunction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 365)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-140]))

([AstronomicalBody] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1507)
	(disjoint [GeographicArea])
	(%3AisInModule [OBJECTS]))

([AsymmetricRelation] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 260)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-091]))

([Atom] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 129)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS
		[UAX-055]
		[UAX-056]))

([AtomGram] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 789)
	(%3AidenticalTo "Instance(AtomGram_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE]))

([AtomGram_1] of UnitOfMeasure
	(%3Adocumentation "&%MassMeasure that is also known as the gram-atom. Defined as the mass in grams of 1 &%Mole of pure substance.  For example, 1 &%AtomGram of Carbon 12 will be 12 &%Grams of pure Carbon 12.  2 &%AtomGrams of the same substance will be 24 &%Grams of it.  This is an unusual unit in that it is essentially 1 &%Mole of 'stuff' measured in grams, so that the actual value (i.e. mass) depends on the type of substance.")
	(%3AidenticalTo "Cls(AtomGram)"))

([AtomicNucleus] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 134)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-058]))

([Attaching] of %3AUBL-CLASS
	(relatedInternalConcept "Putting")
	(%3ALOAD-SEQUENCE 1339)
	(disjoint [Detaching])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-566]))

([AttachingDevice] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1792)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-757]))

([Attack] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1459)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-623]
		[UAX-624]))

([attends] of %3AUBL-SLOT
	(%3AisInModule [PROCESSES])
	(%3ADomain1Type Instance)
	(%3ASUO-name "attends")
	(%3AidenticalTo "Instance(attends_1 of Cls(CaseRole))")
	(%3ALOAD-SEQUENCE 1411))

([attends_1] of CaseRole
	(%3ASUO-name "attends")
	(%3AidenticalTo "Slot(attends)"))

([Attribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 189)
	(disjoint
		[Quantity]
		[SetOrClass]
		[Relation]
		[Proposition]
		[Graph]
		[GraphElement])
	(partition
		[InternalAttribute]
		[RelationalAttribute])
	(%3AisInModule [BASE_ONTOLOGY]))

([attribute] of AsymmetricRelation
	(%3ASUO-name "attribute")
	(%3Adocumentation "\"(&%attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a &%Attribute of ?OBJECT.  For example, (&%attribute &%MyLittleRedWagon &%Red).\"")
	(%3AidenticalTo
		"Instance(attribute_1 of Cls(IrreflexiveRelation))"
		"Instance(attribute_3 of Cls(BinaryPredicate))"
		"Slot(attribute_2)"))

([attribute_1] of IrreflexiveRelation
	(%3ASUO-name "attribute")
	(%3Adocumentation "\"(&%attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a &%Attribute of ?OBJECT.  For example, (&%attribute &%MyLittleRedWagon &%Red).\"")
	(%3AidenticalTo
		"Instance(attribute of Cls(AsymmetricRelation))"
		"Instance(attribute_3 of Cls(BinaryPredicate))"
		"Slot(attribute_2)"))

([attribute_2] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(disjointRelation [manner_2])
	(%3ADomain1Type Instance)
	(%3ASUO-name "attribute")
	(%3AidenticalTo
		"Instance(attribute of Cls(AsymmetricRelation))"
		"Instance(attribute_1 of Cls(IrreflexiveRelation))"
		"Instance(attribute_3 of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 191))

([attribute_3] of BinaryPredicate
	(%3ASUO-name "attribute")
	(%3AidenticalTo
		"Instance(attribute of Cls(AsymmetricRelation))"
		"Instance(attribute_1 of Cls(IrreflexiveRelation))"
		"Slot(attribute_2)"))

([August] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 963)
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-384]
		[UAX-385]))

([authors] of BinaryPredicate
	(%3ASUO-name "authors")
	(%3Adocumentation "\"(&%authors ?AGENT ?TEXT) means that ?AGENT is creatively responsible for ?TEXT.  For example, Agatha Christie is author of Murder_on_the_Orient_Express.\"")
	(%3AidenticalTo
		"Slot(authors_2)"
		"Instance(authors_1 of Cls(AsymmetricRelation))"))

([authors_1] of AsymmetricRelation
	(%3ASUO-name "authors")
	(%3Adocumentation "\"(&%authors ?AGENT ?TEXT) means that ?AGENT is creatively responsible for ?TEXT.  For example, Agatha Christie is author of Murder_on_the_Orient_Express.\"")
	(%3AidenticalTo
		"Slot(authors_2)"
		"Instance(authors of Cls(BinaryPredicate))"))

([authors_2] of %3AUBL-SLOT
	(%3AisInModule [OBJECTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "authors")
	(%3AAXIOMS "\n(UAX-723)\n(=>\n     (authors ?AGENT ?TEXT)\n     (exists (?PROCESS ?INSTANCE)\n          (and\n               (agent ?PROCESS ?AGENT)\n               (instance ?INSTANCE ?TEXT)\n               (result ?PROCESS ?TEXT))))\n")
	(%3AidenticalTo
		"Instance(authors of Cls(BinaryPredicate))"
		"Instance(authors_1 of Cls(AsymmetricRelation))")
	(%3ALOAD-SEQUENCE 1717))

([AutonomicProcess] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1115)
	(disjoint [IntentionalProcess])
	(%3AisInModule [PROCESSES]))

([Awake] of ConsciousnessAttribute
	(contraryAttribute_2 [Unconscious])
	(%3ASUO-name "Awake")
	(%3Adocumentation "\"This &%Attribute applies to &%Organisms that are neither &%Unconscious nor &%Asleep.\"")
	(%3AAXIOMS "\n(UAX-875)\n(=>\n   (or\n      (attribute ?AGENT Asleep)\n      (attribute ?AGENT Awake))\n   (attribute ?AGENT Living))\n"))

([BackFn] of UnaryFunction
	(%3ASUO-name "BackFn")
	(%3Adocumentation "\"A &%Function that maps an &%Object to the side that is opposite the &%FrontFn of the &%Object.  Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres.  Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.\"")
	(%3AidenticalTo
		"Instance(BackFn_1 of Cls(SpatialRelation))"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Slot(BackFn_5)"
		"Instance(BackFn_2 of Cls(PartialValuedRelation))"
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))"))

([BackFn_1] of SpatialRelation
	(%3ASUO-name "BackFn")
	(%3Adocumentation "\"A &%Function that maps an &%Object to the side that is opposite the &%FrontFn of the &%Object.  Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres.  Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.\"")
	(%3AidenticalTo
		"Instance(BackFn of Cls(UnaryFunction))"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Slot(BackFn_5)"
		"Instance(BackFn_2 of Cls(PartialValuedRelation))"
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))"))

([BackFn_2] of PartialValuedRelation
	(%3ASUO-name "BackFn")
	(%3Adocumentation "\"A &%Function that maps an &%Object to the side that is opposite the &%FrontFn of the &%Object.  Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres.  Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.\"")
	(%3AidenticalTo
		"Instance(BackFn_1 of Cls(SpatialRelation))"
		"Instance(BackFn of Cls(UnaryFunction))"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Slot(BackFn_5)"
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))"))

([BackFn_3] of AsymmetricRelation
	(%3ASUO-name "BackFn")
	(%3Adocumentation "\"A &%Function that maps an &%Object to the side that is opposite the &%FrontFn of the &%Object.  Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres.  Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.\"")
	(%3AidenticalTo
		"Instance(BackFn_1 of Cls(SpatialRelation))"
		"Instance(BackFn of Cls(UnaryFunction))"
		"Slot(BackFn_5)"
		"Instance(BackFn_2 of Cls(PartialValuedRelation))"
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))"))

([BackFn_4] of IrreflexiveRelation
	(%3ASUO-name "BackFn")
	(%3Adocumentation "\"A &%Function that maps an &%Object to the side that is opposite the &%FrontFn of the &%Object.  Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres.  Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.\"")
	(%3AidenticalTo
		"Instance(BackFn_1 of Cls(SpatialRelation))"
		"Instance(BackFn of Cls(UnaryFunction))"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Slot(BackFn_5)"
		"Instance(BackFn_2 of Cls(PartialValuedRelation))"))

([BackFn_5] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "BackFn")
	(%3AAXIOMS "\n(UAX-049)\n(=>\n   (instance ?OBJ SelfConnectedObject)\n   (side (BackFn ?OBJ) ?OBJ))\n")
	(%3AidenticalTo
		"Instance(BackFn_1 of Cls(SpatialRelation))"
		"Instance(BackFn of Cls(UnaryFunction))"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Instance(BackFn_2 of Cls(PartialValuedRelation))"
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))")
	(%3ALOAD-SEQUENCE 112))

([Bacterium] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1580)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-673]
		[UAX-674]))

([BASE_ONTOLOGY] of %3AModule
	(%3ASUO-name "BASE_ONTOLOGY")
	(%3AStartingBlock 98)
	(%3AinputFile "testin.kif"))

([Battle] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1451)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-620]
		[UAX-621]))

([Becquerel] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 743)
	(%3AidenticalTo "Instance(Becquerel_1 of Cls(SystemeInternationalUnit))")
	(%3AisInModule [UNITS_OF_MEASURE]))

([Becquerel_1] of SystemeInternationalUnit
	(%3Adocumentation "SI activity measure.  Symbol: Bq.  It measures the amount of radioactivity contained in a given sample of matter. It is that quantity of a radioactive element in which there is one atomic disintegration per &%SecondDuration.  &%Becquerel = s^(-1).")
	(%3AidenticalTo "Cls(Becquerel)"))

([before] of TemporalRelation
	(%3ASUO-name "before")
	(%3Adocumentation "\"(&%before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.\"")
	(%3AidenticalTo
		"Instance(before_2 of Cls(TransitiveRelation))"
		"Instance(before_1 of Cls(IrreflexiveRelation))"
		"Instance(before_4 of Cls(BinaryPredicate))"
		"Slot(before_3)"))

([before_1] of IrreflexiveRelation
	(%3ASUO-name "before")
	(%3Adocumentation "\"(&%before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.\"")
	(%3AidenticalTo
		"Instance(before_2 of Cls(TransitiveRelation))"
		"Instance(before_4 of Cls(BinaryPredicate))"
		"Instance(before of Cls(TemporalRelation))"
		"Slot(before_3)"))

([before_2] of TransitiveRelation
	(%3ASUO-name "before")
	(%3Adocumentation "\"(&%before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.\"")
	(%3AidenticalTo
		"Instance(before_1 of Cls(IrreflexiveRelation))"
		"Instance(before_4 of Cls(BinaryPredicate))"
		"Instance(before of Cls(TemporalRelation))"
		"Slot(before_3)"))

([before_3] of %3AUBL-SLOT
	(relatedInternalConcept "earlier")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "before")
	(%3AAXIOMS "\n(UAX-335)\n(=>\n    (instance ?OBJ Object)\n    (exists (?TIME1 ?TIME2)\n       (and\n          (instance ?TIME1 TimePoint)\n          (instance ?TIME2 TimePoint)\n          (before ?TIME1 ?TIME2)\n          (forall (?TIME)\n             (=>\n               (and\n                 (beforeOrEqual ?TIME1 ?TIME)\n                 (beforeOrEqual ?TIME ?TIME2))\n               (time ?OBJ ?TIME))))))\n\n(UAX-336)\n(=>\n   (result ?PROC ?OBJ)\n   (forall (?TIME)\n      (=>\n         (before ?TIME (BeginFn (WhenFn ?PROC)))\n         (not\n            (time ?OBJ ?TIME)))))\n\n(UAX-337)\n(=>\n   (instance ?INTERVAL TimeInterval)\n   (before (BeginFn ?INTERVAL) (EndFn ?INTERVAL)))\n")
	(%3AidenticalTo
		"Instance(before_2 of Cls(TransitiveRelation))"
		"Instance(before_1 of Cls(IrreflexiveRelation))"
		"Instance(before_4 of Cls(BinaryPredicate))"
		"Instance(before of Cls(TemporalRelation))")
	(%3ALOAD-SEQUENCE 878))

([before_4] of BinaryPredicate
	(%3ASUO-name "before")
	(%3AidenticalTo
		"Instance(before_2 of Cls(TransitiveRelation))"
		"Instance(before_1 of Cls(IrreflexiveRelation))"
		"Instance(before of Cls(TemporalRelation))"
		"Slot(before_3)"))

([beforeOrEqual] of BinaryPredicate
	(%3ASUO-name "beforeOrEqual")
	(%3Adocumentation "\"(&%beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.\"")
	(%3AidenticalTo
		"Slot(beforeOrEqual_3)"
		"Instance(beforeOrEqual_2 of Cls(PartialOrderingRelation))"
		"Instance(beforeOrEqual_1 of Cls(TemporalRelation))"))

([beforeOrEqual_1] of TemporalRelation
	(%3ASUO-name "beforeOrEqual")
	(%3Adocumentation "\"(&%beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.\"")
	(%3AidenticalTo
		"Slot(beforeOrEqual_3)"
		"Instance(beforeOrEqual_2 of Cls(PartialOrderingRelation))"
		"Instance(beforeOrEqual of Cls(BinaryPredicate))"))

([beforeOrEqual_2] of PartialOrderingRelation
	(%3ASUO-name "beforeOrEqual")
	(%3Adocumentation "\"(&%beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.\"")
	(%3AidenticalTo
		"Slot(beforeOrEqual_3)"
		"Instance(beforeOrEqual_1 of Cls(TemporalRelation))"
		"Instance(beforeOrEqual of Cls(BinaryPredicate))"))

([beforeOrEqual_3] of %3AUBL-SLOT
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "beforeOrEqual")
	(%3AAXIOMS "\n(UAX-338)\n(=>\n   (beforeOrEqual ?POINT1 ?POINT2)\n   (or\n       (before ?POINT1 ?POINT2)\n       (equal ?POINT1 ?POINT2)))\n")
	(%3AidenticalTo
		"Instance(beforeOrEqual_2 of Cls(PartialOrderingRelation))"
		"Instance(beforeOrEqual_1 of Cls(TemporalRelation))"
		"Instance(beforeOrEqual of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 883))

([BeginFn] of UnaryFunction
	(%3ASUO-name "BeginFn")
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval begins.\"")
	(%3AidenticalTo
		"Instance(BeginFn_1 of Cls(TemporalRelation))"
		"Slot(BeginFn_3)"
		"Instance(BeginFn_2 of Cls(TotalValuedRelation))"))

([BeginFn_1] of TemporalRelation
	(%3ASUO-name "BeginFn")
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval begins.\"")
	(%3AidenticalTo
		"Instance(BeginFn of Cls(UnaryFunction))"
		"Slot(BeginFn_3)"
		"Instance(BeginFn_2 of Cls(TotalValuedRelation))"))

([BeginFn_2] of TotalValuedRelation
	(%3ASUO-name "BeginFn")
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval begins.\"")
	(%3AidenticalTo
		"Instance(BeginFn of Cls(UnaryFunction))"
		"Instance(BeginFn_1 of Cls(TemporalRelation))"
		"Slot(BeginFn_3)"))

([BeginFn_3] of %3AUBL-SLOT
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "BeginFn")
	(%3AAXIOMS "\n(UAX-329)\n(=>\n   (origin ?PROCESS ?OBJ)\n   (located (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))\n\n(UAX-330)\n(=>\n   (equal (BeginFn ?INTERVAL) ?POINT)\n   (forall (?OTHERPOINT)\n      (=>\n         (and\n            (temporalPart ?OTHERPOINT ?INTERVAL)\n            (not (equal ?OTHERPOINT ?POINT)))\n         (before ?POINT ?OTHERPOINT))))\n")
	(%3AidenticalTo
		"Instance(BeginFn of Cls(UnaryFunction))"
		"Instance(BeginFn_1 of Cls(TemporalRelation))"
		"Instance(BeginFn_2 of Cls(TotalValuedRelation))")
	(%3ALOAD-SEQUENCE 868))

([BeginNodeFn] of UnaryFunction
	(%3ASUO-name "BeginNodeFn")
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%GraphPath to the &%GraphNode that is the beginning of the &%GraphPath.  Note that, unlike &%InitialNodeFn (which relates a &%GraphArc to a &%GraphNode), &%BeginNodeFn is a total function - every &%GraphPath has a beginning.\"")
	(%3AidenticalTo
		"Slot(BeginNodeFn_2)"
		"Instance(BeginNodeFn_1 of Cls(TotalValuedRelation))"))

([BeginNodeFn_1] of TotalValuedRelation
	(%3ASUO-name "BeginNodeFn")
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%GraphPath to the &%GraphNode that is the beginning of the &%GraphPath.  Note that, unlike &%InitialNodeFn (which relates a &%GraphArc to a &%GraphNode), &%BeginNodeFn is a total function - every &%GraphPath has a beginning.\"")
	(%3AidenticalTo
		"Instance(BeginNodeFn of Cls(UnaryFunction))"
		"Slot(BeginNodeFn_2)"))

([BeginNodeFn_2] of %3AUBL-SLOT
	(relatedInternalConcept "InitialNodeFn")
	(%3AisInModule [GRAPH_THEORY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "BeginNodeFn")
	(%3AidenticalTo
		"Instance(BeginNodeFn of Cls(UnaryFunction))"
		"Instance(BeginNodeFn_1 of Cls(TotalValuedRelation))")
	(%3ALOAD-SEQUENCE 619))

([BeliefGroup] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1837)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-777]))

([believes] of PropositionalAttitude
	(%3ASUO-name "believes")
	(%3Adocumentation "\"The epistemic predicate of belief. (&%believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.\"")
	(%3AidenticalTo
		"Slot(believes_1)"
		"Instance(believes_2 of Cls(BinaryPredicate))"))

([believes_1] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "believes")
	(%3AAXIOMS "\n(UAX-110)\n(=>\n   (believes ?AGENT ?FORMULA)\n   (exists (?TIME)\n      (holdsDuring ?TIME (considers ?AGENT ?FORMULA))))\n")
	(%3AidenticalTo
		"Instance(believes of Cls(PropositionalAttitude))"
		"Instance(believes_2 of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 314))

([believes_2] of BinaryPredicate
	(%3ASUO-name "believes")
	(%3AidenticalTo
		"Slot(believes_1)"
		"Instance(believes of Cls(PropositionalAttitude))"))

([Below] of PositionalAttribute
	(contraryAttribute_2 [Above])
	(%3ASUO-name "Below")
	(%3Adocumentation "\"This &%PositionalAttribute is derived from the up/down schema and may or may not involve contact.  Note that this means directly below, i.e., if one object is &%Below another object, then the projections of the two objects overlap.\"")
	(%3AAXIOMS "\n(UAX-803)\n(<=>\n   (orientation ?OBJ1 ?OBJ2 Below)\n   (or\n      (orientation ?OBJ2 ?OBJ1 On)\n      (orientation ?OBJ2 ?OBJ1 Above)))\n"))

([Betting] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1283)
	(%3AisInModule [PROCESSES]))

([between] of SpatialRelation
	(%3ASUO-name "between")
	(%3Adocumentation "\"(between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3.  Note that this implies that ?OBJ2 is directly between ?OBJ1 and ?OBJ3, i.e. the projections of ?OBJ1 and ?OBJ3 overlap with ?OBJ2.\"")
	(%3AidenticalTo
		"Slot(between_2)"
		"Instance(between_1 of Cls(TernaryPredicate))"))

([between_1] of TernaryPredicate
	(%3ASUO-name "between")
	(%3Adocumentation "\"(between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3.  Note that this implies that ?OBJ2 is directly between ?OBJ1 and ?OBJ3, i.e. the projections of ?OBJ1 and ?OBJ3 overlap with ?OBJ2.\"")
	(%3AidenticalTo
		"Slot(between_2)"
		"Instance(between of Cls(SpatialRelation))"))

([between_2] of %3ATernarySlot
	(%3ADomain1Type Instance)
	(%3ASUO-name "between")
	(%3ADomain2Type Instance)
	(%3AidenticalTo
		"Instance(between_1 of Cls(TernaryPredicate))"
		"Instance(between of Cls(SpatialRelation))")
	(%3ADomain2Class Object)
	(%3ALOAD-SEQUENCE 437)
	(%3AisInModule [BASE_ONTOLOGY]))

([Beverage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1649)
	(disjoint [Meat])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-691]
		[UAX-692]))

([BinaryFunction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 363)
	(%3AidenticalTo "Instance(BinaryFunction_1 of Cls(InheritableRelation))")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-139]))

([BinaryFunction_1] of InheritableRelation
	(%3Adocumentation "\"The &%Class of &%Functions that require two arguments.\"")
	(%3AidenticalTo "Cls(BinaryFunction)"))

([BinaryNumber] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 225)
	(%3AisInModule [BASE_ONTOLOGY]))

([BinaryPredicate] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 375)
	(%3AidenticalTo "Instance(BinaryPredicate_1 of Cls(InheritableRelation))")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-144]))

([BinaryPredicate_1] of InheritableRelation
	(%3Adocumentation "\"A &%Predicate relating two items - its valence is two.\"")
	(%3AidenticalTo "Cls(BinaryPredicate)"))

([BinaryRelation] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 252)
	(disjoint
		[UnaryRelation]
		[TernaryRelation]
		[QuaternaryRelation]
		[QuintaryRelation]
		[VariableArityRelation])
	(%3AidenticalTo "Instance(BinaryRelation_1 of Cls(InheritableRelation))")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-087]))

([BinaryRelation_1] of InheritableRelation
	(%3Adocumentation "\"&%BinaryRelations are relations that are true only of pairs of things.  &%BinaryRelations are represented as slots in frame systems.\"")
	(%3AidenticalTo "Cls(BinaryRelation)"))

([BiologicalAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2061)
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-858]))

([BiologicallyActiveSubstance] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1620)
	(%3AisInModule [OBJECTS]))

([BiologicalProcess] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1111)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-462]
		[UAX-463]))

([Bird] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1599)
	(disjoint [Mammal])
	(%3AisInModule [OBJECTS]))

([Birth] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1117)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-464]))

([Bit] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 821)
	(%3AidenticalTo "Instance(Bit_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE]))

([Bit_1] of UnitOfMeasure
	(%3Adocumentation "One &%Bit of information.  A one or a zero.")
	(%3AidenticalTo "Cls(Bit)"))

([Black] of PrimaryColor
	(%3ASUO-name "Black")
	(%3Adocumentation "\"The &%Attribute of being black in color.\""))

([Blood] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1643)
	(%3AisInModule [OBJECTS]))

([Blue] of PrimaryColor
	(%3ASUO-name "Blue")
	(%3Adocumentation "\"The &%Attribute of being blue in color.\""))

([BodyCovering] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1672)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-702]))

([BodyJunction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1674)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-703]
		[UAX-704]))

([BodyMotion] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1199)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-503]))

([BodyPart] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1657)
	(disjoint [AbnormalAnatomicalStructure])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-696]
		[UAX-697]))

([BodyPosition] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2063)
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-859]))

([BodySubstance] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1636)
	(%3AisInModule [OBJECTS]))

([BodyVessel] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1677)
	(%3AisInModule [OBJECTS]))

([Boiling] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1494)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-640]
		[UAX-641]))

([Bone] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1685)
	(disjoint
		[Muscle]
		[FatTissue])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-708]))

([Book] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1730)
	(disjoint [Article])
	(%3AisInModule [OBJECTS]))

([Borrowing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1274)
	(%3AisInModule [PROCESSES]))

([bottom] of %3AUBL-SLOT
	(%3AisInModule [MEREOTOPOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "bottom")
	(%3AAXIOMS "\n(UAX-429)\n(=>\n   (and\n      (bottom ?BOTTOM ?OBJECT)\n      (part ?PART ?OBJECT)\n      (not (connected ?PART ?BOTTOM)))\n   (orientation ?PART ?BOTTOM Above))\n")
	(%3ALOAD-SEQUENCE 1039))

([BreakabilityAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2057)
	(%3AisInModule [QUALITIES]))

([Breathing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1122)
	(%3AisInModule [PROCESSES]))

([BritishThermalUnit] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 804)
	(%3AidenticalTo "Instance(BritishThermalUnit_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-303]))

([BritishThermalUnit_1] of UnitOfMeasure
	(%3Adocumentation "An energy measure.")
	(%3AidenticalTo "Cls(BritishThermalUnit)"))

([brother] of IrreflexiveRelation
	(%3ASUO-name "brother")
	(%3Adocumentation "\"The general relationship of being a brother. (&%brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.\"")
	(%3AidenticalTo
		"Instance(brother_1 of Cls(TransitiveRelation))"
		"Slot(brother_2)"))

([brother_1] of TransitiveRelation
	(%3ASUO-name "brother")
	(%3Adocumentation "\"The general relationship of being a brother. (&%brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.\"")
	(%3AidenticalTo
		"Instance(brother of Cls(IrreflexiveRelation))"
		"Slot(brother_2)"))

([brother_2] of %3AUBL-SLOT
	(%3AisInModule [OBJECTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "brother")
	(%3AidenticalTo
		"Instance(brother of Cls(IrreflexiveRelation))"
		"Instance(brother_1 of Cls(TransitiveRelation))")
	(%3ALOAD-SEQUENCE 1564))

([Building] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1759)
	(disjoint [Room])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-742]))

([Buying] of %3AUBL-CLASS
	(relatedInternalConcept "Selling")
	(%3ALOAD-SEQUENCE 1284)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-538]))

([Byte] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 822)
	(%3AidenticalTo "Instance(Byte_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-309]))

([Byte_1] of UnitOfMeasure
	(%3Adocumentation "One &%Byte of information.  A &%Byte is eight &%Bits.")
	(%3AidenticalTo "Cls(Byte)"))

([Calculating] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1307)
	(%3AisInModule [PROCESSES]))

([Calorie] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 802)
	(%3AidenticalTo "Instance(Calorie_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-302]))

([Calorie_1] of UnitOfMeasure
	(%3Adocumentation "A &%Calorie is an energy measure.")
	(%3AidenticalTo "Cls(Calorie)"))

([Candela] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 698)
	(%3AidenticalTo "Instance(Candela_1 of Cls(SystemeInternationalUnit))")
	(%3AisInModule [UNITS_OF_MEASURE]))

([Candela_1] of SystemeInternationalUnit
	(%3Adocumentation "SI luminosity intensity measure.  Symbol: cd. It is one of the base units in SI, and it is currently defined as follows:  the &%Candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540*10^12 &%Hertz and that has a radiant intensity in that direction of 1/683 &%Watt per &%Steradian.")
	(%3AidenticalTo "Cls(Candela)"))

([Canine] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1608)
	(disjoint [Feline])
	(%3AisInModule [OBJECTS]))

([capability] of TernaryPredicate
	(%3ASUO-name "capability")
	(%3Adocumentation "\"(&%capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in &%Processes of type ?PROCESS.\"")
	(%3AidenticalTo "Slot(capability_1)"))

([capability_1] of %3ATernarySlot
	(%3ADomain1Type Class)
	(%3ASUO-name "capability")
	(%3ADomain2Type Instance)
	(%3AAXIOMS "\n(UAX-163)\n(=>\n   (and\n      (instance ?ROLE CaseRole)\n      (holds ?ROLE ?ARG1 ?ARG2)\n      (instance ?ARG1 ?PROC)\n      (subclass ?PROC Process))\n   (capability ?PROC ?ROLE ?ARG2))\n")
	(%3AidenticalTo "Instance(capability of Cls(TernaryPredicate))")
	(%3ADomain2Class CaseRole)
	(%3ALOAD-SEQUENCE 414)
	(%3AisInModule [BASE_ONTOLOGY]))

([Carbohydrate] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1624)
	(disjoint
		[Protein]
		[Vitamin])
	(%3AisInModule [OBJECTS]))

([CardinalityFn] of UnaryFunction
	(%3ASUO-name "CardinalityFn")
	(%3Adocumentation "\"(CardinalityFn ?CLASS) returns the number of instances in the &%SetOrClass or &%Collection ?CLASS.\"")
	(%3AidenticalTo
		"Instance(CardinalityFn_2 of Cls(AsymmetricRelation))"
		"Instance(CardinalityFn_1 of Cls(TotalValuedRelation))"
		"Slot(CardinalityFn_3)"))

([CardinalityFn_1] of TotalValuedRelation
	(%3ASUO-name "CardinalityFn")
	(%3Adocumentation "\"(CardinalityFn ?CLASS) returns the number of instances in the &%SetOrClass or &%Collection ?CLASS.\"")
	(%3AidenticalTo
		"Instance(CardinalityFn of Cls(UnaryFunction))"
		"Instance(CardinalityFn_2 of Cls(AsymmetricRelation))"
		"Slot(CardinalityFn_3)"))

([CardinalityFn_2] of AsymmetricRelation
	(%3ASUO-name "CardinalityFn")
	(%3Adocumentation "\"(CardinalityFn ?CLASS) returns the number of instances in the &%SetOrClass or &%Collection ?CLASS.\"")
	(%3AidenticalTo
		"Instance(CardinalityFn of Cls(UnaryFunction))"
		"Instance(CardinalityFn_1 of Cls(TotalValuedRelation))"
		"Slot(CardinalityFn_3)"))

([CardinalityFn_3] of %3AUBL-SLOT
	(%3AisInModule [SET%2FCLASS_THEORY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "CardinalityFn")
	(%3AidenticalTo
		"Instance(CardinalityFn of Cls(UnaryFunction))"
		"Instance(CardinalityFn_2 of Cls(AsymmetricRelation))"
		"Instance(CardinalityFn_1 of Cls(TotalValuedRelation))")
	(%3ALOAD-SEQUENCE 570))

([Carnivore] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1606)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-679]))

([Carrying] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1220)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-509]))

([CaseRole] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 274)
	(%3AidenticalTo "Instance(CaseRole_1 of Cls(InheritableRelation))")
	(%3AisInModule [BASE_ONTOLOGY]))

([CaseRole_1] of InheritableRelation
	(%3Adocumentation "\"The &%Class of &%Predicates relating the spatially distinguished parts of a &%Process. &%CaseRoles include, for example, the &%agent, &%patient or &%destination of an action, the flammable substance in a burning process, or the water that falls in rain.\"")
	(%3AidenticalTo "Cls(CaseRole)"))

([causes] of BinaryPredicate
	(%3ASUO-name "causes")
	(%3Adocumentation "\"The causation relation between instances of &%Process. (&%causes ?PROCESS1 ?PROCESS2) means that the instance of &%Process ?PROCESS1 brings about the instance of &%Process ?PROCESS2, e.g. (&%causes &%Killing &%Death).\"")
	(%3AidenticalTo
		"Slot(causes_2)"
		"Instance(causes_1 of Cls(AsymmetricRelation))"))

([causes_1] of AsymmetricRelation
	(%3ASUO-name "causes")
	(%3Adocumentation "\"The causation relation between instances of &%Process. (&%causes ?PROCESS1 ?PROCESS2) means that the instance of &%Process ?PROCESS1 brings about the instance of &%Process ?PROCESS2, e.g. (&%causes &%Killing &%Death).\"")
	(%3AidenticalTo
		"Slot(causes_2)"
		"Instance(causes of Cls(BinaryPredicate))"))

([causes_2] of %3AUBL-SLOT
	(relatedInternalConcept "causesSubclass")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "causes")
	(%3AAXIOMS "\n(UAX-158)\n(=>\n   (instance ?PROC1 Process)\n   (exists (?PROC2)\n      (causes ?PROC2 ?PROC1)))\n")
	(%3AidenticalTo
		"Instance(causes_1 of Cls(AsymmetricRelation))"
		"Instance(causes of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 404))

([causesSubclass] of BinaryPredicate
	(%3ASUO-name "causesSubclass")
	(%3Adocumentation "\"The causation relation between subclasses of &%Process. (&%causesSubclass ?PROCESS1 ?PROCESS2) means that the subclass of &%Process ?PROCESS1 brings about the subclass of &%Process ?PROCESS2, e.g. (&%causes &%Killing &%Death).\"")
	(%3AidenticalTo
		"Slot(causesSubclass_2)"
		"Instance(causesSubclass_1 of Cls(AsymmetricRelation))"))

([causesSubclass_1] of AsymmetricRelation
	(%3ASUO-name "causesSubclass")
	(%3Adocumentation "\"The causation relation between subclasses of &%Process. (&%causesSubclass ?PROCESS1 ?PROCESS2) means that the subclass of &%Process ?PROCESS1 brings about the subclass of &%Process ?PROCESS2, e.g. (&%causes &%Killing &%Death).\"")
	(%3AidenticalTo
		"Instance(causesSubclass of Cls(BinaryPredicate))"
		"Slot(causesSubclass_2)"))

([causesSubclass_2] of %3AUBL-SLOT
	(relatedInternalConcept "causes")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Class)
	(%3ASUO-name "causesSubclass")
	(%3AAXIOMS "\n(UAX-159)\n(=>\n   (causesSubclass ?PROC1 ?PROC2)\n   (forall (?INST2)\n      (=>\n         (instance ?INST2 ?PROC2)\n         (exists (?INST1)\n      (and\n         (instance ?INST1 ?PROC1)\n         (causes ?INST1 ?INST2))))))\n")
	(%3AidenticalTo
		"Instance(causesSubclass of Cls(BinaryPredicate))"
		"Instance(causesSubclass_1 of Cls(AsymmetricRelation))")
	(%3ALOAD-SEQUENCE 406))

([CeilingFn] of UnaryFunction
	(%3ASUO-name "CeilingFn")
	(%3Adocumentation "\"(&%CeilingFn ?NUMBER) returns the smallest &%Integer greater than or equal to the &%RealNumber ?NUMBER.\"")
	(%3AidenticalTo
		"Slot(CeilingFn_2)"
		"Instance(CeilingFn_1 of Cls(TotalValuedRelation))"))

([CeilingFn_1] of TotalValuedRelation
	(%3ASUO-name "CeilingFn")
	(%3Adocumentation "\"(&%CeilingFn ?NUMBER) returns the smallest &%Integer greater than or equal to the &%RealNumber ?NUMBER.\"")
	(%3AidenticalTo
		"Slot(CeilingFn_2)"
		"Instance(CeilingFn of Cls(UnaryFunction))"))

([CeilingFn_2] of %3AUBL-SLOT
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "CeilingFn")
	(%3AAXIOMS "\n(UAX-196)\n(=>\n   (equal (CeilingFn ?NUMBER) ?INT)\n   (not\n      (exists (?OTHERINT)\n         (and\n            (instance ?OTHERINT Integer)\n            (greaterThanOrEqualTo ?OTHERINT ?NUMBER)\n            (lessThan ?OTHERINT ?INT)))))\n")
	(%3AidenticalTo
		"Instance(CeilingFn_1 of Cls(TotalValuedRelation))"
		"Instance(CeilingFn of Cls(UnaryFunction))")
	(%3ALOAD-SEQUENCE 493))

([Cell] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1678)
	(%3AisInModule [OBJECTS]))

([CelsiusDegree] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 735)
	(%3AidenticalTo "Instance(CelsiusDegree_1 of Cls(SystemeInternationalUnit))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS
		[UAX-279]
		[UAX-280]))

([CelsiusDegree_1] of SystemeInternationalUnit
	(%3Adocumentation "A &%TemperatureMeasure.  The freezing point and the boiling point of water are, respectively, 0 &%CelsiusDegrees and 100 &%CelsiusDegrees.")
	(%3AidenticalTo "Cls(CelsiusDegree)"))

([Centimeter] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 700)
	(%3AidenticalTo "Instance(Centimeter_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-278]))

([Centimeter_1] of UnitOfMeasure
	(%3Adocumentation "Submultiple of &%Meter.  Symbol: cm. It is the 100th part of a &%Meter")
	(%3AidenticalTo "Cls(Centimeter)"))

([CentralTimeZone] of TimeZone
	(%3ASUO-name "CentralTimeZone")
	(%3Adocumentation "\"A &%TimeZone that covers much of the midwestern United States.\"")
	(%3AAXIOMS "\n(UAX-813)\n(=>\n   (equal (RelativeTimeFn ?TIME1 CentralTimeZone) ?TIME2)\n   (equal ?TIME2 (AdditionFn ?TIME1 6)))\n"))

([Certificate] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1738)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-733]))

([ChangeOfPossession] of %3AUBL-CLASS
	(relatedInternalConcept "possesses")
	(%3ALOAD-SEQUENCE 1256)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-524]
		[UAX-525]))

([Character] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 155)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-065]))

([ChemicalDecomposition] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1351)
	(disjoint [ChemicalSynthesis])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-572]))

([ChemicalProcess] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1346)
	(partition
		[ChemicalSynthesis]
		[ChemicalDecomposition])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-569]))

([ChemicalSynthesis] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1348)
	(disjoint [ChemicalDecomposition])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-570]
		[UAX-571]))

([Circle] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2027)
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-847]))

([citizen] of BinaryPredicate
	(%3ASUO-name "citizen")
	(%3Adocumentation "\"(&%citizen ?PERSON ?NATION) means that the &%Human ?PERSON is a citizen of &%Nation ?NATION.\"")
	(%3AidenticalTo
		"Slot(citizen_2)"
		"Instance(citizen_1 of Cls(AsymmetricRelation))"))

([citizen_1] of AsymmetricRelation
	(%3ASUO-name "citizen")
	(%3Adocumentation "\"(&%citizen ?PERSON ?NATION) means that the &%Human ?PERSON is a citizen of &%Nation ?NATION.\"")
	(%3AidenticalTo
		"Instance(citizen of Cls(BinaryPredicate))"
		"Slot(citizen_2)"))

([citizen_2] of %3AUBL-SLOT
	(%3AisInModule [OBJECTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "citizen")
	(%3AidenticalTo
		"Instance(citizen of Cls(BinaryPredicate))"
		"Instance(citizen_1 of Cls(AsymmetricRelation))")
	(%3ALOAD-SEQUENCE 1857))

([City] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1536)
	(%3AisInModule [OBJECTS]))

([Class] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 241)
	(disjoint [Set])
	(%3AisInModule [BASE_ONTOLOGY]))

([Classifying] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1295)
	(%3AisInModule [PROCESSES]))

([closedOn] of BinaryPredicate
	(%3ASUO-name "closedOn")
	(%3Adocumentation "\"A &%BinaryFunction is closed on a &%SetOrClass if it is defined for all instances of the &%SetOrClass and its value is always an instance of the &%SetOrClass.\"")
	(%3AidenticalTo
		"Slot(closedOn_2)"
		"Instance(closedOn_1 of Cls(AsymmetricRelation))"))

([closedOn_1] of AsymmetricRelation
	(%3ASUO-name "closedOn")
	(%3Adocumentation "\"A &%BinaryFunction is closed on a &%SetOrClass if it is defined for all instances of the &%SetOrClass and its value is always an instance of the &%SetOrClass.\"")
	(%3AidenticalTo
		"Instance(closedOn of Cls(BinaryPredicate))"
		"Slot(closedOn_2)"))

([closedOn_2] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "closedOn")
	(%3AAXIOMS "\n(UAX-149)\n(=>\n   (and\n      (closedOn ?FUNCTION ?CLASS)\n      (instance ?FUNCTION UnaryFunction))\n   (forall (?INST)\n      (=>\n         (instance ?INST ?CLASS)\n         (instance (AssignmentFn ?FUNCTION ?INST) ?CLASS))))\n\n(UAX-150)\n(=>\n   (and\n      (closedOn ?FUNCTION ?CLASS)\n      (instance ?FUNCTION BinaryFunction))\n   (forall (?INST1 ?INST2)\n      (=>\n         (and\n            (instance ?INST1 ?CLASS)\n            (instance ?INST2 ?CLASS))\n         (instance (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?CLASS))))\n")
	(%3AidenticalTo
		"Instance(closedOn of Cls(BinaryPredicate))"
		"Instance(closedOn_1 of Cls(AsymmetricRelation))")
	(%3ALOAD-SEQUENCE 387))

([ClosedTwoDimensionalFigure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2016)
	(disjoint [OpenTwoDimensionalFigure])
	(%3AisInModule [QUALITIES]))

([Clothing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1776)
	(disjoint [StationaryArtifact])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-748]))

([Cloud] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1629)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-681]))

([CognitiveAgent] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 180)
	(%3AisInModule [BASE_ONTOLOGY]))

([ColdBloodedVertebrate] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1596)
	(disjoint [WarmBloodedVertebrate])
	(disjointDecomposition
		[Amphibian]
		[Fish]
		[Reptile])
	(%3AisInModule [OBJECTS]))

([Collection] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 148)
	(disjoint [SelfConnectedObject])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-063]))

([ColorAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1991)
	(%3AisInModule [QUALITIES]))

([Coloring] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1362)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-577]))

([COM%24contraryAttribute%24059%24004] of %3AEmbeddedComment
	(%3AblockLineNumber 4)
	(%3ALOAD-SEQUENCE 59)
	(%3ASUO-name "COM$contraryAttribute$059$004")
	(%3AcommentLines
		"(domain contraryAttribute 2 Attribute)"
		";; domain 2 added 11/10/03 for Protege alignment")
	(%3AisInModule [STRUCTURAL_ONTOLOGY]))

([COM%24inverse%24014%24004] of %3AEmbeddedComment
	(%3AblockLineNumber 4)
	(%3ALOAD-SEQUENCE 14)
	(%3ASUO-name "COM$inverse$014$004")
	(%3AcommentLines
		"(instance inverse SymmetricRelation)"
		";; inverse implies an inverse relation, which should be made explicit")
	(%3AisInModule [STRUCTURAL_ONTOLOGY]))

([COM%24Physical%24106%24002] of %3AEmbeddedComment
	(%3AblockLineNumber 2)
	(%3ALOAD-SEQUENCE 106)
	(%3ASUO-name "COM$Physical$106$002")
	(%3AcommentLines
		"(partition Physical Object Process)"
		";; partition implies the disjointness of the partition classes")
	(%3AisInModule [BASE_ONTOLOGY]))

([Combining] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1343)
	(disjoint [Separating])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-568]))

([Combustion] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1353)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-573]))

([CommercialAgent] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1811)
	(%3AisInModule [OBJECTS]))

([CommercialService] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1281)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-537]))

([Committing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1431)
	(disjoint
		[Stating]
		[Supposing]
		[Directing]
		[ExpressingInLanguage]
		[Declaring])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-610]))

([Communication] of %3AUBL-CLASS
	(relatedInternalConcept "ContentDevelopment")
	(%3ALOAD-SEQUENCE 1405)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-599]))

([CommutativeFunction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 367)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-141]))

([Comparing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1306)
	(%3AisInModule [PROCESSES]))

([ComplementFn] of UnaryFunction
	(%3ASUO-name "ComplementFn")
	(%3Adocumentation "\"The complement of a given &%SetOrClass C is the &%SetOrClass of all things that are not instances of C.  In other words, an object is an instance of the complement of a &%SetOrClass C just in case it is not an instance of C.\"")
	(%3AidenticalTo
		"Instance(ComplementFn_1 of Cls(TotalValuedRelation))"
		"Slot(ComplementFn_2)"))

([ComplementFn_1] of TotalValuedRelation
	(%3ASUO-name "ComplementFn")
	(%3Adocumentation "\"The complement of a given &%SetOrClass C is the &%SetOrClass of all things that are not instances of C.  In other words, an object is an instance of the complement of a &%SetOrClass C just in case it is not an instance of C.\"")
	(%3AidenticalTo
		"Instance(ComplementFn of Cls(UnaryFunction))"
		"Slot(ComplementFn_2)"))

([ComplementFn_2] of %3AUBL-SLOT
	(%3AisInModule [SET%2FCLASS_THEORY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "ComplementFn")
	(%3AidenticalTo
		"Instance(ComplementFn of Cls(UnaryFunction))"
		"Instance(ComplementFn_1 of Cls(TotalValuedRelation))")
	(%3ALOAD-SEQUENCE 567))

([completelyFills] of AsymmetricRelation
	(%3ASUO-name "completelyFills")
	(%3Adocumentation "\"(&%completelyFills ?OBJ ?HOLE) means that some &%part of the &%Object ?OBJ fills the &%Hole ?HOLE. Note that if (&%completelyFills ?OBJ1 ?HOLE) and (&%part ?OBJ1 ?OBJ2), then (&%completelyFills ?OBJ2 ?HOLE).\"")
	(%3AidenticalTo "Slot(completelyFills_1)"))

([completelyFills_1] of %3AUBL-SLOT
	(%3AisInModule [MEREOTOPOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "completelyFills")
	(%3AAXIOMS "\n(UAX-452)\n(=>\n   (completelyFills ?OBJ1 ?HOLE)\n   (exists (?OBJ2)\n      (and\n         (part ?OBJ2 ?OBJ1)\n         (fills ?OBJ2 ?HOLE))))\n")
	(%3AidenticalTo "Instance(completelyFills of Cls(AsymmetricRelation))")
	(%3ALOAD-SEQUENCE 1086))

([ComplexNumber] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 226)
	(disjoint
		[RealNumber]
		[ImaginaryNumber])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-081]))

([component] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "component")
	(%3AidenticalTo "Instance(component_1 of Cls(SpatialRelation))")
	(%3ALOAD-SEQUENCE 119))

([component_1] of SpatialRelation
	(%3ASUO-name "component")
	(%3AidenticalTo "Slot(component)"))

([CompoundSubstance] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 139)
	(disjoint [ElementalSubstance])
	(%3AisInModule [BASE_ONTOLOGY]))

([ComputerLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 165)
	(disjoint
		[AnimalLanguage]
		[HumanLanguage])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-067]))

([ComputerProgram] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1864)
	(%3AisInModule [QUALITIES]))

([conclusion] of BinaryPredicate
	(%3ASUO-name "conclusion")
	(%3Adocumentation "\"(&%conclusion ?ARGUMENT ?PROPOSITION) means that the &%Proposition ?PROPOSITION is the conclusion explicitly drawn from the &%Argument ?ARGUMENT.  Note that it may or may not be the case that ?ARGUMENT &%entails ?PROPOSITION.\"")
	(%3AidenticalTo
		"Instance(conclusion_1 of Cls(SingleValuedRelation))"
		"Slot(conclusion_3)"
		"Instance(conclusion_2 of Cls(TotalValuedRelation))"))

([conclusion_1] of SingleValuedRelation
	(%3ASUO-name "conclusion")
	(%3Adocumentation "\"(&%conclusion ?ARGUMENT ?PROPOSITION) means that the &%Proposition ?PROPOSITION is the conclusion explicitly drawn from the &%Argument ?ARGUMENT.  Note that it may or may not be the case that ?ARGUMENT &%entails ?PROPOSITION.\"")
	(%3AidenticalTo
		"Instance(conclusion of Cls(BinaryPredicate))"
		"Slot(conclusion_3)"
		"Instance(conclusion_2 of Cls(TotalValuedRelation))"))

([conclusion_2] of TotalValuedRelation
	(%3ASUO-name "conclusion")
	(%3Adocumentation "\"(&%conclusion ?ARGUMENT ?PROPOSITION) means that the &%Proposition ?PROPOSITION is the conclusion explicitly drawn from the &%Argument ?ARGUMENT.  Note that it may or may not be the case that ?ARGUMENT &%entails ?PROPOSITION.\"")
	(%3AidenticalTo
		"Instance(conclusion_1 of Cls(SingleValuedRelation))"
		"Instance(conclusion of Cls(BinaryPredicate))"
		"Slot(conclusion_3)"))

([conclusion_3] of %3AUBL-SLOT
	(%3AisInModule [QUALITIES])
	(%3ADomain1Type Instance)
	(%3ASUO-name "conclusion")
	(%3AidenticalTo
		"Instance(conclusion_1 of Cls(SingleValuedRelation))"
		"Instance(conclusion of Cls(BinaryPredicate))"
		"Instance(conclusion_2 of Cls(TotalValuedRelation))")
	(%3ALOAD-SEQUENCE 1879))

([Condensing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1497)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-642]
		[UAX-643]))

([conditionalProbability] of ProbabilityRelation
	(%3ASUO-name "conditionalProbability")
	(%3Adocumentation "\"One of the basic &%ProbabilityRelations. &%conditionalProbability is used to state the numeric value of a conditional probability.  (&%conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) means that the probability of ?FORMULA2 being true given that ?FORMULA1 is true is ?NUMBER.\"")
	(%3AidenticalTo
		"Slot(conditionalProbability_2)"
		"Instance(conditionalProbability_1 of Cls(TernaryPredicate))"))

([conditionalProbability_1] of TernaryPredicate
	(%3ASUO-name "conditionalProbability")
	(%3Adocumentation "\"One of the basic &%ProbabilityRelations. &%conditionalProbability is used to state the numeric value of a conditional probability.  (&%conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) means that the probability of ?FORMULA2 being true given that ?FORMULA1 is true is ?NUMBER.\"")
	(%3AidenticalTo
		"Instance(conditionalProbability of Cls(ProbabilityRelation))"
		"Slot(conditionalProbability_2)"))

([conditionalProbability_2] of %3ATernarySlot
	(%3ADomain1Type Instance)
	(%3ASUO-name "conditionalProbability")
	(%3ADomain2Type Instance)
	(%3AidenticalTo
		"Instance(conditionalProbability of Cls(ProbabilityRelation))"
		"Instance(conditionalProbability_1 of Cls(TernaryPredicate))")
	(%3ADomain2Class Formula)
	(%3ALOAD-SEQUENCE 287)
	(%3AisInModule [BASE_ONTOLOGY]))

([confersObligation] of TernaryPredicate
	(%3ASUO-name "confersObligation")
	(%3Adocumentation "\"Expresses the relationship between a a &%Formula, an &%Entity, and a &%CognitiveAgent when the &%Entity obligates the &%CognitiveAgent to bring it about that the &%Formula is true.\"")
	(%3AidenticalTo "Slot(confersObligation_1)"))

([confersObligation_1] of %3ATernarySlot
	(relatedInternalConcept "confersRight")
	(%3ADomain1Type Instance)
	(%3ASUO-name "confersObligation")
	(%3ADomain2Type Instance)
	(%3AAXIOMS "\n(UAX-168)\n(=>\n   (confersObligation ?FORMULA ?AGENT1 ?AGENT2)\n   (holdsObligation ?FORMULA ?AGENT2))\n")
	(%3AidenticalTo "Instance(confersObligation of Cls(TernaryPredicate))")
	(%3ADomain2Class Entity)
	(%3ALOAD-SEQUENCE 427)
	(%3AisInModule [BASE_ONTOLOGY]))

([confersRight] of TernaryPredicate
	(%3ASUO-name "confersRight")
	(%3Adocumentation "\"Expresses the relationship between a &%Formula, an &%Entity, and a &%CognitiveAgent when the &%Entity authorizes the &%CognitiveAgent to bring it about that the &%Formula is true.\"")
	(%3AidenticalTo "Slot(confersRight_1)"))

([confersRight_1] of %3ATernarySlot
	(relatedInternalConcept "confersObligation")
	(%3ADomain1Type Instance)
	(%3ASUO-name "confersRight")
	(%3ADomain2Type Instance)
	(%3AAXIOMS "\n(UAX-167)\n(=>\n   (confersRight ?FORMULA ?AGENT1 ?AGENT2)\n   (holdsRight ?FORMULA ?AGENT2))\n")
	(%3AidenticalTo "Instance(confersRight of Cls(TernaryPredicate))")
	(%3ADomain2Class Entity)
	(%3ALOAD-SEQUENCE 424)
	(%3AisInModule [BASE_ONTOLOGY]))

([Confining] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1319)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-556]
		[UAX-557]))

([connected] of BinaryPredicate
	(%3ASUO-name "connected")
	(%3Adocumentation "\"(connected ?OBJ1 ?OBJ2) means that ?OBJ1 &%meetsSpatially ?OBJ2 or that ?OBJ1 &%overlapsSpatially ?OBJ2.\"")
	(%3AidenticalTo
		"Slot(connected_4)"
		"Instance(connected_3 of Cls(SymmetricRelation))"
		"Instance(connected_2 of Cls(ReflexiveRelation))"
		"Instance(connected_1 of Cls(SpatialRelation))"))

([connected_1] of SpatialRelation
	(%3ASUO-name "connected")
	(%3Adocumentation "\"(connected ?OBJ1 ?OBJ2) means that ?OBJ1 &%meetsSpatially ?OBJ2 or that ?OBJ1 &%overlapsSpatially ?OBJ2.\"")
	(%3AidenticalTo
		"Instance(connected of Cls(BinaryPredicate))"
		"Slot(connected_4)"
		"Instance(connected_3 of Cls(SymmetricRelation))"
		"Instance(connected_2 of Cls(ReflexiveRelation))"))

([connected_2] of ReflexiveRelation
	(%3ASUO-name "connected")
	(%3Adocumentation "\"(connected ?OBJ1 ?OBJ2) means that ?OBJ1 &%meetsSpatially ?OBJ2 or that ?OBJ1 &%overlapsSpatially ?OBJ2.\"")
	(%3AidenticalTo
		"Instance(connected of Cls(BinaryPredicate))"
		"Slot(connected_4)"
		"Instance(connected_3 of Cls(SymmetricRelation))"
		"Instance(connected_1 of Cls(SpatialRelation))"))

([connected_3] of SymmetricRelation
	(%3ASUO-name "connected")
	(%3Adocumentation "\"(connected ?OBJ1 ?OBJ2) means that ?OBJ1 &%meetsSpatially ?OBJ2 or that ?OBJ1 &%overlapsSpatially ?OBJ2.\"")
	(%3AidenticalTo
		"Instance(connected of Cls(BinaryPredicate))"
		"Slot(connected_4)"
		"Instance(connected_2 of Cls(ReflexiveRelation))"
		"Instance(connected_1 of Cls(SpatialRelation))"))

([connected_4] of %3AUBL-SLOT
	(%3AisInModule [MEREOTOPOLOGY])
	(disjointRelation [crosses_2])
	(%3ADomain1Type Instance)
	(%3ASUO-name "connected")
	(%3AAXIOMS "\n(UAX-419)\n(=>\n     (connected ?OBJ1 ?OBJ2)\n     (or\n          (meetsSpatially ?OBJ1 ?OBJ2)\n          (overlapsSpatially ?OBJ1 ?OBJ2)))\n\n(UAX-420)\n(<=>\n   (instance ?OBJ SelfConnectedObject)\n   (forall (?PART1 ?PART2)\n      (=>\n         (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))\n         (connected ?PART1 ?PART2))))\n")
	(%3AidenticalTo
		"Instance(connected of Cls(BinaryPredicate))"
		"Instance(connected_3 of Cls(SymmetricRelation))"
		"Instance(connected_2 of Cls(ReflexiveRelation))"
		"Instance(connected_1 of Cls(SpatialRelation))")
	(%3ALOAD-SEQUENCE 1021))

([connectedEngineeringComponents] of SymmetricRelation
	(%3ASUO-name "connectedEngineeringComponents")
	(%3Adocumentation "\"This is the most general connection relation between &%EngineeringComponents.  If (&%connectedEngineeringComponents ?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an &%engineeringSubcomponent of the other.  The relation &%connectedEngineeringComponents is a &%SymmetricRelation; there is no information in the direction of connection between two components.  It is also an &%IrreflexiveRelation; no &%EngineeringComponent bears this relation to itself.  Note that this relation does not associate a name or type with the connection.\"")
	(%3AidenticalTo
		"Instance(connectedEngineeringComponents_4 of Cls(SpatialRelation))"
		"Instance(connectedEngineeringComponents_1 of Cls(IrreflexiveRelation))"
		"Instance(connectedEngineeringComponents_3 of Cls(BinaryPredicate))"
		"Slot(connectedEngineeringComponents_2)"))

([connectedEngineeringComponents_1] of IrreflexiveRelation
	(%3ASUO-name "connectedEngineeringComponents")
	(%3Adocumentation "\"This is the most general connection relation between &%EngineeringComponents.  If (&%connectedEngineeringComponents ?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an &%engineeringSubcomponent of the other.  The relation &%connectedEngineeringComponents is a &%SymmetricRelation; there is no information in the direction of connection between two components.  It is also an &%IrreflexiveRelation; no &%EngineeringComponent bears this relation to itself.  Note that this relation does not associate a name or type with the connection.\"")
	(%3AidenticalTo
		"Instance(connectedEngineeringComponents of Cls(SymmetricRelation))"
		"Instance(connectedEngineeringComponents_4 of Cls(SpatialRelation))"
		"Instance(connectedEngineeringComponents_3 of Cls(BinaryPredicate))"
		"Slot(connectedEngineeringComponents_2)"))

([connectedEngineeringComponents_2] of %3AUBL-SLOT
	(%3AisInModule [OBJECTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "connectedEngineeringComponents")
	(%3AAXIOMS "\n(UAX-763)\n(=>\n   (connectedEngineeringComponents ?COMP1 ?COMP2)\n   (and\n      (not\n         (engineeringSubcomponent ?COMP1 ?COMP2))\n      (not\n         (engineeringSubcomponent ?COMP2 ?COMP1))))\n\n(UAX-764)\n(=>\n   (connectedEngineeringComponents ?COMP1 ?COMP2)\n   (not\n      (or\n         (instance ?COMP1 EngineeringConnection)\n         (instance ?COMP2 EngineeringConnection))))\n\n(UAX-765)\n(<=>\n   (connectedEngineeringComponents ?COMP1 ?COMP2)\n   (exists (?CONNECTION)\n      (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))\n")
	(%3AidenticalTo
		"Instance(connectedEngineeringComponents of Cls(SymmetricRelation))"
		"Instance(connectedEngineeringComponents_4 of Cls(SpatialRelation))"
		"Instance(connectedEngineeringComponents_1 of Cls(IrreflexiveRelation))"
		"Instance(connectedEngineeringComponents_3 of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 1803))

([connectedEngineeringComponents_3] of BinaryPredicate
	(%3ASUO-name "connectedEngineeringComponents")
	(%3AidenticalTo
		"Instance(connectedEngineeringComponents of Cls(SymmetricRelation))"
		"Instance(connectedEngineeringComponents_4 of Cls(SpatialRelation))"
		"Instance(connectedEngineeringComponents_1 of Cls(IrreflexiveRelation))"
		"Slot(connectedEngineeringComponents_2)"))

([connectedEngineeringComponents_4] of SpatialRelation
	(%3ASUO-name "connectedEngineeringComponents")
	(%3AidenticalTo
		"Instance(connectedEngineeringComponents of Cls(SymmetricRelation))"
		"Instance(connectedEngineeringComponents_1 of Cls(IrreflexiveRelation))"
		"Instance(connectedEngineeringComponents_3 of Cls(BinaryPredicate))"
		"Slot(connectedEngineeringComponents_2)"))

([connects] of SpatialRelation
	(%3ASUO-name "connects")
	(%3Adocumentation "\"The relationship between three things, when one of the three things connects the other two.  More formally, (&%connects ?OBJ1 ?OBJ2 ?OBJ3) means that (&%connected ?OBJ1 ?OBJ2) and (&%connected ?OBJ1 ?OBJ3) and not (&%connected ?OBJ2 ?OBJ3).\"")
	(%3AidenticalTo
		"Instance(connects_1 of Cls(TernaryPredicate))"
		"Slot(connects_2)"))

([connects_1] of TernaryPredicate
	(%3ASUO-name "connects")
	(%3Adocumentation "\"The relationship between three things, when one of the three things connects the other two.  More formally, (&%connects ?OBJ1 ?OBJ2 ?OBJ3) means that (&%connected ?OBJ1 ?OBJ2) and (&%connected ?OBJ1 ?OBJ3) and not (&%connected ?OBJ2 ?OBJ3).\"")
	(%3AidenticalTo
		"Instance(connects of Cls(SpatialRelation))"
		"Slot(connects_2)"))

([connects_2] of %3ATernarySlot
	(%3ADomain1Type Instance)
	(%3ASUO-name "connects")
	(%3ADomain2Type Instance)
	(%3AAXIOMS "\n(UAX-421)\n(<=>\n   (connects ?OBJ1 ?OBJ2 ?OBJ3)\n   (and\n      (connected ?OBJ1 ?OBJ2)\n      (connected ?OBJ1 ?OBJ3)\n      (not\n         (connected ?OBJ2 ?OBJ3))))\n")
	(%3AidenticalTo
		"Instance(connects_1 of Cls(TernaryPredicate))"
		"Instance(connects of Cls(SpatialRelation))")
	(%3ADomain2Class SelfConnectedObject)
	(%3ALOAD-SEQUENCE 1024)
	(%3AisInModule [MEREOTOPOLOGY]))

([connectsEngineeringComponents] of %3ATernarySlot
	(%3ADomain1Type Instance)
	(%3ASUO-name "connectsEngineeringComponents")
	(%3ADomain2Type Instance)
	(%3AidenticalTo
		"Instance(connectsEngineeringComponents_2 of Cls(SpatialRelation))"
		"Instance(connectsEngineeringComponents_1 of Cls(TernaryPredicate))")
	(%3ADomain2Class EngineeringComponent)
	(%3ALOAD-SEQUENCE 1809)
	(%3AisInModule [OBJECTS]))

([connectsEngineeringComponents_1] of TernaryPredicate
	(%3ASUO-name "connectsEngineeringComponents")
	(%3AidenticalTo
		"Instance(connectsEngineeringComponents_2 of Cls(SpatialRelation))"
		"Slot(connectsEngineeringComponents)"))

([connectsEngineeringComponents_2] of SpatialRelation
	(%3ASUO-name "connectsEngineeringComponents")
	(%3AidenticalTo
		"Slot(connectsEngineeringComponents)"
		"Instance(connectsEngineeringComponents_1 of Cls(TernaryPredicate))"))

([ConsciousnessAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2097)
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-874]))

([considers] of PropositionalAttitude
	(%3ASUO-name "considers")
	(%3Adocumentation "\"(&%considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA.\"")
	(%3AidenticalTo
		"Slot(considers_1)"
		"Instance(considers_2 of Cls(BinaryPredicate))"))

([considers_1] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "considers")
	(%3AidenticalTo
		"Instance(considers_2 of Cls(BinaryPredicate))"
		"Instance(considers of Cls(PropositionalAttitude))")
	(%3ALOAD-SEQUENCE 313))

([considers_2] of BinaryPredicate
	(%3ASUO-name "considers")
	(%3AidenticalTo
		"Slot(considers_1)"
		"Instance(considers of Cls(PropositionalAttitude))"))

([consistent] of BinaryPredicate
	(%3ASUO-name "consistent")
	(%3Adocumentation "\"(&%consistent ?PROP1 ?PROP2) means that the two &%Propositions ?PROP1 and ?PROP2 are consistent with one another, i.e. it is possible for both of them to be true at the same time.\"")
	(%3AidenticalTo
		"Slot(consistent_2)"
		"Instance(consistent_1 of Cls(SymmetricRelation))"))

([consistent_1] of SymmetricRelation
	(%3ASUO-name "consistent")
	(%3Adocumentation "\"(&%consistent ?PROP1 ?PROP2) means that the two &%Propositions ?PROP1 and ?PROP2 are consistent with one another, i.e. it is possible for both of them to be true at the same time.\"")
	(%3AidenticalTo
		"Slot(consistent_2)"
		"Instance(consistent of Cls(BinaryPredicate))"))

([consistent_2] of %3AUBL-SLOT
	(%3AisInModule [QUALITIES])
	(%3ADomain1Type Instance)
	(%3ASUO-name "consistent")
	(%3AidenticalTo
		"Instance(consistent of Cls(BinaryPredicate))"
		"Instance(consistent_1 of Cls(SymmetricRelation))")
	(%3ALOAD-SEQUENCE 1880))

([ConstantQuantity] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 229)
	(disjoint [FunctionQuantity])
	(%3AisInModule [BASE_ONTOLOGY]))

([ConstructedLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 169)
	(disjoint [NaturalLanguage])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-069]))

([Constructing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1385)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-588]))

([contains] of SpatialRelation
	(%3ASUO-name "contains")
	(%3Adocumentation "\"The relation of spatial containment for two separable objects.  When the two objects are not separable (e.g. an automobile and one of its seats), the relation of &%part should be used. (&%contains ?OBJ1 ?OBJ2) means that the &%SelfConnectedObject ?OBJ1 has a space (i.e. a &%Hole) which is at least partially filled by ?OBJ2.\"")
	(%3AidenticalTo
		"Slot(contains_2)"
		"Instance(contains_1 of Cls(AsymmetricRelation))"
		"Instance(contains_3 of Cls(BinaryPredicate))"))

([contains_1] of AsymmetricRelation
	(%3ASUO-name "contains")
	(%3Adocumentation "\"The relation of spatial containment for two separable objects.  When the two objects are not separable (e.g. an automobile and one of its seats), the relation of &%part should be used. (&%contains ?OBJ1 ?OBJ2) means that the &%SelfConnectedObject ?OBJ1 has a space (i.e. a &%Hole) which is at least partially filled by ?OBJ2.\"")
	(%3AidenticalTo
		"Slot(contains_2)"
		"Instance(contains of Cls(SpatialRelation))"
		"Instance(contains_3 of Cls(BinaryPredicate))"))

([contains_2] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(disjointRelation [part_2])
	(%3ADomain1Type Instance)
	(%3ASUO-name "contains")
	(%3AAXIOMS "\n(UAX-052)\n(<=>\n   (contains ?OBJ1 ?OBJ2)\n   (exists (?HOLE)\n      (and\n         (hole ?HOLE ?OBJ1)\n         (properlyFills ?OBJ2 ?HOLE))))\n")
	(%3AidenticalTo
		"Instance(contains of Cls(SpatialRelation))"
		"Instance(contains_1 of Cls(AsymmetricRelation))"
		"Instance(contains_3 of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 121))

([contains_3] of BinaryPredicate
	(%3ASUO-name "contains")
	(%3AidenticalTo
		"Slot(contains_2)"
		"Instance(contains of Cls(SpatialRelation))"
		"Instance(contains_1 of Cls(AsymmetricRelation))"))

([containsInformation] of BinaryPredicate
	(%3ASUO-name "containsInformation")
	(%3Adocumentation "\"A subrelation of &%represents.  This predicate relates a &%ContentBearingObject to the &%Proposition that is expressed by the &%ContentBearingObject. Examples include the relationships between a physical novel and its story and between a printed score and its musical content.\"")
	(%3AidenticalTo
		"Slot(containsInformation_2)"
		"Instance(containsInformation_1 of Cls(AsymmetricRelation))"))

([containsInformation_1] of AsymmetricRelation
	(%3ASUO-name "containsInformation")
	(%3Adocumentation "\"A subrelation of &%represents.  This predicate relates a &%ContentBearingObject to the &%Proposition that is expressed by the &%ContentBearingObject. Examples include the relationships between a physical novel and its story and between a printed score and its musical content.\"")
	(%3AidenticalTo
		"Slot(containsInformation_2)"
		"Instance(containsInformation of Cls(BinaryPredicate))"))

([containsInformation_2] of %3AUBL-SLOT
	(relatedInternalConcept
		"ContentBearingObject"
		"realization")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "containsInformation")
	(%3AidenticalTo
		"Instance(containsInformation of Cls(BinaryPredicate))"
		"Instance(containsInformation_1 of Cls(AsymmetricRelation))")
	(%3ALOAD-SEQUENCE 157))

([ContentBearingObject] of %3AUBL-CLASS
	(relatedInternalConcept "containsInformation")
	(%3ALOAD-SEQUENCE 153)
	(%3AisInModule [BASE_ONTOLOGY]))

([ContentDevelopment] of %3AUBL-CLASS
	(relatedInternalConcept "Communication")
	(%3ALOAD-SEQUENCE 1366)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-579]))

([Contest] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1445)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-617]))

([ContestAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1954)
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-824]))

([Continent] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1527)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-654]))

([ContinuousFunction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 373)
	(%3AisInModule [BASE_ONTOLOGY]))

([Contract] of DeonticAttribute
	(contraryAttribute_2 [NakedPromise])
	(%3Adocumentation "\"&%Attribute that applies to &%Propositions that an &%Agent is required, by some authority, to make true.\""))

([contraryAttribute] of Predicate
	(%3ASUO-name "contraryAttribute")
	(%3Adocumentation "\"A &%contraryAttribute is a set of &%Attributes such that something can not simultaneously have more than one of these &%Attributes. For example, (&%contraryAttribute &%Pliable &%Rigid) means that nothing can be both &%Pliable and &%Rigid.\"")
	(%3AidenticalTo
		"Slot(contraryAttribute_2)"
		"Instance(contraryAttribute_1 of Cls(VariableArityRelation))"))

([contraryAttribute%247] of %3ASUMOProposition
	(%3Adocumentation "\"A &%Promise where nothing is promised in return, i.e. a nudum pactum.\"")
	(%3ALOAD-SEQUENCE 1973)
	(%3AliteralTranscription "(contraryAttribute NakedPromise Contract)")
	(%3AisInModule [QUALITIES])
	(%3AargumentList
		"contraryAttribute"
		"NakedPromise"
		"Contract"))

([contraryAttribute_1] of VariableArityRelation
	(%3ASUO-name "contraryAttribute")
	(%3Adocumentation "\"A &%contraryAttribute is a set of &%Attributes such that something can not simultaneously have more than one of these &%Attributes. For example, (&%contraryAttribute &%Pliable &%Rigid) means that nothing can be both &%Pliable and &%Rigid.\"")
	(%3AidenticalTo
		"Instance(contraryAttribute of Cls(Predicate))"
		"Slot(contraryAttribute_2)"))

([contraryAttribute_2] of %3AVariableAritySlot
	(%3ADomain1Type Instance)
	(%3ASUO-name "contraryAttribute")
	(%3AAXIOMS "\n(UAX-033)\n(=>\n   (contraryAttribute @ROW)\n   (=>\n      (inList ?ELEMENT (ListFn @ROW))\n      (instance ?ELEMENT Attribute)))\n\n(UAX-034)\n(=>\n   (contraryAttribute @ROW)\n   (forall (?ATTR1 ?ATTR2)\n      (=>\n         (and\n            (equal ?ATTR1 (ListOrderFn (ListFn @ROW) ?NUMBER1))\n            (equal ?ATTR2 (ListOrderFn (ListFn @ROW) ?NUMBER2))\n            (not (equal ?NUMBER1 ?NUMBER2)))\n         (=>\n            (property ?OBJ ?ATTR1)\n            (not (property ?OBJ ?ATTR2))))))\n")
	(%3AidenticalTo
		"Instance(contraryAttribute of Cls(Predicate))"
		"Instance(contraryAttribute_1 of Cls(VariableArityRelation))")
	(%3ALOAD-SEQUENCE 59)
	(%3AisInModule [STRUCTURAL_ONTOLOGY]))

([cooccur] of BinaryPredicate
	(%3ASUO-name "cooccur")
	(%3Adocumentation "\"(&%cooccur ?THING1 ?THING2) means that the &%Object or &%Process ?THING1 occurs at the same time as, together with, or jointly with the &%Object or &%Process ?THING2.  This covers the following temporal relations:  is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with.\"")
	(%3AidenticalTo
		"Instance(cooccur_1 of Cls(TemporalRelation))"
		"Slot(cooccur_3)"
		"Instance(cooccur_2 of Cls(EquivalenceRelation))"))

([cooccur_1] of TemporalRelation
	(%3ASUO-name "cooccur")
	(%3Adocumentation "\"(&%cooccur ?THING1 ?THING2) means that the &%Object or &%Process ?THING1 occurs at the same time as, together with, or jointly with the &%Object or &%Process ?THING2.  This covers the following temporal relations:  is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with.\"")
	(%3AidenticalTo
		"Instance(cooccur of Cls(BinaryPredicate))"
		"Slot(cooccur_3)"
		"Instance(cooccur_2 of Cls(EquivalenceRelation))"))

([cooccur_2] of EquivalenceRelation
	(%3ASUO-name "cooccur")
	(%3Adocumentation "\"(&%cooccur ?THING1 ?THING2) means that the &%Object or &%Process ?THING1 occurs at the same time as, together with, or jointly with the &%Object or &%Process ?THING2.  This covers the following temporal relations:  is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with.\"")
	(%3AidenticalTo
		"Instance(cooccur_1 of Cls(TemporalRelation))"
		"Instance(cooccur of Cls(BinaryPredicate))"
		"Slot(cooccur_3)"))

([cooccur_3] of %3AUBL-SLOT
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "cooccur")
	(%3AAXIOMS "\n(UAX-348)\n(<=>\n   (cooccur ?PHYS1 ?PHYS2)\n   (equal (WhenFn ?PHYS1) (WhenFn ?PHYS2)))\n")
	(%3AidenticalTo
		"Instance(cooccur_1 of Cls(TemporalRelation))"
		"Instance(cooccur of Cls(BinaryPredicate))"
		"Instance(cooccur_2 of Cls(EquivalenceRelation))")
	(%3ALOAD-SEQUENCE 900))

([Cooking] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1390)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-590]))

([Cooling] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1192)
	(disjoint [Heating])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-499]))

([Cooperation] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1440)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-614]))

([CoordinatedUniversalTimeZone] of TimeZone
	(%3ASUO-name "CoordinatedUniversalTimeZone")
	(%3Adocumentation "\"A &%TimeZone which functions as the standard time zone.  It is also known as Zulu time (in the military), Greenwich Mean Time, and the Western European time zone.  Note that whenever a &%TimeZone is not specified, the &%TimePosition is understood to be with respect to the &%CoordinatedUniversalTimeZone.\""))

([copy] of BinaryPredicate
	(%3ASUO-name "copy")
	(%3Adocumentation "\"relates an &%Object to an exact copy of the &%Object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/or temporal location.\"")
	(%3AidenticalTo
		"Instance(copy_1 of Cls(EquivalenceRelation))"
		"Slot(copy_2)"))

([copy_1] of EquivalenceRelation
	(%3ASUO-name "copy")
	(%3Adocumentation "\"relates an &%Object to an exact copy of the &%Object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/or temporal location.\"")
	(%3AidenticalTo
		"Slot(copy_2)"
		"Instance(copy of Cls(BinaryPredicate))"))

([copy_2] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "copy")
	(%3AAXIOMS "\n(UAX-160)\n(=>\n   (copy ?OBJ1 ?OBJ2)\n   (forall (?ATTR)\n      (=>\n         (attribute ?OBJ1 ?ATTR)\n         (attribute ?OBJ2 ?ATTR))))\n")
	(%3AidenticalTo
		"Instance(copy_1 of Cls(EquivalenceRelation))"
		"Instance(copy of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 408))

([Corporation] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1812)
	(%3AisInModule [OBJECTS]))

([CorpuscularObject] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 144)
	(disjoint [Substance])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-061]))

([CosineFn] of UnaryFunction
	(%3ASUO-name "CosineFn")
	(%3Adocumentation "\"(&%CosineFn ?DEGREE) returns the cosine of the &%PlaneAngleMeasure ?DEGREE.  The cosine of ?DEGREE is the ratio of the side next to ?DEGREE to the hypotenuse in a right-angled triangle.\"")
	(%3AidenticalTo
		"Slot(CosineFn_2)"
		"Instance(CosineFn_1 of Cls(TotalValuedRelation))"))

([CosineFn_1] of TotalValuedRelation
	(%3ASUO-name "CosineFn")
	(%3Adocumentation "\"(&%CosineFn ?DEGREE) returns the cosine of the &%PlaneAngleMeasure ?DEGREE.  The cosine of ?DEGREE is the ratio of the side next to ?DEGREE to the hypotenuse in a right-angled triangle.\"")
	(%3AidenticalTo
		"Instance(CosineFn of Cls(UnaryFunction))"
		"Slot(CosineFn_2)"))

([CosineFn_2] of %3AUBL-SLOT
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "CosineFn")
	(%3AidenticalTo
		"Instance(CosineFn of Cls(UnaryFunction))"
		"Instance(CosineFn_1 of Cls(TotalValuedRelation))")
	(%3ALOAD-SEQUENCE 495))

([Coulomb] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 719)
	(%3AidenticalTo "Instance(Coulomb_1 of Cls(SystemeInternationalUnit))")
	(%3AisInModule [UNITS_OF_MEASURE]))

([Coulomb_1] of SystemeInternationalUnit
	(%3Adocumentation "SI electric charge measure.  Symbol: C. It is the quantity of electric charge transported through a cross section of a conductor in an electric circuit during each &%SecondDuration by a current of 1 &%Ampere.  Coulomb = s*A.")
	(%3AidenticalTo "Cls(Coulomb)"))

([Counting] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1310)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-551]))

([Covering] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1227)
	(disjoint [Uncovering])
	(%3AisInModule [PROCESSES]))

([Creation] of %3AUBL-CLASS
	(relatedInternalConcept "Destruction")
	(%3ALOAD-SEQUENCE 1381)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-586]
		[UAX-587]))

([crosses] of AsymmetricRelation
	(%3ASUO-name "crosses")
	(%3Adocumentation "\"(crosses ?OBJ1 ?OBJ2) means that &%Object ?OBJ1 &%traverses Object ?OBJ2, without being &%connected to it.\"")
	(%3AidenticalTo
		"Instance(crosses_1 of Cls(TransitiveRelation))"
		"Instance(crosses_4 of Cls(BinaryRelation))"
		"Slot(crosses_2)"
		"Instance(crosses_3 of Cls(SpatialRelation))"))

([crosses_1] of TransitiveRelation
	(%3ASUO-name "crosses")
	(%3Adocumentation "\"(crosses ?OBJ1 ?OBJ2) means that &%Object ?OBJ1 &%traverses Object ?OBJ2, without being &%connected to it.\"")
	(%3AidenticalTo
		"Instance(crosses of Cls(AsymmetricRelation))"
		"Instance(crosses_4 of Cls(BinaryRelation))"
		"Slot(crosses_2)"
		"Instance(crosses_3 of Cls(SpatialRelation))"))

([crosses_2] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(disjointRelation [connected_4])
	(%3ADomain1Type Instance)
	(%3ASUO-name "crosses")
	(%3AidenticalTo
		"Instance(crosses_1 of Cls(TransitiveRelation))"
		"Instance(crosses of Cls(AsymmetricRelation))"
		"Instance(crosses_4 of Cls(BinaryRelation))"
		"Instance(crosses_3 of Cls(SpatialRelation))")
	(%3ALOAD-SEQUENCE 440))

([crosses_3] of SpatialRelation
	(%3ASUO-name "crosses")
	(%3AidenticalTo
		"Instance(crosses_1 of Cls(TransitiveRelation))"
		"Instance(crosses of Cls(AsymmetricRelation))"
		"Instance(crosses_4 of Cls(BinaryRelation))"
		"Slot(crosses_2)"))

([crosses_4] of BinaryRelation
	(%3AidenticalTo
		"Instance(crosses_1 of Cls(TransitiveRelation))"
		"Instance(crosses of Cls(AsymmetricRelation))"
		"Slot(crosses_2)"
		"Instance(crosses_3 of Cls(SpatialRelation))")
	(%3ASUO-name "crosses"))

([Crustacean] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1595)
	(disjoint
		[Arachnid]
		[Myriapod]
		[Insect])
	(%3AisInModule [OBJECTS]))

([Cup] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 782)
	(%3AidenticalTo "Instance(Cup_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-295]))

([Cup_1] of UnitOfMeasure
	(%3Adocumentation "English unit of volume equal to 1/2 of a &%Pint.")
	(%3AidenticalTo "Cls(Cup)"))

([Currency] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1741)
	(partition
		[CurrencyBill]
		[CurrencyCoin])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-734]))

([CurrencyBill] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1743)
	(disjoint [CurrencyCoin])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-735]))

([CurrencyCoin] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1745)
	(disjoint [CurrencyBill])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-736]))

([CurrencyMeasure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 650)
	(%3AisInModule [UNITS_OF_MEASURE]))

([CutSetFn] of UnaryFunction
	(%3ASUO-name "CutSetFn")
	(%3Adocumentation "\"A &%UnaryFunction that assigns a &%Graph the &%Class of &%GraphPaths that partition the graph into two separate graphs if cut.  There may be more than one cutset for a given graph.\"")
	(%3AidenticalTo "Slot(CutSetFn_1)"))

([CutSetFn_1] of %3AUBL-SLOT
	(relatedInternalConcept "MinimalCutSetFn")
	(%3AisInModule [GRAPH_THEORY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "CutSetFn")
	(%3AidenticalTo "Instance(CutSetFn of Cls(UnaryFunction))")
	(%3ALOAD-SEQUENCE 633))

([Cutting] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1338)
	(%3AisInModule [PROCESSES]))

([Damaging] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1329)
	(disjoint [Repairing])
	(%3AisInModule [PROCESSES]))

([Damp] of SaturationAttribute
	(contraryAttribute_2 [Dry])
	(%3ASUO-name "Damp")
	(%3Adocumentation "\"An &%Attribute which indicates that the associated &%Object contains some &%Liquid.\""))

([Dancing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1211)
	(%3AisInModule [PROCESSES]))

([date] of BinaryPredicate
	(%3ASUO-name "date")
	(%3Adocumentation "\"A &%BinaryPredicate that specifies a &%TimePosition in absolute calendar time, at the resolution of one day, for a particular &%Object or &%Process.\"")
	(%3AidenticalTo
		"Instance(date_1 of Cls(SingleValuedRelation))"
		"Instance(date_2 of Cls(AsymmetricRelation))"
		"Instance(date_4 of Cls(TemporalRelation))"
		"Slot(date_3)"))

([date_1] of SingleValuedRelation
	(%3ASUO-name "date")
	(%3Adocumentation "\"A &%BinaryPredicate that specifies a &%TimePosition in absolute calendar time, at the resolution of one day, for a particular &%Object or &%Process.\"")
	(%3AidenticalTo
		"Instance(date_2 of Cls(AsymmetricRelation))"
		"Instance(date of Cls(BinaryPredicate))"
		"Instance(date_4 of Cls(TemporalRelation))"
		"Slot(date_3)"))

([date_2] of AsymmetricRelation
	(%3ASUO-name "date")
	(%3Adocumentation "\"A &%BinaryPredicate that specifies a &%TimePosition in absolute calendar time, at the resolution of one day, for a particular &%Object or &%Process.\"")
	(%3AidenticalTo
		"Instance(date_1 of Cls(SingleValuedRelation))"
		"Instance(date of Cls(BinaryPredicate))"
		"Instance(date_4 of Cls(TemporalRelation))"
		"Slot(date_3)"))

([date_3] of %3AUBL-SLOT
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "date")
	(%3AidenticalTo
		"Instance(date_1 of Cls(SingleValuedRelation))"
		"Instance(date_2 of Cls(AsymmetricRelation))"
		"Instance(date of Cls(BinaryPredicate))"
		"Instance(date_4 of Cls(TemporalRelation))")
	(%3ALOAD-SEQUENCE 920))

([date_4] of TemporalRelation
	(%3ASUO-name "date")
	(%3AidenticalTo
		"Instance(date_1 of Cls(SingleValuedRelation))"
		"Instance(date_2 of Cls(AsymmetricRelation))"
		"Instance(date of Cls(BinaryPredicate))"
		"Slot(date_3)"))

([daughter] of %3AUBL-SLOT
	(%3AisInModule [OBJECTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "daughter")
	(%3ALOAD-SEQUENCE 1562))

([Day] of %3AUBL-CLASS
	(relatedInternalConcept
		"DayFn"
		"DayDuration")
	(%3ALOAD-SEQUENCE 978)
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASLOT-CONSTRAINTS [UAX-394]))

([DayDuration] of %3AUBL-CLASS
	(relatedInternalConcept "Day")
	(%3ALOAD-SEQUENCE 749)
	(%3AidenticalTo "Instance(DayDuration_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-281]))

([DayDuration_1] of UnitOfMeasure
	(%3Adocumentation "Time unit. 1 day = 24 hours.")
	(%3AidenticalTo "Cls(DayDuration)"))

([DayFn] of BinaryFunction
	(%3ASUO-name "DayFn")
	(%3Adocumentation "\"A &%BinaryFunction that assigns a &%PositiveRealNumber and a subclass of &%Months to the &%Days within each &%Month corresponding to that &%PositiveRealNumber.  For example, (&%DayFn 16 &%August) is the &%Class of all sixteenth days of August.  For another example, (&%DayFn 9 &%Month) would return the class of all ninth days of any month.  For still another example, (&%DayFn 18 (&%MonthFn 8 (YearFn 1912))) denotes the 18th day of August 1912.\"")
	(%3AidenticalTo
		"Instance(DayFn_1 of Cls(TemporalRelation))"
		"Slot(DayFn_2)"))

([DayFn_1] of TemporalRelation
	(%3ASUO-name "DayFn")
	(%3Adocumentation "\"A &%BinaryFunction that assigns a &%PositiveRealNumber and a subclass of &%Months to the &%Days within each &%Month corresponding to that &%PositiveRealNumber.  For example, (&%DayFn 16 &%August) is the &%Class of all sixteenth days of August.  For another example, (&%DayFn 9 &%Month) would return the class of all ninth days of any month.  For still another example, (&%DayFn 18 (&%MonthFn 8 (YearFn 1912))) denotes the 18th day of August 1912.\"")
	(%3AidenticalTo
		"Instance(DayFn of Cls(BinaryFunction))"
		"Slot(DayFn_2)"))

([DayFn_2] of %3ATernarySlot
	(relatedInternalConcept "Day")
	(%3ADomain1Type Instance)
	(%3ASUO-name "DayFn")
	(%3ADomain2Type Class)
	(%3AAXIOMS "\n(UAX-358)\n(=>\n   (instance ?DAY (DayFn ?NUMBER ?MONTH))\n   (lessThanOrEqualTo ?NUMBER 31))\n\n(UAX-359)\n(=>\n   (and\n      (instance ?DAY1 (DayFn ?NUMBER1 ?MONTH))\n      (instance ?DAY2 (DayFn ?NUMBER2 ?MONTH))\n      (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1))\n   (meetsTemporally ?DAY1 ?DAY2))\n")
	(%3AidenticalTo
		"Instance(DayFn_1 of Cls(TemporalRelation))"
		"Instance(DayFn of Cls(BinaryFunction))")
	(%3ADomain2Class Month)
	(%3ALOAD-SEQUENCE 923)
	(%3AisInModule [TEMPORAL_CONCEPTS]))

([Dead] of AnimacyAttribute
	(%3ASUO-name "Dead")
	(%3Adocumentation "\"This &%Attribute applies to &%Organisms that are not alive.\"")
	(%3AAXIOMS "\n(UAX-862)\n(=>\n   (instance ?ORG Organism)\n   (exists (?ATTR)\n      (and\n         (instance ?ATTR AnimacyAttribute)\n         (attribute ?ORG ?ATTR))))\n")
	(%3AidenticalTo "Instance(Dead_1 of Cls(ConsciousnessAttribute))"))

([Dead_1] of ConsciousnessAttribute
	(contraryAttribute_2 [Living])
	(%3Adocumentation "\"This &%Attribute applies to &%Organisms that are neither &%Unconscious nor &%Asleep.\"")
	(%3AidenticalTo "Instance(Dead of Cls(AnimacyAttribute))"))

([Death] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1119)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-465]
		[UAX-466]))

([December] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 975)
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-392]
		[UAX-393]))

([Deciding] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1299)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-546]))

([Declaring] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1434)
	(disjoint
		[Stating]
		[Supposing]
		[Directing]
		[Committing]
		[ExpressingInLanguage])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-611]))

([Decoding] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1372)
	(disjoint [Encoding])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-581]))

([decreasesLikelihood] of ProbabilityRelation
	(%3ASUO-name "decreasesLikelihood")
	(%3Adocumentation "\"One of the basic &%ProbabilityRelations. (&%decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.\"")
	(%3AidenticalTo
		"Slot(decreasesLikelihood_3)"
		"Instance(decreasesLikelihood_2 of Cls(IrreflexiveRelation))"
		"Instance(decreasesLikelihood_1 of Cls(BinaryPredicate))"))

([decreasesLikelihood_1] of BinaryPredicate
	(%3ASUO-name "decreasesLikelihood")
	(%3Adocumentation "\"One of the basic &%ProbabilityRelations. (&%decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.\"")
	(%3AidenticalTo
		"Slot(decreasesLikelihood_3)"
		"Instance(decreasesLikelihood of Cls(ProbabilityRelation))"
		"Instance(decreasesLikelihood_2 of Cls(IrreflexiveRelation))"))

([decreasesLikelihood_2] of IrreflexiveRelation
	(%3ASUO-name "decreasesLikelihood")
	(%3Adocumentation "\"One of the basic &%ProbabilityRelations. (&%decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.\"")
	(%3AidenticalTo
		"Slot(decreasesLikelihood_3)"
		"Instance(decreasesLikelihood of Cls(ProbabilityRelation))"
		"Instance(decreasesLikelihood_1 of Cls(BinaryPredicate))"))

([decreasesLikelihood_3] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(disjointRelation
		[increasesLikelihood_3]
		[independentProbability_3])
	(%3ADomain1Type Instance)
	(%3ASUO-name "decreasesLikelihood")
	(%3AAXIOMS "\n(UAX-099)\n(=>\n   (and\n      (decreasesLikelihood ?FORMULA1 ?FORMULA2)\n      (equal (ProbabilityFn ?FORMULA2) ?NUMBER1)\n      (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))\n   (lessThan ?NUMBER2 ?NUMBER1))\n")
	(%3AidenticalTo
		"Instance(decreasesLikelihood of Cls(ProbabilityRelation))"
		"Instance(decreasesLikelihood_2 of Cls(IrreflexiveRelation))"
		"Instance(decreasesLikelihood_1 of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 290))

([Decreasing] of %3AUBL-CLASS
	(relatedInternalConcept "Removing")
	(%3ALOAD-SEQUENCE 1190)
	(disjoint [Increasing])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-498]))

([DeductiveArgument] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1871)
	(partition
		[ValidDeductiveArgument]
		[InvalidDeductiveArgument])
	(%3AisInModule [QUALITIES]))

([DefaultModule] of %3AModule
	(%3Adocumentation "The DefaulModule is the module to which input data blocks are assigned until the first module definition block is encountered.")
	(%3ASUO-name "DefaultModule")
	(%3AStartingBlock 0)
	(%3AinputFile "testin.kif"))

([DefensiveManeuver] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1462)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-625]
		[UAX-626]
		[UAX-627]))

([Demonstrating] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1409)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-601]))

([DenominatorFn] of UnaryFunction
	(%3ASUO-name "DenominatorFn")
	(%3Adocumentation "\"(&%DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the &%RealNumber ?NUMBER.\"")
	(%3AidenticalTo
		"Slot(DenominatorFn_2)"
		"Instance(DenominatorFn_1 of Cls(TotalValuedRelation))"))

([DenominatorFn_1] of TotalValuedRelation
	(%3ASUO-name "DenominatorFn")
	(%3Adocumentation "\"(&%DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the &%RealNumber ?NUMBER.\"")
	(%3AidenticalTo
		"Slot(DenominatorFn_2)"
		"Instance(DenominatorFn of Cls(UnaryFunction))"))

([DenominatorFn_2] of %3AUBL-SLOT
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "DenominatorFn")
	(%3AidenticalTo
		"Instance(DenominatorFn_1 of Cls(TotalValuedRelation))"
		"Instance(DenominatorFn of Cls(UnaryFunction))")
	(%3ALOAD-SEQUENCE 496))

([DensityFn] of TotalValuedRelation
	(%3ASUO-name "DensityFn")
	(%3Adocumentation "\"&%DensityFn maps an instance of &%MassMeasure and an instance of &%VolumeMeasure to the density represented by this proportion of mass and volume.  For example, (&%DensityFn (&%MeasureFn 3 &%Gram) (&%MeasureFn 1 &%Liter)) represents the density of 3 grams per liter.\"")
	(%3AidenticalTo
		"Slot(DensityFn_1)"
		"Instance(DensityFn_2 of Cls(BinaryFunction))"))

([DensityFn_1] of %3ATernarySlot
	(%3ADomain1Type Instance)
	(%3ASUO-name "DensityFn")
	(%3ADomain2Type Instance)
	(%3AidenticalTo
		"Instance(DensityFn_2 of Cls(BinaryFunction))"
		"Instance(DensityFn of Cls(TotalValuedRelation))")
	(%3ADomain2Class VolumeMeasure)
	(%3ALOAD-SEQUENCE 679)
	(%3AisInModule [UNITS_OF_MEASURE]))

([DensityFn_2] of BinaryFunction
	(%3ASUO-name "DensityFn")
	(%3AidenticalTo
		"Slot(DensityFn_1)"
		"Instance(DensityFn of Cls(TotalValuedRelation))"))

([DeonticAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1961)
	(%3AisInModule [QUALITIES]))

([depth] of SingleValuedRelation
	(%3ASUO-name "depth")
	(%3Adocumentation "\"A &%TernaryPredicate that is used to state the &%distance between the &%top of an &%Object and another point that is above the &%top of the &%Object (often this other point will be sea level).  Note that this &%Predicate can be used to specify, for example, the depth of marine life or submarines, for example.\"")
	(%3AidenticalTo
		"Instance(depth_2 of Cls(TernaryPredicate))"
		"Slot(depth_1)"
		"Instance(depth_3 of Cls(SpatialRelation))"))

([depth_1] of %3ATernarySlot
	(%3ADomain1Type Instance)
	(%3ASUO-name "depth")
	(%3ADomain2Type Instance)
	(%3AAXIOMS "\n(UAX-315)\n(=>\n   (depth ?OBJ1 ?OBJ2 ?DEPTH)\n   (orientation ?OBJ1 ?OBJ2 Below))\n\n(UAX-316)\n(=>\n   (depth ?OBJ1 ?OBJ2 ?DEPTH)\n   (exists (?BOTTOM)\n      (and\n         (bottom ?BOTTOM ?OBJ1)\n         (distance ?BOTTOM ?OBJ2 ?DEPTH))))\n")
	(%3AidenticalTo
		"Instance(depth_2 of Cls(TernaryPredicate))"
		"Instance(depth of Cls(SingleValuedRelation))"
		"Instance(depth_3 of Cls(SpatialRelation))")
	(%3ADomain2Class Physical)
	(%3ALOAD-SEQUENCE 839)
	(%3AisInModule [UNITS_OF_MEASURE]))

([depth_2] of TernaryPredicate
	(%3ASUO-name "depth")
	(%3AidenticalTo
		"Slot(depth_1)"
		"Instance(depth of Cls(SingleValuedRelation))"
		"Instance(depth_3 of Cls(SpatialRelation))"))

([depth_3] of SpatialRelation
	(%3ASUO-name "depth")
	(%3AidenticalTo
		"Instance(depth_2 of Cls(TernaryPredicate))"
		"Slot(depth_1)"
		"Instance(depth of Cls(SingleValuedRelation))"))

([Designing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1182)
	(%3AisInModule [PROCESSES]))

([desires] of PropositionalAttitude
	(%3ASUO-name "desires")
	(%3Adocumentation "\"(&%desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA.  Note that there is no implication that what is desired by the agent is not already true. Note too that &%desires is distinguished from &%wants only in that the former is a &%PropositionalAttitude, while &%wants is an &%ObjectAttitude.\"")
	(%3AidenticalTo
		"Slot(desires_1)"
		"Instance(desires_2 of Cls(BinaryPredicate))"))

([desires_1] of %3AUBL-SLOT
	(relatedInternalConcept
		"wants"
		"wants")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "desires")
	(%3AidenticalTo
		"Instance(desires of Cls(PropositionalAttitude))"
		"Instance(desires_2 of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 312))

([desires_2] of BinaryPredicate
	(%3ASUO-name "desires")
	(%3AidenticalTo
		"Instance(desires of Cls(PropositionalAttitude))"
		"Slot(desires_1)"))

([destination] of CaseRole
	(%3ASUO-name "destination")
	(%3Adocumentation "\"(destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the Process ?PROCESS.  For example, Danbury would be the destination in the following proposition:  Bob went to Danbury.  Note that this is a very general &%CaseRole and, in particular, that it covers the concepts of 'recipient' and 'beneficiary'. Thus, John would be the &%destination in the following proposition: Tom gave a book to John.\"")
	(%3AidenticalTo "Slot(destination_1)"))

([destination_1] of %3AUBL-SLOT
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain1Type Instance)
	(%3ASUO-name "destination")
	(%3AidenticalTo "Instance(destination of Cls(CaseRole))")
	(%3ALOAD-SEQUENCE 277))

([Destruction] of %3AUBL-CLASS
	(relatedInternalConcept "Creation")
	(%3ALOAD-SEQUENCE 1330)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-561]))

([Detaching] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1341)
	(disjoint [Attaching])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-567]))

([DevelopmentalAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2081)
	(%3AisInModule [QUALITIES]))

([developmentalForm] of BinaryPredicate
	(%3ASUO-name "developmentalForm")
	(%3Adocumentation "\"(&%developmentalForm ?OBJECT ?FORM) means that ?FORM is an earlier stage in the individual maturation of ?OBJECT.  For example, tadpole and caterpillar are &%developmentalForms of frogs and butterflies, respectively.\"")
	(%3AidenticalTo
		"Instance(developmentalForm_1 of Cls(AsymmetricRelation))"
		"Instance(developmentalForm_2 of Cls(TransitiveRelation))"
		"Slot(developmentalForm_3)"))

([developmentalForm_1] of AsymmetricRelation
	(%3ASUO-name "developmentalForm")
	(%3Adocumentation "\"(&%developmentalForm ?OBJECT ?FORM) means that ?FORM is an earlier stage in the individual maturation of ?OBJECT.  For example, tadpole and caterpillar are &%developmentalForms of frogs and butterflies, respectively.\"")
	(%3AidenticalTo
		"Instance(developmentalForm of Cls(BinaryPredicate))"
		"Instance(developmentalForm_2 of Cls(TransitiveRelation))"
		"Slot(developmentalForm_3)"))

([developmentalForm_2] of TransitiveRelation
	(%3ASUO-name "developmentalForm")
	(%3Adocumentation "\"(&%developmentalForm ?OBJECT ?FORM) means that ?FORM is an earlier stage in the individual maturation of ?OBJECT.  For example, tadpole and caterpillar are &%developmentalForms of frogs and butterflies, respectively.\"")
	(%3AidenticalTo
		"Instance(developmentalForm of Cls(BinaryPredicate))"
		"Instance(developmentalForm_1 of Cls(AsymmetricRelation))"
		"Slot(developmentalForm_3)"))

([developmentalForm_3] of %3AUBL-SLOT
	(%3AisInModule [OBJECTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "developmentalForm")
	(%3AAXIOMS "\n(UAX-660)\n(=>\n   (and\n      (holdsDuring ?TIME1 (developmentalForm ?OBJ ?ATTR1))\n      (successorAttributeClosure ?ATTR2 ?ATTR1))\n   (exists (?TIME2)\n      (and\n         (earlier ?TIME2 ?TIME1)\n         (holdsDuring ?TIME2 (developmentalForm ?OBJ ?ATTR2)))))\n")
	(%3AidenticalTo
		"Instance(developmentalForm of Cls(BinaryPredicate))"
		"Instance(developmentalForm_1 of Cls(AsymmetricRelation))"
		"Instance(developmentalForm_2 of Cls(TransitiveRelation))")
	(%3ALOAD-SEQUENCE 1543))

([Device] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1780)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-750]
		[UAX-751]))

([DiagnosticProcess] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1399)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-596]))

([diameter] of BinaryPredicate
	(%3ASUO-name "diameter")
	(%3Adocumentation "\"(&%diameter ?CIRCLE ?LENGTH) means that the diameter of the &%Circle ?CIRCLE has a length of ?LENGTH.\"")
	(%3AidenticalTo
		"Slot(diameter_3)"
		"Instance(diameter_2 of Cls(TotalValuedRelation))"
		"Instance(diameter_1 of Cls(SingleValuedRelation))"))

([diameter_1] of SingleValuedRelation
	(%3ASUO-name "diameter")
	(%3Adocumentation "\"(&%diameter ?CIRCLE ?LENGTH) means that the diameter of the &%Circle ?CIRCLE has a length of ?LENGTH.\"")
	(%3AidenticalTo
		"Slot(diameter_3)"
		"Instance(diameter_2 of Cls(TotalValuedRelation))"
		"Instance(diameter of Cls(BinaryPredicate))"))

([diameter_2] of TotalValuedRelation
	(%3ASUO-name "diameter")
	(%3Adocumentation "\"(&%diameter ?CIRCLE ?LENGTH) means that the diameter of the &%Circle ?CIRCLE has a length of ?LENGTH.\"")
	(%3AidenticalTo
		"Slot(diameter_3)"
		"Instance(diameter_1 of Cls(SingleValuedRelation))"
		"Instance(diameter of Cls(BinaryPredicate))"))

([diameter_3] of %3AUBL-SLOT
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ADomain1Type Instance)
	(%3ASUO-name "diameter")
	(%3AAXIOMS "\n(UAX-852)\n(=>\n