ufo-instances.p

fof(exists_gufo_i_AbstractIndividual, axiom, (
  ?[X]: gufo_i_AbstractIndividual(X)
)).

fof(exists_gufo_t_AbstractIndividualType, axiom, (
  ?[X]: gufo_t_AbstractIndividualType(X)
)).

fof(exists_gufo_et_AntiRigidType, axiom, (
  ?[X]: gufo_et_AntiRigidType(X)
)).

fof(exists_gufo_i_Aspect, axiom, (
  ?[X]: gufo_i_Aspect(X)
)).

fof(exists_gufo_et_Category, axiom, (
  ?[X]: gufo_et_Category(X)
)).

fof(exists_gufo_o_Collection, axiom, (
  ?[X]: gufo_o_Collection(X)
)).

fof(exists_gufo_rt_ComparativeRelationshipType, axiom, (
  ?[X]: gufo_rt_ComparativeRelationshipType(X)
)).

fof(exists_gufo_i_ConcreteIndividual, axiom, (
  ?[X]: gufo_i_ConcreteIndividual(X)
)).

fof(exists_gufo_t_ConcreteIndividualType, axiom, (
  ?[X]: gufo_t_ConcreteIndividualType(X)
)).

fof(exists_xsd_date, axiom, (
  ?[X]: xsd_date(X)
)).

fof(exists_gufo_i_Endurant, axiom, (
  ?[X]: gufo_i_Endurant(X)
)).

fof(exists_gufo_t_EndurantType, axiom, (
  ?[X]: gufo_t_EndurantType(X)
)).

fof(exists_gufo_i_Event, axiom, (
  ?[X]: gufo_i_Event(X)
)).

fof(exists_gufo_t_EventType, axiom, (
  ?[X]: gufo_t_EventType(X)
)).

fof(exists_gufo_ia_ExtrinsicAspect, axiom, (
  ?[X]: gufo_ia_ExtrinsicAspect(X)
)).

fof(exists_gufo_ea_ExtrinsicMode, axiom, (
  ?[X]: gufo_ea_ExtrinsicMode(X)
)).

fof(exists_gufo_o_FixedCollection, axiom, (
  ?[X]: gufo_o_FixedCollection(X)
)).

fof(exists_gufo_o_FunctionalComplex, axiom, (
  ?[X]: gufo_o_FunctionalComplex(X)
)).

fof(exists_gufo_i_Individual, axiom, (
  ?[X]: gufo_i_Individual(X)
)).

fof(exists_time_Instant, axiom, (
  ?[X]: time_Instant(X)
)).

fof(exists_gufo_ia_IntrinsicAspect, axiom, (
  ?[X]: gufo_ia_IntrinsicAspect(X)
)).

fof(exists_gufo_ia_IntrinsicMode, axiom, (
  ?[X]: gufo_ia_IntrinsicMode(X)
)).

fof(exists_gufo_et_Kind, axiom, (
  ?[X]: gufo_et_Kind(X)
)).

fof(exists_rdfs_Literal, axiom, (
  ?[X]: rdfs_Literal(X)
)).

fof(exists_gufo_rt_MaterialRelationshipType, axiom, (
  ?[X]: gufo_rt_MaterialRelationshipType(X)
)).

fof(exists_gufo_et_Mixin, axiom, (
  ?[X]: gufo_et_Mixin(X)
)).

fof(exists_gufo_et_NonRigidType, axiom, (
  ?[X]: gufo_et_NonRigidType(X)
)).

fof(exists_gufo_et_NonSortal, axiom, (
  ?[X]: gufo_et_NonSortal(X)
)).

fof(exists_gufo_i_Object, axiom, (
  ?[X]: gufo_i_Object(X)
)).

fof(exists_gufo_e_Participation, axiom, (
  ?[X]: gufo_e_Participation(X)
)).

fof(exists_gufo_et_Phase, axiom, (
  ?[X]: gufo_et_Phase(X)
)).

fof(exists_gufo_et_PhaseMixin, axiom, (
  ?[X]: gufo_et_PhaseMixin(X)
)).

fof(exists_gufo_ia_Quality, axiom, (
  ?[X]: gufo_ia_Quality(X)
)).

fof(exists_gufo_qa_QualityValue, axiom, (
  ?[X]: gufo_qa_QualityValue(X)
)).

fof(exists_gufo_o_Quantity, axiom, (
  ?[X]: gufo_o_Quantity(X)
)).

fof(exists_gufo_s_QualityValueAttributionSituation, axiom, (
  ?[X]: gufo_s_QualityValueAttributionSituation(X)
)).

fof(exists_gufo_t_RelationshipType, axiom, (
  ?[X]: gufo_t_RelationshipType(X)
)).

fof(exists_gufo_ea_Relator, axiom, (
  ?[X]: gufo_ea_Relator(X)
)).

fof(exists_gufo_et_RigidType, axiom, (
  ?[X]: gufo_et_RigidType(X)
)).

fof(exists_gufo_et_Role, axiom, (
  ?[X]: gufo_et_Role(X)
)).

fof(exists_gufo_et_RoleMixin, axiom, (
  ?[X]: gufo_et_RoleMixin(X)
)).

fof(exists_gufo_et_SemiRigidType, axiom, (
  ?[X]: gufo_et_SemiRigidType(X)
)).

fof(exists_gufo_i_Situation, axiom, (
  ?[X]: gufo_i_Situation(X)
)).

fof(exists_gufo_t_SituationType, axiom, (
  ?[X]: gufo_t_SituationType(X)
)).

fof(exists_gufo_et_Sortal, axiom, (
  ?[X]: gufo_et_Sortal(X)
)).

fof(exists_gufo_et_SubKind, axiom, (
  ?[X]: gufo_et_SubKind(X)
)).

fof(exists_gufo_s_TemporaryConstitutionSituation, axiom, (
  ?[X]: gufo_s_TemporaryConstitutionSituation(X)
)).

fof(exists_gufo_s_TemporaryInstantiationSituation, axiom, (
  ?[X]: gufo_s_TemporaryInstantiationSituation(X)
)).

fof(exists_gufo_s_TemporaryParthoodSituation, axiom, (
  ?[X]: gufo_s_TemporaryParthoodSituation(X)
)).

fof(exists_gufo_s_TemporaryRelationshipSituation, axiom, (
  ?[X]: gufo_s_TemporaryRelationshipSituation(X)
)).

fof(exists_owl_Thing, axiom, (
  ?[X]: owl_Thing(X)
)).

fof(exists_gufo_i_Type, axiom, (
  ?[X]: gufo_i_Type(X)
)).

fof(exists_gufo_o_VariableCollection, axiom, (
  ?[X]: gufo_o_VariableCollection(X)
)).

fof(exists_gufo_e_broughtAbout, axiom, (
  ?[X,Y]: gufo_e_broughtAbout(X,Y)
)).

fof(exists_gufo_ho_categorizes, axiom, (
  ?[X,Y]: gufo_ho_categorizes(X,Y)
)).

fof(exists_gufo_s_concernsConstitutedEndurant, axiom, (
  ?[X,Y]: gufo_s_concernsConstitutedEndurant(X,Y)
)).

fof(exists_gufo_s_concernsNonRigidType, axiom, (
  ?[X,Y]: gufo_s_concernsNonRigidType(X,Y)
)).

fof(exists_gufo_s_concernsQualityType, axiom, (
  ?[X,Y]: gufo_s_concernsQualityType(X,Y)
)).

fof(exists_gufo_s_concernsReifiedQualityValue, axiom, (
  ?[X,Y]: gufo_s_concernsReifiedQualityValue(X,Y)
)).

fof(exists_gufo_s_concernsRelatedEndurant, axiom, (
  ?[X,Y]: gufo_s_concernsRelatedEndurant(X,Y)
)).

fof(exists_gufo_s_concernsRelationshipType, axiom, (
  ?[X,Y]: gufo_s_concernsRelationshipType(X,Y)
)).

fof(exists_gufo_s_concernsTemporaryWhole, axiom, (
  ?[X,Y]: gufo_s_concernsTemporaryWhole(X,Y)
)).

fof(exists_gufo_i_constitutes, axiom, (
  ?[X,Y]: gufo_i_constitutes(X,Y)
)).

fof(exists_gufo_e_contributedToTrigger, axiom, (
  ?[X,Y]: gufo_e_contributedToTrigger(X,Y)
)).

fof(exists_gufo_ea_externallyDependsOn, axiom, (
  ?[X,Y]: gufo_ea_externallyDependsOn(X,Y)
)).

fof(exists_gufo_qa_hasAssociatedQualityValueType, axiom, (
  ?[X,Y]: gufo_qa_hasAssociatedQualityValueType(X,Y)
)).

fof(exists_gufo_qa_hasBeginPoint, axiom, (
  ?[X,Y]: gufo_qa_hasBeginPoint(X,Y)
)).

fof(exists_gufo_qa_hasEndPoint, axiom, (
  ?[X,Y]: gufo_qa_hasEndPoint(X,Y)
)).

fof(exists_gufo_qa_hasReifiedQualityValue, axiom, (
  ?[X,Y]: gufo_qa_hasReifiedQualityValue(X,Y)
)).

fof(exists_gufo_e_historicallyDependsOn, axiom, (
  ?[X,Y]: gufo_e_historicallyDependsOn(X,Y)
)).

fof(exists_gufo_ia_inheresIn, axiom, (
  ?[X,Y]: gufo_ia_inheresIn(X,Y)
)).

fof(exists_gufo_ia_isAspectProperPartOf, axiom, (
  ?[X,Y]: gufo_ia_isAspectProperPartOf(X,Y)
)).

fof(exists_gufo_o_isCollectionMemberOf, axiom, (
  ?[X,Y]: gufo_o_isCollectionMemberOf(X,Y)
)).

fof(exists_gufo_o_isComponentOf, axiom, (
  ?[X,Y]: gufo_o_isComponentOf(X,Y)
)).

fof(exists_gufo_rt_isDerivedFrom, axiom, (
  ?[X,Y]: gufo_rt_isDerivedFrom(X,Y)
)).

fof(exists_gufo_e_isEventProperPartOf, axiom, (
  ?[X,Y]: gufo_e_isEventProperPartOf(X,Y)
)).

fof(exists_gufo_o_isObjectProperPartOf, axiom, (
  ?[X,Y]: gufo_o_isObjectProperPartOf(X,Y)
)).

fof(exists_gufo_i_isProperPartOf, axiom, (
  ?[X,Y]: gufo_i_isProperPartOf(X,Y)
)).

fof(exists_gufo_s_isSituationProperPartOf, axiom, (
  ?[X,Y]: gufo_s_isSituationProperPartOf(X,Y)
)).

fof(exists_gufo_o_isSubCollectionOf, axiom, (
  ?[X,Y]: gufo_o_isSubCollectionOf(X,Y)
)).

fof(exists_gufo_o_isSubQuantityOf, axiom, (
  ?[X,Y]: gufo_o_isSubQuantityOf(X,Y)
)).

fof(exists_gufo_e_manifestedIn, axiom, (
  ?[X,Y]: gufo_e_manifestedIn(X,Y)
)).

fof(exists_gufo_ea_mediates, axiom, (
  ?[X,Y]: gufo_ea_mediates(X,Y)
)).

fof(exists_gufo_e_participatedIn, axiom, (
  ?[X,Y]: gufo_e_participatedIn(X,Y)
)).

fof(exists_gufo_ho_partitions, axiom, (
  ?[X,Y]: gufo_ho_partitions(X,Y)
)).

fof(exists_gufo_s_standsIn, axiom, (
  ?[X,Y]: gufo_s_standsIn(X,Y)
)).

fof(exists_gufo_s_standsInQualifiedAttribution, axiom, (
  ?[X,Y]: gufo_s_standsInQualifiedAttribution(X,Y)
)).

fof(exists_gufo_s_standsInQualifiedConstitution, axiom, (
  ?[X,Y]: gufo_s_standsInQualifiedConstitution(X,Y)
)).

fof(exists_gufo_s_standsInQualifiedInstantiation, axiom, (
  ?[X,Y]: gufo_s_standsInQualifiedInstantiation(X,Y)
)).

fof(exists_gufo_s_standsInQualifiedParthood, axiom, (
  ?[X,Y]: gufo_s_standsInQualifiedParthood(X,Y)
)).

fof(exists_gufo_s_standsInQualifiedRelationship, axiom, (
  ?[X,Y]: gufo_s_standsInQualifiedRelationship(X,Y)
)).

fof(exists_gufo_e_wasCreatedIn, axiom, (
  ?[X,Y]: gufo_e_wasCreatedIn(X,Y)
)).

fof(exists_gufo_e_wasTerminatedIn, axiom, (
  ?[X,Y]: gufo_e_wasTerminatedIn(X,Y)
)).