From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/TPTP/MergeAx.p | 3182 ------------------------------------------ 1 file changed, 3182 deletions(-) delete mode 100644 examples/SUMO/TPTP/MergeAx.p (limited to 'examples/SUMO/TPTP/MergeAx.p') diff --git a/examples/SUMO/TPTP/MergeAx.p b/examples/SUMO/TPTP/MergeAx.p deleted file mode 100644 index e33f2210d..000000000 --- a/examples/SUMO/TPTP/MergeAx.p +++ /dev/null @@ -1,3182 +0,0 @@ -fof(axMerge0, axiom, - ( ! [X] : - (hasType(type_AbnormalAnatomicalStructure, X) => hasType(type_AnatomicalStructure, X)))). - -fof(axMerge1, axiom, - ( ! [X] : - (hasType(type_Abstract, X) => hasType(type_Entity, X)))). - -fof(axMerge2, axiom, - ( ! [X] : - (hasType(type_Adjective, X) => hasType(type_Word, X)))). - -fof(axMerge3, axiom, - ( ! [X] : - (hasType(type_Adverb, X) => hasType(type_Word, X)))). - -fof(axMerge4, axiom, - ( ! [X] : - (hasType(type_Advertising, X) => hasType(type_Disseminating, X)))). - -fof(axMerge5, axiom, - ( ! [X] : - (hasType(type_AgeGroup, X) => hasType(type_GroupOfPeople, X)))). - -fof(axMerge6, axiom, - ( ! [X] : - (hasType(type_Agent, X) => hasType(type_Object, X)))). - -fof(axMerge7, axiom, - ( ! [X] : - (hasType(type_Air, X) => hasType(type_GasMixture, X)))). - -fof(axMerge8, axiom, - ( ! [X] : - (hasType(type_AlethicAttribute, X) => hasType(type_ObjectiveNorm, X)))). - -fof(axMerge9, axiom, - ( ! [X] : - (hasType(type_Alga, X) => hasType(type_NonFloweringPlant, X)))). - -fof(axMerge10, axiom, - ( ! [X] : - (hasType(type_Ambulating, X) => hasType(type_BodyMotion, X)))). - -fof(axMerge11, axiom, - ( ! [X] : - (hasType(type_Ambulating, X) => hasType(type_Translocation, X)))). - -fof(axMerge12, axiom, - ( ! [X] : - (hasType(type_Amphibian, X) => hasType(type_ColdBloodedVertebrate, X)))). - -fof(axMerge13, axiom, - ( ! [X] : - (hasType(type_AnatomicalStructure, X) => hasType(type_OrganicObject, X)))). - -fof(axMerge14, axiom, - ( ! [X] : - (hasType(type_AngleMeasure, X) => hasType(type_ConstantQuantity, X)))). - -fof(axMerge15, axiom, - ( ! [X] : - (hasType(type_AnimacyAttribute, X) => hasType(type_BiologicalAttribute, X)))). - -fof(axMerge16, axiom, - ( ! [X] : - (hasType(type_AnimalAnatomicalStructure, X) => hasType(type_AnatomicalStructure, X)))). - -fof(axMerge17, axiom, - ( ! [X] : - (hasType(type_AnimalLanguage, X) => hasType(type_Language, X)))). - -fof(axMerge18, axiom, - ( ! [X] : - (hasType(type_AnimalSubstance, X) => hasType(type_BodySubstance, X)))). - -fof(axMerge19, axiom, - (! [Var_ANIMAL] : - (((hasType(type_Organism, Var_ANIMAL)) & ( ((( ? [Var_SUBSTANCE] : - (hasType(type_AnimalSubstance, Var_SUBSTANCE) & -(f_part(Var_SUBSTANCE,Var_ANIMAL))))) & (( ? [Var_STRUCTURE] : - (hasType(type_AnimalAnatomicalStructure, Var_STRUCTURE) & -(f_part(Var_STRUCTURE,Var_ANIMAL)))))))) <=> (hasType(type_Animal, Var_ANIMAL))))). - -fof(axMerge20, axiom, - ( ! [X] : - (hasType(type_AntiSymmetricPositionalAttribute, X) => hasType(type_PositionalAttribute, X)))). - -fof(axMerge21, axiom, - ( ! [X] : - (hasType(type_Ape, X) => hasType(type_Primate, X)))). - -fof(axMerge22, axiom, - ( ! [X] : - (hasType(type_April, X) => hasType(type_Month, X)))). - -fof(axMerge23, axiom, - ( ! [X] : - (hasType(type_AquaticMammal, X) => hasType(type_Mammal, X)))). - -fof(axMerge24, axiom, - ( ! [X] : - (hasType(type_Arachnid, X) => hasType(type_Arthropod, X)))). - -fof(axMerge25, axiom, - ( ! [X] : - (hasType(type_AreaMeasure, X) => hasType(type_FunctionQuantity, X)))). - -fof(axMerge26, axiom, - ( ! [X] : - (hasType(type_Argument, X) => hasType(type_Proposition, X)))). - -fof(axMerge27, axiom, - ( ! [X] : - (hasType(type_ArtWork, X) => hasType(type_Artifact, X)))). - -fof(axMerge28, axiom, - ( ! [X] : - (hasType(type_Arthropod, X) => hasType(type_Invertebrate, X)))). - -fof(axMerge29, axiom, - ( ! [X] : - (hasType(type_Article, X) => hasType(type_Text, X)))). - -fof(axMerge30, axiom, - ( ! [X] : - (hasType(type_Artifact, X) => hasType(type_CorpuscularObject, X)))). - -fof(axMerge31, axiom, - ( ! [X] : - (hasType(type_ArtificialLanguage, X) => hasType(type_Language, X)))). - -fof(axMerge32, axiom, - ( ! [X] : - (hasType(type_AsexualReproduction, X) => hasType(type_Replication, X)))). - -fof(axMerge33, axiom, - ( ! [X] : - (hasType(type_AstronomicalBody, X) => hasType(type_Region, X)))). - -fof(axMerge34, axiom, - ( ! [X] : - (hasType(type_Atom, X) => hasType(type_ElementalSubstance, X)))). - -fof(axMerge35, axiom, - ( ! [X] : - (hasType(type_AtomicNucleus, X) => hasType(type_SubatomicParticle, X)))). - -fof(axMerge36, axiom, - ( ! [X] : - (hasType(type_AttachingDevice, X) => hasType(type_Device, X)))). - -fof(axMerge37, axiom, - ( ! [X] : - (hasType(type_Attaching, X) => hasType(type_DualObjectProcess, X)))). - -fof(axMerge38, axiom, - ( ! [X] : - (hasType(type_Attack, X) => hasType(type_Maneuver, X)))). - -fof(axMerge39, axiom, - ( ! [X] : - (hasType(type_Attribute, X) => hasType(type_Abstract, X)))). - -fof(axMerge40, axiom, - ( ! [X] : - (hasType(type_August, X) => hasType(type_Month, X)))). - -fof(axMerge41, axiom, - ( ! [X] : - (hasType(type_AutonomicProcess, X) => hasType(type_PhysiologicProcess, X)))). - -fof(axMerge42, axiom, - ( ! [X] : - (hasType(type_Bacterium, X) => hasType(type_Microorganism, X)))). - -fof(axMerge43, axiom, - ( ! [X] : - (hasType(type_Battle, X) => hasType(type_ViolentContest, X)))). - -fof(axMerge44, axiom, - ( ! [X] : - (hasType(type_BeliefGroup, X) => hasType(type_GroupOfPeople, X)))). - -fof(axMerge45, axiom, - ( ! [X] : - (hasType(type_Betting, X) => hasType(type_FinancialTransaction, X)))). - -fof(axMerge46, axiom, - ( ! [X] : - (hasType(type_Beverage, X) => hasType(type_Food, X)))). - -fof(axMerge47, axiom, - ( ! [X] : - (hasType(type_BinaryNumber, X) => hasType(type_RealNumber, X)))). - -fof(axMerge48, axiom, - ( ! [X] : - (hasType(type_BiologicalAttribute, X) => hasType(type_InternalAttribute, X)))). - -fof(axMerge49, axiom, - ( ! [X] : - (hasType(type_BiologicalProcess, X) => hasType(type_InternalChange, X)))). - -fof(axMerge50, axiom, - ( ! [X] : - (hasType(type_BiologicallyActiveSubstance, X) => hasType(type_Substance, X)))). - -fof(axMerge51, axiom, - ( ! [X] : - (hasType(type_Bird, X) => hasType(type_WarmBloodedVertebrate, X)))). - -fof(axMerge52, axiom, - ( ! [X] : - (hasType(type_Birth, X) => hasType(type_OrganismProcess, X)))). - -fof(axMerge53, axiom, - ( ! [X] : - (hasType(type_Blood, X) => hasType(type_BodySubstance, X)))). - -fof(axMerge54, axiom, - ( ! [X] : - (hasType(type_BodyCavity, X) => hasType(type_BodyPart, X)))). - -fof(axMerge55, axiom, - ( ! [X] : - (hasType(type_BodyCovering, X) => hasType(type_BodyPart, X)))). - -fof(axMerge56, axiom, - ( ! [X] : - (hasType(type_BodyJunction, X) => hasType(type_BodyPart, X)))). - -fof(axMerge57, axiom, - ( ! [X] : - (hasType(type_BodyMotion, X) => hasType(type_Motion, X)))). - -fof(axMerge58, axiom, - ( ! [X] : - (hasType(type_BodyPart, X) => hasType(type_AnatomicalStructure, X)))). - -fof(axMerge59, axiom, - ( ! [X] : - (hasType(type_BodyPosition, X) => hasType(type_BiologicalAttribute, X)))). - -fof(axMerge60, axiom, - ( ! [X] : - (hasType(type_BodySubstance, X) => hasType(type_Substance, X)))). - -fof(axMerge61, axiom, - ( ! [X] : - (hasType(type_BodyVessel, X) => hasType(type_BodyCavity, X)))). - -fof(axMerge62, axiom, - ( ! [X] : - (hasType(type_Boiling, X) => hasType(type_StateChange, X)))). - -fof(axMerge63, axiom, - ( ! [X] : - (hasType(type_Bone, X) => hasType(type_AnimalSubstance, X)))). - -fof(axMerge64, axiom, - ( ! [X] : - (hasType(type_Bone, X) => hasType(type_Tissue, X)))). - -fof(axMerge65, axiom, - ( ! [X] : - (hasType(type_Book, X) => hasType(type_Text, X)))). - -fof(axMerge66, axiom, - ( ! [X] : - (hasType(type_Borrowing, X) => hasType(type_Getting, X)))). - -fof(axMerge67, axiom, - ( ! [X] : - (hasType(type_Breathing, X) => hasType(type_AutonomicProcess, X)))). - -fof(axMerge68, axiom, - ( ! [X] : - (hasType(type_Breathing, X) => hasType(type_OrganismProcess, X)))). - -fof(axMerge69, axiom, - ( ! [X] : - (hasType(type_Building, X) => hasType(type_StationaryArtifact, X)))). - -fof(axMerge70, axiom, - ( ! [X] : - (hasType(type_Buying, X) => hasType(type_FinancialTransaction, X)))). - -fof(axMerge71, axiom, - ( ! [X] : - (hasType(type_Calculating, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge72, axiom, - ( ! [X] : - (hasType(type_Canine, X) => hasType(type_Carnivore, X)))). - -fof(axMerge73, axiom, - ( ! [X] : - (hasType(type_Carbohydrate, X) => hasType(type_Nutrient, X)))). - -fof(axMerge74, axiom, - ( ! [X] : - (hasType(type_Carnivore, X) => hasType(type_Mammal, X)))). - -fof(axMerge75, axiom, - ( ! [X] : - (hasType(type_Carrying, X) => hasType(type_Transfer, X)))). - -fof(axMerge76, axiom, - ( ! [X] : - (hasType(type_Cell, X) => hasType(type_BodyPart, X)))). - -fof(axMerge77, axiom, - ( ! [X] : - (hasType(type_Certificate, X) => hasType(type_Text, X)))). - -fof(axMerge78, axiom, - ( ! [X] : - (hasType(type_ChangeOfPossession, X) => hasType(type_SocialInteraction, X)))). - -fof(axMerge79, axiom, - ( ! [X] : - (hasType(type_Character, X) => hasType(type_SymbolicString, X)))). - -fof(axMerge80, axiom, - ( ! [X] : - (hasType(type_ChemicalDecomposition, X) => hasType(type_ChemicalProcess, X)))). - -fof(axMerge81, axiom, - ( ! [X] : - (hasType(type_ChemicalDecomposition, X) => hasType(type_Separating, X)))). - -fof(axMerge82, axiom, - ( ! [X] : - (hasType(type_ChemicalProcess, X) => hasType(type_InternalChange, X)))). - -fof(axMerge83, axiom, - ( ! [X] : - (hasType(type_ChemicalSynthesis, X) => hasType(type_ChemicalProcess, X)))). - -fof(axMerge84, axiom, - ( ! [X] : - (hasType(type_ChemicalSynthesis, X) => hasType(type_Combining, X)))). - -fof(axMerge85, axiom, - ( ! [X] : - (hasType(type_Circle, X) => hasType(type_Oval, X)))). - -fof(axMerge86, axiom, - ( ! [X] : - (hasType(type_City, X) => hasType(type_GeopoliticalArea, X)))). - -fof(axMerge87, axiom, - ( ! [X] : - (hasType(type_City, X) => hasType(type_LandArea, X)))). - -fof(axMerge88, axiom, - ( ! [X] : - (hasType(type_Classifying, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge89, axiom, - ( ! [X] : - (hasType(type_ClosedTwoDimensionalFigure, X) => hasType(type_TwoDimensionalFigure, X)))). - -fof(axMerge90, axiom, - ( ! [X] : - (hasType(type_Clothing, X) => hasType(type_WearableItem, X)))). - -fof(axMerge91, axiom, - ( ! [X] : - (hasType(type_Cloud, X) => hasType(type_GasMixture, X)))). - -fof(axMerge92, axiom, - ( ! [X] : - (hasType(type_CognitiveAgent, X) => hasType(type_SentientAgent, X)))). - -fof(axMerge93, axiom, - ( ! [X] : - (hasType(type_ColdBloodedVertebrate, X) => hasType(type_Vertebrate, X)))). - -fof(axMerge94, axiom, - ( ! [X] : - (hasType(type_Collection, X) => hasType(type_Object, X)))). - -fof(axMerge95, axiom, - ( ! [X] : - (hasType(type_ColorAttribute, X) => hasType(type_InternalAttribute, X)))). - -fof(axMerge96, axiom, - ( ! [X] : - (hasType(type_Coloring, X) => hasType(type_SurfaceChange, X)))). - -fof(axMerge97, axiom, - ( ! [X] : - (hasType(type_Combining, X) => hasType(type_DualObjectProcess, X)))). - -fof(axMerge98, axiom, - ( ! [X] : - (hasType(type_Combustion, X) => hasType(type_ChemicalDecomposition, X)))). - -fof(axMerge99, axiom, - ( ! [X] : - (hasType(type_CommercialAgent, X) => hasType(type_Agent, X)))). - -fof(axMerge100, axiom, - ( ! [X] : - (hasType(type_CommercialService, X) => hasType(type_FinancialTransaction, X)))). - -fof(axMerge101, axiom, - ( ! [X] : - (hasType(type_CommercialService, X) => hasType(type_ServiceProcess, X)))). - -fof(axMerge102, axiom, - ( ! [X] : - (hasType(type_Committing, X) => hasType(type_LinguisticCommunication, X)))). - -fof(axMerge103, axiom, - ( ! [X] : - (hasType(type_Communication, X) => hasType(type_ContentBearingProcess, X)))). - -fof(axMerge104, axiom, - ( ! [X] : - (hasType(type_Communication, X) => hasType(type_SocialInteraction, X)))). - -fof(axMerge105, axiom, - ( ! [X] : - (hasType(type_Comparing, X) => hasType(type_DualObjectProcess, X)))). - -fof(axMerge106, axiom, - ( ! [X] : - (hasType(type_Comparing, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge107, axiom, - ( ! [X] : - (hasType(type_ComplexNumber, X) => hasType(type_Number, X)))). - -fof(axMerge108, axiom, - ( ! [X] : - (hasType(type_CompositeUnitOfMeasure, X) => hasType(type_UnitOfMeasure, X)))). - -fof(axMerge109, axiom, - ( ! [X] : - (hasType(type_CompoundSubstance, X) => hasType(type_PureSubstance, X)))). - -fof(axMerge110, axiom, - ( ! [X] : - (hasType(type_ComputerLanguage, X) => hasType(type_ArtificialLanguage, X)))). - -fof(axMerge111, axiom, - ( ! [X] : - (hasType(type_ComputerProgram, X) => hasType(type_Procedure, X)))). - -fof(axMerge112, axiom, - ( ! [X] : - (hasType(type_ComputerProgramming, X) => hasType(type_ContentDevelopment, X)))). - -fof(axMerge113, axiom, - ( ! [X] : - (hasType(type_Condensing, X) => hasType(type_StateChange, X)))). - -fof(axMerge114, axiom, - ( ! [X] : - (hasType(type_Confining, X) => hasType(type_Keeping, X)))). - -fof(axMerge115, axiom, - ( ! [X] : - (hasType(type_ConsciousnessAttribute, X) => hasType(type_StateOfMind, X)))). - -fof(axMerge116, axiom, - ( ! [X] : - (hasType(type_ConstantQuantity, X) => hasType(type_PhysicalQuantity, X)))). - -fof(axMerge117, axiom, - ( ! [X] : - (hasType(type_ConstructedLanguage, X) => hasType(type_ArtificialLanguage, X)))). - -fof(axMerge118, axiom, - ( ! [X] : - (hasType(type_ConstructedLanguage, X) => hasType(type_HumanLanguage, X)))). - -fof(axMerge119, axiom, - ( ! [X] : - (hasType(type_Constructing, X) => hasType(type_Making, X)))). - -fof(axMerge120, axiom, - ( ! [X] : - (hasType(type_ContentBearingObject, X) => hasType(type_ContentBearingPhysical, X)))). - -fof(axMerge121, axiom, - ( ! [X] : - (hasType(type_ContentBearingObject, X) => hasType(type_CorpuscularObject, X)))). - -fof(axMerge122, axiom, - ( ! [X] : - (hasType(type_ContentBearingPhysical, X) => hasType(type_Physical, X)))). - -fof(axMerge123, axiom, - ( ! [X] : - (hasType(type_ContentBearingProcess, X) => hasType(type_ContentBearingPhysical, X)))). - -fof(axMerge124, axiom, - ( ! [X] : - (hasType(type_ContentDevelopment, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge125, axiom, - ( ! [X] : - (hasType(type_ContestAttribute, X) => hasType(type_ObjectiveNorm, X)))). - -fof(axMerge126, axiom, - ( ! [X] : - (hasType(type_Contest, X) => hasType(type_SocialInteraction, X)))). - -fof(axMerge127, axiom, - ( ! [X] : - (hasType(type_Continent, X) => hasType(type_LandArea, X)))). - -fof(axMerge128, axiom, - ( ! [X] : - (hasType(type_Cooking, X) => hasType(type_Making, X)))). - -fof(axMerge129, axiom, - ( ! [X] : - (hasType(type_Cooling, X) => hasType(type_Decreasing, X)))). - -fof(axMerge130, axiom, - ( ! [X] : - (hasType(type_Cooperation, X) => hasType(type_SocialInteraction, X)))). - -fof(axMerge131, axiom, - ( ! [X] : - (hasType(type_Corporation, X) => hasType(type_CommercialAgent, X)))). - -fof(axMerge132, axiom, - ( ! [X] : - (hasType(type_Corporation, X) => hasType(type_Organization, X)))). - -fof(axMerge133, axiom, - ( ! [X] : - (hasType(type_CorpuscularObject, X) => hasType(type_SelfConnectedObject, X)))). - -fof(axMerge134, axiom, - ( ! [X] : - (hasType(type_Counting, X) => hasType(type_Calculating, X)))). - -fof(axMerge135, axiom, - ( ! [X] : - (hasType(type_County, X) => hasType(type_GeopoliticalArea, X)))). - -fof(axMerge136, axiom, - ( ! [X] : - (hasType(type_County, X) => hasType(type_LandArea, X)))). - -fof(axMerge137, axiom, - ( ! [X] : - (hasType(type_Covering, X) => hasType(type_Putting, X)))). - -fof(axMerge138, axiom, - ( ! [X] : - (hasType(type_Creation, X) => hasType(type_InternalChange, X)))). - -fof(axMerge139, axiom, - ( ! [X] : - (hasType(type_Crustacean, X) => hasType(type_Arthropod, X)))). - -fof(axMerge140, axiom, - ( ! [X] : - (hasType(type_CurrencyMeasure, X) => hasType(type_ConstantQuantity, X)))). - -fof(axMerge141, axiom, - ( ! [X] : - (hasType(type_Currency, X) => hasType(type_FinancialInstrument, X)))). - -fof(axMerge142, axiom, - ( ! [X] : - (hasType(type_Cutting, X) => hasType(type_Poking, X)))). - -fof(axMerge143, axiom, - ( ! [X] : - (hasType(type_Damaging, X) => hasType(type_InternalChange, X)))). - -fof(axMerge144, axiom, - ( ! [X] : - (hasType(type_Dancing, X) => hasType(type_BodyMotion, X)))). - -fof(axMerge145, axiom, - ( ! [X] : - (hasType(type_Day, X) => hasType(type_TimeInterval, X)))). - -fof(axMerge146, axiom, - ( ! [X] : - (hasType(type_Death, X) => hasType(type_OrganismProcess, X)))). - -fof(axMerge147, axiom, - ( ! [X] : - (hasType(type_December, X) => hasType(type_Month, X)))). - -fof(axMerge148, axiom, - ( ! [X] : - (hasType(type_Deciding, X) => hasType(type_Selecting, X)))). - -fof(axMerge149, axiom, - ( ! [X] : - (hasType(type_Declaring, X) => hasType(type_LinguisticCommunication, X)))). - -fof(axMerge150, axiom, - ( ! [X] : - (hasType(type_Decoding, X) => hasType(type_Writing, X)))). - -fof(axMerge151, axiom, - ( ! [X] : - (hasType(type_Decreasing, X) => hasType(type_QuantityChange, X)))). - -fof(axMerge152, axiom, - ( ! [X] : - (hasType(type_DeductiveArgument, X) => hasType(type_Argument, X)))). - -fof(axMerge153, axiom, - ( ! [X] : - (hasType(type_DefensiveManeuver, X) => hasType(type_Maneuver, X)))). - -fof(axMerge154, axiom, - ( ! [X] : - (hasType(type_Demonstrating, X) => hasType(type_Disseminating, X)))). - -fof(axMerge155, axiom, - ( ! [X] : - (hasType(type_DeonticAttribute, X) => hasType(type_ObjectiveNorm, X)))). - -fof(axMerge156, axiom, - ( ! [X] : - (hasType(type_Designing, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge157, axiom, - ( ! [X] : - (hasType(type_Destruction, X) => hasType(type_Damaging, X)))). - -fof(axMerge158, axiom, - ( ! [X] : - (hasType(type_Detaching, X) => hasType(type_DualObjectProcess, X)))). - -fof(axMerge159, axiom, - ( ! [X] : - (hasType(type_DevelopmentalAttribute, X) => hasType(type_BiologicalAttribute, X)))). - -fof(axMerge160, axiom, - ( ! [X] : - (hasType(type_Device, X) => hasType(type_Artifact, X)))). - -fof(axMerge161, axiom, - ( ! [X] : - (hasType(type_DiagnosticProcess, X) => hasType(type_Investigating, X)))). - -fof(axMerge162, axiom, - ( ! [X] : - (hasType(type_Digesting, X) => hasType(type_AutonomicProcess, X)))). - -fof(axMerge163, axiom, - ( ! [X] : - (hasType(type_Digesting, X) => hasType(type_OrganismProcess, X)))). - -fof(axMerge164, axiom, - ( ! [X] : - (hasType(type_DirectedGraph, X) => hasType(type_Graph, X)))). - -fof(axMerge165, axiom, - ( ! [X] : - (hasType(type_Directing, X) => hasType(type_LinguisticCommunication, X)))). - -fof(axMerge166, axiom, - ( ! [X] : - (hasType(type_DirectionChange, X) => hasType(type_Motion, X)))). - -fof(axMerge167, axiom, - ( ! [X] : - (hasType(type_DirectionalAttribute, X) => hasType(type_PositionalAttribute, X)))). - -fof(axMerge168, axiom, - ( ! [X] : - (hasType(type_Disagreeing, X) => hasType(type_Stating, X)))). - -fof(axMerge169, axiom, - ( ! [X] : - (hasType(type_Discovering, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge170, axiom, - ( ! [X] : - (hasType(type_DiseaseOrSyndrome, X) => hasType(type_BiologicalAttribute, X)))). - -fof(axMerge171, axiom, - ( ! [X] : - (hasType(type_Disseminating, X) => hasType(type_Communication, X)))). - -fof(axMerge172, axiom, - ( ! [X] : - (hasType(type_Drinking, X) => hasType(type_Ingesting, X)))). - -fof(axMerge173, axiom, - ( ! [X] : - (hasType(type_Driving, X) => hasType(type_Guiding, X)))). - -fof(axMerge174, axiom, - ( ! [X] : - (hasType(type_Drying, X) => hasType(type_Removing, X)))). - -fof(axMerge175, axiom, - ( ! [X] : - (hasType(type_DualObjectProcess, X) => hasType(type_Process, X)))). - -fof(axMerge176, axiom, - ( ! [X] : - (hasType(type_Eating, X) => hasType(type_Ingesting, X)))). - -fof(axMerge177, axiom, - ( ! [X] : - (hasType(type_EducationalOrganization, X) => hasType(type_Organization, X)))). - -fof(axMerge178, axiom, - ( ! [X] : - (hasType(type_EducationalProcess, X) => hasType(type_Guiding, X)))). - -fof(axMerge179, axiom, - ( ! [X] : - (hasType(type_Egg, X) => hasType(type_AnimalAnatomicalStructure, X)))). - -fof(axMerge180, axiom, - ( ! [X] : - (hasType(type_Egg, X) => hasType(type_ReproductiveBody, X)))). - -fof(axMerge181, axiom, - ( ! [X] : - (hasType(type_Election, X) => hasType(type_OrganizationalProcess, X)))). - -fof(axMerge182, axiom, - ( ! [X] : - (hasType(type_Electron, X) => hasType(type_SubatomicParticle, X)))). - -fof(axMerge183, axiom, - ( ! [X] : - (hasType(type_ElementalSubstance, X) => hasType(type_PureSubstance, X)))). - -fof(axMerge184, axiom, - ( ! [X] : - (hasType(type_EmotionalState, X) => hasType(type_StateOfMind, X)))). - -fof(axMerge185, axiom, - ( ! [X] : - (hasType(type_Encoding, X) => hasType(type_Writing, X)))). - -fof(axMerge186, axiom, - ( ! [X] : - (hasType(type_EngineeringComponent, X) => hasType(type_Device, X)))). - -fof(axMerge187, axiom, - ( ! [X] : - (hasType(type_EngineeringConnection, X) => hasType(type_EngineeringComponent, X)))). - -fof(axMerge188, axiom, - ( ! [X] : - (hasType(type_Enzyme, X) => hasType(type_Protein, X)))). - -fof(axMerge189, axiom, - ( ! [X] : - (hasType(type_EthnicGroup, X) => hasType(type_GroupOfPeople, X)))). - -fof(axMerge190, axiom, - ( ! [X] : - (hasType(type_Evaporating, X) => hasType(type_StateChange, X)))). - -fof(axMerge191, axiom, - ( ! [X] : - (hasType(type_EvenInteger, X) => hasType(type_Integer, X)))). - -fof(axMerge192, axiom, - ( ! [X] : - (hasType(type_Experimenting, X) => hasType(type_Investigating, X)))). - -fof(axMerge193, axiom, - ( ! [X] : - (hasType(type_Explanation, X) => hasType(type_DeductiveArgument, X)))). - -fof(axMerge194, axiom, - ( ! [X] : - (hasType(type_Expressing, X) => hasType(type_Communication, X)))). - -fof(axMerge195, axiom, - ( ! [X] : - (hasType(type_Fabric, X) => hasType(type_Artifact, X)))). - -fof(axMerge196, axiom, - ( ! [X] : - (hasType(type_FactualText, X) => hasType(type_Text, X)))). - -fof(axMerge197, axiom, - ( ! [X] : - (hasType(type_Falling, X) => hasType(type_MotionDownward, X)))). - -fof(axMerge198, axiom, - ( ! [X] : - (hasType(type_Falling, X) => hasType(type_Translocation, X)))). - -fof(axMerge199, axiom, - ( ! [X] : - (hasType(type_FamilyGroup, X) => hasType(type_GroupOfPeople, X)))). - -fof(axMerge200, axiom, - ( ! [X] : - (hasType(type_FatTissue, X) => hasType(type_Tissue, X)))). - -fof(axMerge201, axiom, - ( ! [X] : - (hasType(type_February, X) => hasType(type_Month, X)))). - -fof(axMerge202, axiom, - ( ! [X] : - (hasType(type_Feline, X) => hasType(type_Carnivore, X)))). - -fof(axMerge203, axiom, - ( ! [X] : - (hasType(type_Fern, X) => hasType(type_NonFloweringPlant, X)))). - -fof(axMerge204, axiom, - ( ! [X] : - (hasType(type_FictionalText, X) => hasType(type_Text, X)))). - -fof(axMerge205, axiom, - ( ! [X] : - (hasType(type_FieldOfStudy, X) => hasType(type_Proposition, X)))). - -fof(axMerge206, axiom, - ( ! [X] : - (hasType(type_FinancialInstrument, X) => hasType(type_Certificate, X)))). - -fof(axMerge207, axiom, - ( ! [X] : - (hasType(type_FinancialTransaction, X) => hasType(type_Transaction, X)))). - -fof(axMerge208, axiom, - ( ! [X] : - (hasType(type_FiniteSet, X) => hasType(type_Set, X)))). - -fof(axMerge209, axiom, - ( ! [X] : - (hasType(type_Fish, X) => hasType(type_ColdBloodedVertebrate, X)))). - -fof(axMerge210, axiom, - ( ! [X] : - (hasType(type_FloweringPlant, X) => hasType(type_Plant, X)))). - -fof(axMerge211, axiom, - ( ! [X] : - (hasType(type_Food, X) => hasType(type_SelfConnectedObject, X)))). - -fof(axMerge212, axiom, - ( ! [X] : - (hasType(type_Freezing, X) => hasType(type_StateChange, X)))). - -fof(axMerge213, axiom, - ( ! [X] : - (hasType(type_FrequencyMeasure, X) => hasType(type_TimeDependentQuantity, X)))). - -fof(axMerge214, axiom, - ( ! [X] : - (hasType(type_FreshWaterArea, X) => hasType(type_WaterArea, X)))). - -fof(axMerge215, axiom, - ( ! [X] : - (hasType(type_Friday, X) => hasType(type_Day, X)))). - -fof(axMerge216, axiom, - ( ! [X] : - (hasType(type_FruitOrVegetable, X) => hasType(type_PlantAnatomicalStructure, X)))). - -fof(axMerge217, axiom, - ( ! [X] : - (hasType(type_FruitOrVegetable, X) => hasType(type_ReproductiveBody, X)))). - -fof(axMerge218, axiom, - ( ! [X] : - (hasType(type_FunctionQuantity, X) => hasType(type_PhysicalQuantity, X)))). - -fof(axMerge219, axiom, - ( ! [X] : - (hasType(type_Funding, X) => hasType(type_Giving, X)))). - -fof(axMerge220, axiom, - ( ! [X] : - (hasType(type_Fungus, X) => hasType(type_Organism, X)))). - -fof(axMerge221, axiom, - ( ! [X] : - (hasType(type_Game, X) => hasType(type_Contest, X)))). - -fof(axMerge222, axiom, - ( ! [X] : - (hasType(type_Game, X) => hasType(type_RecreationOrExercise, X)))). - -fof(axMerge223, axiom, - ( ! [X] : - (hasType(type_GasMixture, X) => hasType(type_Mixture, X)))). - -fof(axMerge224, axiom, - ( ! [X] : - (hasType(type_GasMotion, X) => hasType(type_Motion, X)))). - -fof(axMerge225, axiom, - ( ! [X] : - (hasType(type_GeographicArea, X) => hasType(type_Region, X)))). - -fof(axMerge226, axiom, - ( ! [X] : - (hasType(type_GeologicalProcess, X) => hasType(type_InternalChange, X)))). - -fof(axMerge227, axiom, - ( ! [X] : - (hasType(type_GeologicalProcess, X) => hasType(type_Motion, X)))). - -fof(axMerge228, axiom, - ( ! [X] : - (hasType(type_GeometricFigure, X) => hasType(type_ShapeAttribute, X)))). - -fof(axMerge229, axiom, - ( ! [X] : - (hasType(type_GeometricPoint, X) => hasType(type_GeometricFigure, X)))). - -fof(axMerge230, axiom, - ( ! [X] : - (hasType(type_GeopoliticalArea, X) => hasType(type_Agent, X)))). - -fof(axMerge231, axiom, - ( ! [X] : - (hasType(type_GeopoliticalArea, X) => hasType(type_GeographicArea, X)))). - -fof(axMerge232, axiom, - ( ! [X] : - (hasType(type_Gesture, X) => hasType(type_BodyMotion, X)))). - -fof(axMerge233, axiom, - ( ! [X] : - (hasType(type_Gesture, X) => hasType(type_Communication, X)))). - -fof(axMerge234, axiom, - ( ! [X] : - (hasType(type_Getting, X) => hasType(type_ChangeOfPossession, X)))). - -fof(axMerge235, axiom, - ( ! [X] : - (hasType(type_GivingBack, X) => hasType(type_Giving, X)))). - -fof(axMerge236, axiom, - ( ! [X] : - (hasType(type_Giving, X) => hasType(type_ChangeOfPossession, X)))). - -fof(axMerge237, axiom, - ( ! [X] : - (hasType(type_Gland, X) => hasType(type_Organ, X)))). - -fof(axMerge238, axiom, - ( ! [X] : - (hasType(type_GovernmentOrganization, X) => hasType(type_Organization, X)))). - -fof(axMerge239, axiom, - ( ! [X] : - (hasType(type_Government, X) => hasType(type_GovernmentOrganization, X)))). - -fof(axMerge240, axiom, - ( ! [X] : - (hasType(type_Grabbing, X) => hasType(type_Attaching, X)))). - -fof(axMerge241, axiom, - ( ! [X] : - (hasType(type_Grabbing, X) => hasType(type_Touching, X)))). - -fof(axMerge242, axiom, - ( ! [X] : - (hasType(type_Graduation, X) => hasType(type_LeavingAnOrganization, X)))). - -fof(axMerge243, axiom, - ( ! [X] : - (hasType(type_GraphArc, X) => hasType(type_GraphElement, X)))). - -fof(axMerge244, axiom, - ( ! [X] : - (hasType(type_GraphCircuit, X) => hasType(type_GraphPath, X)))). - -fof(axMerge245, axiom, - ( ! [X] : - (hasType(type_GraphElement, X) => hasType(type_Abstract, X)))). - -fof(axMerge246, axiom, - ( ! [X] : - (hasType(type_GraphLoop, X) => hasType(type_GraphArc, X)))). - -fof(axMerge247, axiom, - ( ! [X] : - (hasType(type_GraphNode, X) => hasType(type_GraphElement, X)))). - -fof(axMerge248, axiom, - ( ! [X] : - (hasType(type_GraphPath, X) => hasType(type_DirectedGraph, X)))). - -fof(axMerge249, axiom, - ( ! [X] : - (hasType(type_Graph, X) => hasType(type_Abstract, X)))). - -fof(axMerge250, axiom, - ( ! [X] : - (hasType(type_GroupOfPeople, X) => hasType(type_Group, X)))). - -fof(axMerge251, axiom, - ( ! [X] : - (hasType(type_Group, X) => hasType(type_Agent, X)))). - -fof(axMerge252, axiom, - ( ! [X] : - (hasType(type_Group, X) => hasType(type_Collection, X)))). - -fof(axMerge253, axiom, - ( ! [X] : - (hasType(type_Growth, X) => hasType(type_AutonomicProcess, X)))). - -fof(axMerge254, axiom, - ( ! [X] : - (hasType(type_Guiding, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge255, axiom, - ( ! [X] : - (hasType(type_Hearing, X) => hasType(type_Perception, X)))). - -fof(axMerge256, axiom, - ( ! [X] : - (hasType(type_Heating, X) => hasType(type_Increasing, X)))). - -fof(axMerge257, axiom, - ( ! [X] : - (hasType(type_Hiring, X) => hasType(type_JoiningAnOrganization, X)))). - -fof(axMerge258, axiom, - ( ! [X] : - (hasType(type_Hole, X) => hasType(type_Region, X)))). - -fof(axMerge259, axiom, - ( ! [X] : - (hasType(type_Hominid, X) => hasType(type_Primate, X)))). - -fof(axMerge260, axiom, - ( ! [X] : - (hasType(type_HoofedMammal, X) => hasType(type_Mammal, X)))). - -fof(axMerge261, axiom, - ( ! [X] : - (hasType(type_Hormone, X) => hasType(type_BiologicallyActiveSubstance, X)))). - -fof(axMerge262, axiom, - ( ! [X] : - (hasType(type_Hormone, X) => hasType(type_BodySubstance, X)))). - -fof(axMerge263, axiom, - ( ! [X] : - (hasType(type_Hour, X) => hasType(type_TimeInterval, X)))). - -fof(axMerge264, axiom, - ( ! [X] : - (hasType(type_House, X) => hasType(type_ResidentialBuilding, X)))). - -fof(axMerge265, axiom, - ( ! [X] : - (hasType(type_House, X) => hasType(type_SingleFamilyResidence, X)))). - -fof(axMerge266, axiom, - ( ! [X] : - (hasType(type_HumanLanguage, X) => hasType(type_Language, X)))). - -fof(axMerge267, axiom, - ( ! [X] : - (hasType(type_Human, X) => hasType(type_CognitiveAgent, X)))). - -fof(axMerge268, axiom, - ( ! [X] : - (hasType(type_Human, X) => hasType(type_Hominid, X)))). - -fof(axMerge269, axiom, - ( ! [X] : - (hasType(type_Hunting, X) => hasType(type_Pursuing, X)))). - -fof(axMerge270, axiom, - ( ! [X] : - (hasType(type_Icon, X) => hasType(type_ContentBearingPhysical, X)))). - -fof(axMerge271, axiom, - ( ! [X] : - (hasType(type_ImaginaryNumber, X) => hasType(type_Number, X)))). - -fof(axMerge272, axiom, - ( ! [X] : - (hasType(type_Impacting, X) => hasType(type_Touching, X)))). - -fof(axMerge273, axiom, - ( ! [X] : - (hasType(type_Impelling, X) => hasType(type_Transfer, X)))). - -fof(axMerge274, axiom, - ( ! [X] : - (hasType(type_Increasing, X) => hasType(type_QuantityChange, X)))). - -fof(axMerge275, axiom, - ( ! [X] : - (hasType(type_InductiveArgument, X) => hasType(type_Argument, X)))). - -fof(axMerge276, axiom, - ( ! [X] : - (hasType(type_InformationMeasure, X) => hasType(type_ConstantQuantity, X)))). - -fof(axMerge277, axiom, - ( ! [X] : - (hasType(type_Ingesting, X) => hasType(type_OrganismProcess, X)))). - -fof(axMerge278, axiom, - ( ! [X] : - (hasType(type_Injecting, X) => hasType(type_Inserting, X)))). - -fof(axMerge279, axiom, - (! [Var_INJ] : - (((hasType(type_Damaging, Var_INJ)) & ( ( ? [Var_ORGANISM] : - (hasType(type_Organism, Var_ORGANISM) & -(f_patient(Var_INJ,Var_ORGANISM)))))) <=> (hasType(type_Injuring, Var_INJ))))). - -fof(axMerge280, axiom, - ( ! [X] : - (hasType(type_Injuring, X) => hasType(type_PathologicProcess, X)))). - -fof(axMerge281, axiom, - ( ! [X] : - (hasType(type_Insect, X) => hasType(type_Arthropod, X)))). - -fof(axMerge282, axiom, - ( ! [X] : - (hasType(type_Inserting, X) => hasType(type_Putting, X)))). - -fof(axMerge283, axiom, - ( ! [X] : - (hasType(type_Integer, X) => hasType(type_RationalNumber, X)))). - -fof(axMerge284, axiom, - ( ! [X] : - (hasType(type_IntentionalProcess, X) => hasType(type_Process, X)))). - -fof(axMerge285, axiom, - ( ! [X] : - (hasType(type_IntentionalPsychologicalProcess, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge286, axiom, - ( ! [X] : - (hasType(type_IntentionalPsychologicalProcess, X) => hasType(type_PsychologicalProcess, X)))). - -fof(axMerge287, axiom, - ( ! [X] : - (hasType(type_InternalAttribute, X) => hasType(type_Attribute, X)))). - -fof(axMerge288, axiom, - ( ! [X] : - (hasType(type_InternalChange, X) => hasType(type_Process, X)))). - -fof(axMerge289, axiom, - ( ! [X] : - (hasType(type_Interpreting, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge290, axiom, - ( ! [X] : - (hasType(type_InvalidDeductiveArgument, X) => hasType(type_DeductiveArgument, X)))). - -fof(axMerge291, axiom, - ( ! [X] : - (hasType(type_Invertebrate, X) => hasType(type_Animal, X)))). - -fof(axMerge292, axiom, - ( ! [X] : - (hasType(type_Investigating, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge293, axiom, - ( ! [X] : - (hasType(type_IrrationalNumber, X) => hasType(type_RealNumber, X)))). - -fof(axMerge294, axiom, - ( ! [X] : - (hasType(type_Island, X) => hasType(type_LandArea, X)))). - -fof(axMerge295, axiom, - ( ! [X] : - (hasType(type_January, X) => hasType(type_Month, X)))). - -fof(axMerge296, axiom, - ( ! [X] : - (hasType(type_JoiningAnOrganization, X) => hasType(type_OrganizationalProcess, X)))). - -fof(axMerge297, axiom, - ( ! [X] : - (hasType(type_Judging, X) => hasType(type_Selecting, X)))). - -fof(axMerge298, axiom, - ( ! [X] : - (hasType(type_JudicialOrganization, X) => hasType(type_Organization, X)))). - -fof(axMerge299, axiom, - (! [Var_PROCESS] : - (((hasType(type_PoliticalProcess, Var_PROCESS)) & ( ( ? [Var_ORG] : - (hasType(type_Organization, Var_ORG) & -(f_agent(Var_PROCESS,Var_ORG)))))) <=> (hasType(type_JudicialProcess, Var_PROCESS))))). - -fof(axMerge300, axiom, - ( ! [X] : - (hasType(type_July, X) => hasType(type_Month, X)))). - -fof(axMerge301, axiom, - ( ! [X] : - (hasType(type_June, X) => hasType(type_Month, X)))). - -fof(axMerge302, axiom, - ( ! [X] : - (hasType(type_Keeping, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge303, axiom, - ( ! [X] : - (hasType(type_Killing, X) => hasType(type_Destruction, X)))). - -fof(axMerge304, axiom, - ( ! [X] : - (hasType(type_LandArea, X) => hasType(type_GeographicArea, X)))). - -fof(axMerge305, axiom, - ( ! [X] : - (hasType(type_LandTransitway, X) => hasType(type_LandArea, X)))). - -fof(axMerge306, axiom, - ( ! [X] : - (hasType(type_LandTransitway, X) => hasType(type_Transitway, X)))). - -fof(axMerge307, axiom, - ( ! [X] : - (hasType(type_Language, X) => hasType(type_LinguisticExpression, X)))). - -fof(axMerge308, axiom, - ( ! [X] : - (hasType(type_LeapYear, X) => hasType(type_Year, X)))). - -fof(axMerge309, axiom, - ( ! [X] : - (hasType(type_Learning, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge310, axiom, - ( ! [X] : - (hasType(type_LeavingAnOrganization, X) => hasType(type_OrganizationalProcess, X)))). - -fof(axMerge311, axiom, - ( ! [X] : - (hasType(type_LegalAction, X) => hasType(type_Contest, X)))). - -fof(axMerge312, axiom, - ( ! [X] : - (hasType(type_LegalDecision, X) => hasType(type_Declaring, X)))). - -fof(axMerge313, axiom, - ( ! [X] : - (hasType(type_LegalDecision, X) => hasType(type_JudicialProcess, X)))). - -fof(axMerge314, axiom, - ( ! [X] : - (hasType(type_Lending, X) => hasType(type_Giving, X)))). - -fof(axMerge315, axiom, - ( ! [X] : - (hasType(type_LengthMeasure, X) => hasType(type_ConstantQuantity, X)))). - -fof(axMerge316, axiom, - ( ! [X] : - (hasType(type_LinguisticCommunication, X) => hasType(type_Communication, X)))). - -fof(axMerge317, axiom, - ( ! [X] : - (hasType(type_LinguisticExpression, X) => hasType(type_ContentBearingPhysical, X)))). - -fof(axMerge318, axiom, - ( ! [X] : - (hasType(type_LiquidMixture, X) => hasType(type_Mixture, X)))). - -fof(axMerge319, axiom, - ( ! [X] : - (hasType(type_LiquidMotion, X) => hasType(type_Motion, X)))). - -fof(axMerge320, axiom, - ( ! [X] : - (hasType(type_Listening, X) => hasType(type_Hearing, X)))). - -fof(axMerge321, axiom, - ( ! [X] : - (hasType(type_Listening, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge322, axiom, - ( ! [X] : - (hasType(type_Looking, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge323, axiom, - ( ! [X] : - (hasType(type_Looking, X) => hasType(type_Seeing, X)))). - -fof(axMerge324, axiom, - ( ! [X] : - (hasType(type_Machine, X) => hasType(type_Device, X)))). - -fof(axMerge325, axiom, - ( ! [X] : - (hasType(type_Maintaining, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge326, axiom, - ( ! [X] : - (hasType(type_Making, X) => hasType(type_Creation, X)))). - -fof(axMerge327, axiom, - ( ! [X] : - (hasType(type_Making, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge328, axiom, - ( ! [X] : - (hasType(type_Mammal, X) => hasType(type_WarmBloodedVertebrate, X)))). - -fof(axMerge329, axiom, - ( ! [X] : - (hasType(type_Man, X) => hasType(type_Human, X)))). - -fof(axMerge330, axiom, - ( ! [X] : - (hasType(type_Managing, X) => hasType(type_Guiding, X)))). - -fof(axMerge331, axiom, - ( ! [X] : - (hasType(type_Managing, X) => hasType(type_OrganizationalProcess, X)))). - -fof(axMerge332, axiom, - ( ! [X] : - (hasType(type_Maneuver, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge333, axiom, - ( ! [X] : - (hasType(type_ManualHumanLanguage, X) => hasType(type_HumanLanguage, X)))). - -fof(axMerge334, axiom, - ( ! [X] : - (hasType(type_Manufacture, X) => hasType(type_Making, X)))). - -fof(axMerge335, axiom, - ( ! [X] : - (hasType(type_Manufacturer, X) => hasType(type_Corporation, X)))). - -fof(axMerge336, axiom, - ( ! [X] : - (hasType(type_March, X) => hasType(type_Month, X)))). - -fof(axMerge337, axiom, - ( ! [X] : - (hasType(type_Marsupial, X) => hasType(type_Mammal, X)))). - -fof(axMerge338, axiom, - ( ! [X] : - (hasType(type_MassMeasure, X) => hasType(type_ConstantQuantity, X)))). - -fof(axMerge339, axiom, - ( ! [X] : - (hasType(type_Matriculation, X) => hasType(type_JoiningAnOrganization, X)))). - -fof(axMerge340, axiom, - ( ! [X] : - (hasType(type_May, X) => hasType(type_Month, X)))). - -fof(axMerge341, axiom, - ( ! [X] : - (hasType(type_MeasuringDevice, X) => hasType(type_Device, X)))). - -fof(axMerge342, axiom, - ( ! [X] : - (hasType(type_Measuring, X) => hasType(type_Calculating, X)))). - -fof(axMerge343, axiom, - ( ! [X] : - (hasType(type_Meat, X) => hasType(type_Food, X)))). - -fof(axMerge344, axiom, - ( ! [X] : - (hasType(type_Meeting, X) => hasType(type_SocialInteraction, X)))). - -fof(axMerge345, axiom, - ( ! [X] : - (hasType(type_Melting, X) => hasType(type_StateChange, X)))). - -fof(axMerge346, axiom, - ( ! [X] : - (hasType(type_MercantileOrganization, X) => hasType(type_Corporation, X)))). - -fof(axMerge347, axiom, - ( ! [X] : - (hasType(type_Metal, X) => hasType(type_ElementalSubstance, X)))). - -fof(axMerge348, axiom, - ( ! [X] : - (hasType(type_Microorganism, X) => hasType(type_Organism, X)))). - -fof(axMerge349, axiom, - ( ! [X] : - (hasType(type_MilitaryForce, X) => hasType(type_PoliticalOrganization, X)))). - -fof(axMerge350, axiom, - ( ! [X] : - (hasType(type_MilitaryOrganization, X) => hasType(type_GovernmentOrganization, X)))). - -fof(axMerge351, axiom, - ( ! [X] : - (hasType(type_MilitaryOrganization, X) => hasType(type_MilitaryForce, X)))). - -fof(axMerge352, axiom, - ( ! [X] : - (hasType(type_MilitaryProcess, X) => hasType(type_PoliticalProcess, X)))). - -fof(axMerge353, axiom, - ( ! [X] : - (hasType(type_Mineral, X) => hasType(type_Substance, X)))). - -fof(axMerge354, axiom, - ( ! [X] : - (hasType(type_Minute, X) => hasType(type_TimeInterval, X)))). - -fof(axMerge355, axiom, - ( ! [X] : - (hasType(type_Mixture, X) => hasType(type_Substance, X)))). - -fof(axMerge356, axiom, - ( ! [X] : - (hasType(type_Molecule, X) => hasType(type_CompoundSubstance, X)))). - -fof(axMerge357, axiom, - ( ! [X] : - (hasType(type_Mollusk, X) => hasType(type_Invertebrate, X)))). - -fof(axMerge358, axiom, - ( ! [X] : - (hasType(type_Monday, X) => hasType(type_Day, X)))). - -fof(axMerge359, axiom, - ( ! [X] : - (hasType(type_Monkey, X) => hasType(type_Primate, X)))). - -fof(axMerge360, axiom, - ( ! [X] : - (hasType(type_Month, X) => hasType(type_TimeInterval, X)))). - -fof(axMerge361, axiom, - ( ! [X] : - (hasType(type_Morpheme, X) => hasType(type_LinguisticExpression, X)))). - -fof(axMerge362, axiom, - ( ! [X] : - (hasType(type_Moss, X) => hasType(type_NonFloweringPlant, X)))). - -fof(axMerge363, axiom, - ( ! [X] : - (hasType(type_MotionDownward, X) => hasType(type_Motion, X)))). - -fof(axMerge364, axiom, - ( ! [X] : - (hasType(type_MotionPicture, X) => hasType(type_Text, X)))). - -fof(axMerge365, axiom, - ( ! [X] : - (hasType(type_MotionUpward, X) => hasType(type_Motion, X)))). - -fof(axMerge366, axiom, - ( ! [X] : - (hasType(type_Motion, X) => hasType(type_Process, X)))). - -fof(axMerge367, axiom, - ( ! [X] : - (hasType(type_MultiGraph, X) => hasType(type_Graph, X)))). - -fof(axMerge368, axiom, - ( ! [X] : - (hasType(type_Muscle, X) => hasType(type_AnimalSubstance, X)))). - -fof(axMerge369, axiom, - ( ! [X] : - (hasType(type_Muscle, X) => hasType(type_Tissue, X)))). - -fof(axMerge370, axiom, - ( ! [X] : - (hasType(type_Music, X) => hasType(type_RadiatingSound, X)))). - -fof(axMerge371, axiom, - ( ! [X] : - (hasType(type_MusicalInstrument, X) => hasType(type_Device, X)))). - -fof(axMerge372, axiom, - ( ! [X] : - (hasType(type_MutuallyDisjointClass, X) => hasType(type_SetOrClass, X)))). - -fof(axMerge373, axiom, - ( ! [X] : - (hasType(type_Myriapod, X) => hasType(type_Arthropod, X)))). - -fof(axMerge374, axiom, - ( ! [X] : - (hasType(type_Naming, X) => hasType(type_Declaring, X)))). - -fof(axMerge375, axiom, - ( ! [X] : - (hasType(type_Nation, X) => hasType(type_GeopoliticalArea, X)))). - -fof(axMerge376, axiom, - ( ! [X] : - (hasType(type_Nation, X) => hasType(type_LandArea, X)))). - -fof(axMerge377, axiom, - ( ! [X] : - (hasType(type_NaturalLanguage, X) => hasType(type_HumanLanguage, X)))). - -fof(axMerge378, axiom, - ( ! [X] : - (hasType(type_NaturalProcess, X) => hasType(type_Process, X)))). - -fof(axMerge379, axiom, - ( ! [X] : - (hasType(type_NaturalSubstance, X) => hasType(type_Substance, X)))). - -fof(axMerge380, axiom, - ( ! [X] : - (hasType(type_NegativeInteger, X) => hasType(type_Integer, X)))). - -fof(axMerge381, axiom, - ( ! [X] : - (hasType(type_NegativeInteger, X) => hasType(type_NegativeRealNumber, X)))). - -fof(axMerge382, axiom, - (! [Var_NUMBER] : - (((hasType(type_RealNumber, Var_NUMBER)) & ( f_lessThan(Var_NUMBER,0))) <=> (hasType(type_NegativeRealNumber, Var_NUMBER))))). - -fof(axMerge383, axiom, - ( ! [X] : - (hasType(type_Neutron, X) => hasType(type_SubatomicParticle, X)))). - -fof(axMerge384, axiom, - ( ! [X] : - (hasType(type_NonCompositeUnitOfMeasure, X) => hasType(type_UnitOfMeasure, X)))). - -fof(axMerge385, axiom, - ( ! [X] : - (hasType(type_NonFloweringPlant, X) => hasType(type_Plant, X)))). - -fof(axMerge386, axiom, - ( ! [X] : - (hasType(type_NonNullSet, X) => hasType(type_SetOrClass, X)))). - -fof(axMerge387, axiom, - ( ! [X] : - (hasType(type_NonnegativeInteger, X) => hasType(type_Integer, X)))). - -fof(axMerge388, axiom, - ( ! [X] : - (hasType(type_NonnegativeInteger, X) => hasType(type_NonnegativeRealNumber, X)))). - -fof(axMerge389, axiom, - (! [Var_NUMBER] : - (((hasType(type_RealNumber, Var_NUMBER)) & ( f_greaterThanOrEqualTo(Var_NUMBER,0))) <=> (hasType(type_NonnegativeRealNumber, Var_NUMBER))))). - -fof(axMerge390, axiom, - ( ! [X] : - (hasType(type_NormativeAttribute, X) => hasType(type_RelationalAttribute, X)))). - -fof(axMerge391, axiom, - ( ! [X] : - (hasType(type_NounPhrase, X) => hasType(type_Phrase, X)))). - -fof(axMerge392, axiom, - ( ! [X] : - (hasType(type_Noun, X) => hasType(type_Word, X)))). - -fof(axMerge393, axiom, - ( ! [X] : - (hasType(type_November, X) => hasType(type_Month, X)))). - -fof(axMerge394, axiom, - ( ! [X] : - (hasType(type_NullSet, X) => hasType(type_SetOrClass, X)))). - -fof(axMerge395, axiom, - ( ! [X] : - (hasType(type_Number, X) => hasType(type_Quantity, X)))). - -fof(axMerge396, axiom, - ( ! [X] : - (hasType(type_Nutrient, X) => hasType(type_BiologicallyActiveSubstance, X)))). - -fof(axMerge397, axiom, - ( ! [X] : - (hasType(type_Object, X) => hasType(type_Physical, X)))). - -fof(axMerge398, axiom, - ( ! [X] : - (hasType(type_ObjectiveNorm, X) => hasType(type_NormativeAttribute, X)))). - -fof(axMerge399, axiom, - ( ! [X] : - (hasType(type_October, X) => hasType(type_Month, X)))). - -fof(axMerge400, axiom, - ( ! [X] : - (hasType(type_OddInteger, X) => hasType(type_Integer, X)))). - -fof(axMerge401, axiom, - ( ! [X] : - (hasType(type_Offering, X) => hasType(type_Committing, X)))). - -fof(axMerge402, axiom, - ( ! [X] : - (hasType(type_OlfactoryAttribute, X) => hasType(type_PerceptualAttribute, X)))). - -fof(axMerge403, axiom, - ( ! [X] : - (hasType(type_OneDimensionalFigure, X) => hasType(type_GeometricFigure, X)))). - -fof(axMerge404, axiom, - ( ! [X] : - (hasType(type_OpenTwoDimensionalFigure, X) => hasType(type_TwoDimensionalFigure, X)))). - -fof(axMerge405, axiom, - ( ! [X] : - (hasType(type_Ordering, X) => hasType(type_Directing, X)))). - -fof(axMerge406, axiom, - ( ! [X] : - (hasType(type_OrganOrTissueProcess, X) => hasType(type_AutonomicProcess, X)))). - -fof(axMerge407, axiom, - ( ! [X] : - (hasType(type_Organ, X) => hasType(type_BodyPart, X)))). - -fof(axMerge408, axiom, - ( ! [X] : - (hasType(type_OrganicObject, X) => hasType(type_CorpuscularObject, X)))). - -fof(axMerge409, axiom, - ( ! [X] : - (hasType(type_OrganismProcess, X) => hasType(type_PhysiologicProcess, X)))). - -fof(axMerge410, axiom, - ( ! [X] : - (hasType(type_Organism, X) => hasType(type_Agent, X)))). - -fof(axMerge411, axiom, - ( ! [X] : - (hasType(type_Organism, X) => hasType(type_OrganicObject, X)))). - -fof(axMerge412, axiom, - ( ! [X] : - (hasType(type_Organization, X) => hasType(type_CognitiveAgent, X)))). - -fof(axMerge413, axiom, - ( ! [X] : - (hasType(type_Organization, X) => hasType(type_Group, X)))). - -fof(axMerge414, axiom, - ( ! [X] : - (hasType(type_OrganizationalProcess, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge415, axiom, - ( ! [X] : - (hasType(type_Oval, X) => hasType(type_ClosedTwoDimensionalFigure, X)))). - -fof(axMerge416, axiom, - ( ! [X] : - (hasType(type_PairwiseDisjointClass, X) => hasType(type_SetOrClass, X)))). - -fof(axMerge417, axiom, - ( ! [X] : - (hasType(type_ParamilitaryOrganization, X) => hasType(type_MilitaryForce, X)))). - -fof(axMerge418, axiom, - ( ! [X] : - (hasType(type_ParticleWord, X) => hasType(type_Word, X)))). - -fof(axMerge419, axiom, - ( ! [X] : - (hasType(type_Patent, X) => hasType(type_Certificate, X)))). - -fof(axMerge420, axiom, - ( ! [X] : - (hasType(type_PathologicProcess, X) => hasType(type_BiologicalProcess, X)))). - -fof(axMerge421, axiom, - ( ! [X] : - (hasType(type_Perception, X) => hasType(type_PsychologicalProcess, X)))). - -fof(axMerge422, axiom, - ( ! [X] : - (hasType(type_PerceptualAttribute, X) => hasType(type_InternalAttribute, X)))). - -fof(axMerge423, axiom, - ( ! [X] : - (hasType(type_Periodical, X) => hasType(type_Series, X)))). - -fof(axMerge424, axiom, - ( ! [X] : - (hasType(type_PermanentResidence, X) => hasType(type_Residence, X)))). - -fof(axMerge425, axiom, - ( ! [X] : - (hasType(type_Phrase, X) => hasType(type_LinguisticExpression, X)))). - -fof(axMerge426, axiom, - ( ! [X] : - (hasType(type_PhysicalAttribute, X) => hasType(type_InternalAttribute, X)))). - -fof(axMerge427, axiom, - ( ! [X] : - (hasType(type_PhysicalQuantity, X) => hasType(type_Quantity, X)))). - -fof(axMerge428, axiom, - ( ! [X] : - (hasType(type_PhysicalState, X) => hasType(type_InternalAttribute, X)))). - -fof(axMerge429, axiom, - ( ! [X] : - (hasType(type_PhysicalSystem, X) => hasType(type_Physical, X)))). - -fof(axMerge430, axiom, - ( ! [X] : - (hasType(type_Physical, X) => hasType(type_Entity, X)))). - -fof(axMerge431, axiom, - ( ! [X] : - (hasType(type_PhysiologicProcess, X) => hasType(type_BiologicalProcess, X)))). - -fof(axMerge432, axiom, - ( ! [X] : - (hasType(type_Plan, X) => hasType(type_Procedure, X)))). - -fof(axMerge433, axiom, - ( ! [X] : - (hasType(type_PlaneAngleMeasure, X) => hasType(type_AngleMeasure, X)))). - -fof(axMerge434, axiom, - ( ! [X] : - (hasType(type_Planning, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge435, axiom, - ( ! [X] : - (hasType(type_PlantAnatomicalStructure, X) => hasType(type_AnatomicalStructure, X)))). - -fof(axMerge436, axiom, - ( ! [X] : - (hasType(type_PlantSubstance, X) => hasType(type_BodySubstance, X)))). - -fof(axMerge437, axiom, - (! [Var_PLANT] : - (((hasType(type_Organism, Var_PLANT)) & ( ((( ? [Var_SUBSTANCE] : - (hasType(type_PlantSubstance, Var_SUBSTANCE) & -(f_part(Var_SUBSTANCE,Var_PLANT))))) & (( ? [Var_STRUCTURE] : - (hasType(type_PlantAnatomicalStructure, Var_STRUCTURE) & -(f_part(Var_STRUCTURE,Var_PLANT)))))))) <=> (hasType(type_Plant, Var_PLANT))))). - -fof(axMerge438, axiom, - ( ! [X] : - (hasType(type_Poisoning, X) => hasType(type_Injuring, X)))). - -fof(axMerge439, axiom, - ( ! [X] : - (hasType(type_Poking, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge440, axiom, - ( ! [X] : - (hasType(type_PoliceOrganization, X) => hasType(type_GovernmentOrganization, X)))). - -fof(axMerge441, axiom, - ( ! [X] : - (hasType(type_PoliticalOrganization, X) => hasType(type_Organization, X)))). - -fof(axMerge442, axiom, - ( ! [X] : - (hasType(type_PoliticalProcess, X) => hasType(type_OrganizationalProcess, X)))). - -fof(axMerge443, axiom, - ( ! [X] : - (hasType(type_Pollen, X) => hasType(type_PlantAnatomicalStructure, X)))). - -fof(axMerge444, axiom, - ( ! [X] : - (hasType(type_Pollen, X) => hasType(type_ReproductiveBody, X)))). - -fof(axMerge445, axiom, - ( ! [X] : - (hasType(type_Position, X) => hasType(type_SocialRole, X)))). - -fof(axMerge446, axiom, - ( ! [X] : - (hasType(type_PositionalAttribute, X) => hasType(type_RelationalAttribute, X)))). - -fof(axMerge447, axiom, - ( ! [X] : - (hasType(type_PositiveInteger, X) => hasType(type_NonnegativeInteger, X)))). - -fof(axMerge448, axiom, - ( ! [X] : - (hasType(type_PositiveInteger, X) => hasType(type_PositiveRealNumber, X)))). - - fof(axMerge449, axiom, - (! [Var_NUMBER] : - (((hasType(type_NonnegativeRealNumber, Var_NUMBER)) & ( f_greaterThan(Var_NUMBER,0))) <=> (hasType(type_PositiveRealNumber, Var_NUMBER))))). - -fof(axMerge450, axiom, - ( ! [X] : - (hasType(type_Precipitation, X) => hasType(type_Falling, X)))). - -fof(axMerge451, axiom, - ( ! [X] : - (hasType(type_Precipitation, X) => hasType(type_WaterMotion, X)))). - -fof(axMerge452, axiom, - ( ! [X] : - (hasType(type_Precipitation, X) => hasType(type_WeatherProcess, X)))). - -fof(axMerge453, axiom, - ( ! [X] : - (hasType(type_Predicting, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge454, axiom, - ( ! [X] : - (hasType(type_PrepositionalPhrase, X) => hasType(type_Phrase, X)))). - -fof(axMerge455, axiom, - ( ! [X] : - (hasType(type_Pretending, X) => hasType(type_SocialInteraction, X)))). - -fof(axMerge456, axiom, - ( ! [X] : - (hasType(type_PrimaryColor, X) => hasType(type_ColorAttribute, X)))). - -fof(axMerge457, axiom, - ( ! [X] : - (hasType(type_Primate, X) => hasType(type_Mammal, X)))). - -fof(axMerge458, axiom, - ( ! [X] : - (hasType(type_PrimeNumber, X) => hasType(type_Integer, X)))). - -fof(axMerge459, axiom, - ( ! [X] : - (hasType(type_ProbabilityAttribute, X) => hasType(type_ObjectiveNorm, X)))). - -fof(axMerge460, axiom, - ( ! [X] : - (hasType(type_Procedure, X) => hasType(type_Proposition, X)))). - -fof(axMerge461, axiom, - ( ! [X] : - (hasType(type_Process, X) => hasType(type_Physical, X)))). - -fof(axMerge462, axiom, - ( ! [X] : - (hasType(type_Product, X) => hasType(type_Artifact, X)))). - -fof(axMerge463, axiom, - ( ! [X] : - (hasType(type_Proposition, X) => hasType(type_Abstract, X)))). - -fof(axMerge464, axiom, - ( ! [X] : - (hasType(type_Protein, X) => hasType(type_Nutrient, X)))). - -fof(axMerge465, axiom, - ( ! [X] : - (hasType(type_Proton, X) => hasType(type_SubatomicParticle, X)))). - -fof(axMerge466, axiom, - ( ! [X] : - (hasType(type_PseudoGraph, X) => hasType(type_Graph, X)))). - -fof(axMerge467, axiom, - ( ! [X] : - (hasType(type_PsychologicalAttribute, X) => hasType(type_BiologicalAttribute, X)))). - -fof(axMerge468, axiom, - ( ! [X] : - (hasType(type_PsychologicalDysfunction, X) => hasType(type_DiseaseOrSyndrome, X)))). - -fof(axMerge469, axiom, - ( ! [X] : - (hasType(type_PsychologicalDysfunction, X) => hasType(type_PsychologicalAttribute, X)))). - -fof(axMerge470, axiom, - ( ! [X] : - (hasType(type_PsychologicalProcess, X) => hasType(type_BiologicalProcess, X)))). - -fof(axMerge471, axiom, - ( ! [X] : - (hasType(type_Publication, X) => hasType(type_ContentDevelopment, X)))). - -fof(axMerge472, axiom, - ( ! [X] : - (hasType(type_Publication, X) => hasType(type_Manufacture, X)))). - -fof(axMerge473, axiom, - ( ! [X] : - (hasType(type_PureSubstance, X) => hasType(type_Substance, X)))). - -fof(axMerge474, axiom, - ( ! [X] : - (hasType(type_Pursuing, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge475, axiom, - ( ! [X] : - (hasType(type_Putting, X) => hasType(type_Transfer, X)))). - -fof(axMerge476, axiom, - ( ! [X] : - (hasType(type_QuantityChange, X) => hasType(type_InternalChange, X)))). - -fof(axMerge477, axiom, - ( ! [X] : - (hasType(type_Quantity, X) => hasType(type_Abstract, X)))). - -fof(axMerge478, axiom, - ( ! [X] : - (hasType(type_Questioning, X) => hasType(type_Directing, X)))). - -fof(axMerge479, axiom, - ( ! [X] : - (hasType(type_RadiatingElectromagnetic, X) => hasType(type_Radiating, X)))). - -fof(axMerge480, axiom, - ( ! [X] : - (hasType(type_RadiatingInfrared, X) => hasType(type_RadiatingElectromagnetic, X)))). - -fof(axMerge481, axiom, - ( ! [X] : - (hasType(type_RadiatingLight, X) => hasType(type_RadiatingElectromagnetic, X)))). - -fof(axMerge482, axiom, - ( ! [X] : - (hasType(type_RadiatingNuclear, X) => hasType(type_Radiating, X)))). - -fof(axMerge483, axiom, - ( ! [X] : - (hasType(type_RadiatingSound, X) => hasType(type_Radiating, X)))). - -fof(axMerge484, axiom, - ( ! [X] : - (hasType(type_RadiatingXRay, X) => hasType(type_RadiatingElectromagnetic, X)))). - -fof(axMerge485, axiom, - ( ! [X] : - (hasType(type_Radiating, X) => hasType(type_Motion, X)))). - -fof(axMerge486, axiom, - ( ! [X] : - (hasType(type_RationalNumber, X) => hasType(type_RealNumber, X)))). - -fof(axMerge487, axiom, - ( ! [X] : - (hasType(type_Reading, X) => hasType(type_ContentDevelopment, X)))). - -fof(axMerge488, axiom, - ( ! [X] : - (hasType(type_RealNumber, X) => hasType(type_Number, X)))). - -fof(axMerge489, axiom, - ( ! [X] : - (hasType(type_Reasoning, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge490, axiom, - ( ! [X] : - (hasType(type_RecreationOrExercise, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge491, axiom, - ( ! [X] : - (hasType(type_Region, X) => hasType(type_Object, X)))). - -fof(axMerge492, axiom, - ( ! [X] : - (hasType(type_RegulatoryProcess, X) => hasType(type_Guiding, X)))). - -fof(axMerge493, axiom, - ( ! [X] : - (hasType(type_RelationalAttribute, X) => hasType(type_Attribute, X)))). - -fof(axMerge494, axiom, - ( ! [X] : - (hasType(type_Releasing, X) => hasType(type_Transfer, X)))). - -fof(axMerge495, axiom, - ( ! [X] : - (hasType(type_ReligiousOrganization, X) => hasType(type_BeliefGroup, X)))). - -fof(axMerge496, axiom, - ( ! [X] : - (hasType(type_ReligiousOrganization, X) => hasType(type_Organization, X)))). - -fof(axMerge497, axiom, - ( ! [X] : - (hasType(type_ReligiousProcess, X) => hasType(type_OrganizationalProcess, X)))). - -fof(axMerge498, axiom, - ( ! [X] : - (hasType(type_Remembering, X) => hasType(type_PsychologicalProcess, X)))). - -fof(axMerge499, axiom, - ( ! [X] : - (hasType(type_Removing, X) => hasType(type_Transfer, X)))). - -fof(axMerge500, axiom, - ( ! [X] : - (hasType(type_Repairing, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge501, axiom, - ( ! [X] : - (hasType(type_Replication, X) => hasType(type_OrganismProcess, X)))). - -fof(axMerge502, axiom, - ( ! [X] : - (hasType(type_RepresentationalArtWork, X) => hasType(type_ArtWork, X)))). - -fof(axMerge503, axiom, - ( ! [X] : - (hasType(type_RepresentationalArtWork, X) => hasType(type_Icon, X)))). - -fof(axMerge504, axiom, - ( ! [X] : - (hasType(type_ReproductiveBody, X) => hasType(type_BodyPart, X)))). - -fof(axMerge505, axiom, - ( ! [X] : - (hasType(type_Reptile, X) => hasType(type_ColdBloodedVertebrate, X)))). - -fof(axMerge506, axiom, - ( ! [X] : - (hasType(type_Requesting, X) => hasType(type_Directing, X)))). - -fof(axMerge507, axiom, - ( ! [X] : - (hasType(type_Residence, X) => hasType(type_StationaryArtifact, X)))). - -fof(axMerge508, axiom, - ( ! [X] : - (hasType(type_ResidentialBuilding, X) => hasType(type_Building, X)))). - -fof(axMerge509, axiom, - ( ! [X] : - (hasType(type_ResidentialBuilding, X) => hasType(type_Residence, X)))). - -fof(axMerge510, axiom, - ( ! [X] : - (hasType(type_Roadway, X) => hasType(type_LandTransitway, X)))). - -fof(axMerge511, axiom, - ( ! [X] : - (hasType(type_Rodent, X) => hasType(type_Mammal, X)))). - -fof(axMerge512, axiom, - ( ! [X] : - (hasType(type_Room, X) => hasType(type_StationaryArtifact, X)))). - -fof(axMerge513, axiom, - ( ! [X] : - (hasType(type_Running, X) => hasType(type_Ambulating, X)))). - -fof(axMerge514, axiom, - ( ! [X] : - (hasType(type_SaltWaterArea, X) => hasType(type_WaterArea, X)))). - -fof(axMerge515, axiom, - ( ! [X] : - (hasType(type_SaturationAttribute, X) => hasType(type_InternalAttribute, X)))). - -fof(axMerge516, axiom, - ( ! [X] : - (hasType(type_Saturday, X) => hasType(type_Day, X)))). - -fof(axMerge517, axiom, - ( ! [X] : - (hasType(type_Second, X) => hasType(type_TimeInterval, X)))). - -fof(axMerge518, axiom, - ( ! [X] : - (hasType(type_Seed, X) => hasType(type_PlantAnatomicalStructure, X)))). - -fof(axMerge519, axiom, - ( ! [X] : - (hasType(type_Seed, X) => hasType(type_ReproductiveBody, X)))). - -fof(axMerge520, axiom, - ( ! [X] : - (hasType(type_Seeing, X) => hasType(type_Perception, X)))). - -fof(axMerge521, axiom, - ( ! [X] : - (hasType(type_Selecting, X) => hasType(type_IntentionalPsychologicalProcess, X)))). - -fof(axMerge522, axiom, - ( ! [X] : - (hasType(type_SelfConnectedObject, X) => hasType(type_Object, X)))). - -fof(axMerge523, axiom, - ( ! [X] : - (hasType(type_Selling, X) => hasType(type_FinancialTransaction, X)))). - -fof(axMerge524, axiom, - ( ! [X] : - (hasType(type_Sentence, X) => hasType(type_LinguisticExpression, X)))). - -fof(axMerge525, axiom, - ( ! [X] : - (hasType(type_SentientAgent, X) => hasType(type_Agent, X)))). - -fof(axMerge526, axiom, - ( ! [X] : - (hasType(type_Separating, X) => hasType(type_DualObjectProcess, X)))). - -fof(axMerge527, axiom, - ( ! [X] : - (hasType(type_September, X) => hasType(type_Month, X)))). - -fof(axMerge528, axiom, - ( ! [X] : - (hasType(type_Series, X) => hasType(type_Text, X)))). - -fof(axMerge529, axiom, - ( ! [X] : - (hasType(type_ServiceProcess, X) => hasType(type_SocialInteraction, X)))). - -fof(axMerge530, axiom, - ( ! [X] : - (hasType(type_SetOrClass, X) => hasType(type_Abstract, X)))). - -fof(axMerge531, axiom, - ( ! [X] : - (hasType(type_Set, X) => hasType(type_SetOrClass, X)))). - -fof(axMerge532, axiom, - ( ! [X] : - (hasType(type_SexAttribute, X) => hasType(type_BiologicalAttribute, X)))). - -fof(axMerge533, axiom, - ( ! [X] : - (hasType(type_SexualReproduction, X) => hasType(type_Replication, X)))). - -fof(axMerge534, axiom, - ( ! [X] : - (hasType(type_ShapeAttribute, X) => hasType(type_InternalAttribute, X)))). - -fof(axMerge535, axiom, - ( ! [X] : - (hasType(type_ShapeChange, X) => hasType(type_InternalChange, X)))). - -fof(axMerge536, axiom, - ( ! [X] : - (hasType(type_Shooting, X) => hasType(type_Impelling, X)))). - -fof(axMerge537, axiom, - ( ! [X] : - (hasType(type_ShoreArea, X) => hasType(type_LandArea, X)))). - -fof(axMerge538, axiom, - ( ! [X] : - (hasType(type_Singing, X) => hasType(type_Music, X)))). - -fof(axMerge539, axiom, - ( ! [X] : - (hasType(type_Singing, X) => hasType(type_Speaking, X)))). - -fof(axMerge540, axiom, - ( ! [X] : - (hasType(type_SingleAgentProcess, X) => hasType(type_Process, X)))). - -fof(axMerge541, axiom, - ( ! [X] : - (hasType(type_SingleFamilyResidence, X) => hasType(type_PermanentResidence, X)))). - -fof(axMerge542, axiom, - ( ! [X] : - (hasType(type_Smelling, X) => hasType(type_Perception, X)))). - -fof(axMerge543, axiom, - ( ! [X] : - (hasType(type_Smoke, X) => hasType(type_Cloud, X)))). - -fof(axMerge544, axiom, - ( ! [X] : - (hasType(type_SocialInteraction, X) => hasType(type_IntentionalProcess, X)))). - -fof(axMerge545, axiom, - ( ! [X] : - (hasType(type_SocialRole, X) => hasType(type_RelationalAttribute, X)))). - -fof(axMerge546, axiom, - ( ! [X] : - (hasType(type_SocialUnit, X) => hasType(type_GroupOfPeople, X)))). - -fof(axMerge547, axiom, - ( ! [X] : - (hasType(type_SolidAngleMeasure, X) => hasType(type_AngleMeasure, X)))). - -fof(axMerge548, axiom, - ( ! [X] : - (hasType(type_Solution, X) => hasType(type_LiquidMixture, X)))). - -fof(axMerge549, axiom, - ( ! [X] : - (hasType(type_SoundAttribute, X) => hasType(type_RelationalAttribute, X)))). - -fof(axMerge550, axiom, - ( ! [X] : - (hasType(type_Speaking, X) => hasType(type_LinguisticCommunication, X)))). - -fof(axMerge551, axiom, - ( ! [X] : - (hasType(type_Speaking, X) => hasType(type_Vocalizing, X)))). - -fof(axMerge552, axiom, - ( ! [X] : - (hasType(type_SpokenHumanLanguage, X) => hasType(type_HumanLanguage, X)))). - -fof(axMerge553, axiom, - ( ! [X] : - (hasType(type_Spore, X) => hasType(type_PlantAnatomicalStructure, X)))). - -fof(axMerge554, axiom, - ( ! [X] : - (hasType(type_Spore, X) => hasType(type_ReproductiveBody, X)))). - -fof(axMerge555, axiom, - ( ! [X] : - (hasType(type_Sport, X) => hasType(type_Game, X)))). - -fof(axMerge556, axiom, - ( ! [X] : - (hasType(type_StateChange, X) => hasType(type_InternalChange, X)))). - -fof(axMerge557, axiom, - ( ! [X] : - (hasType(type_StateOfMind, X) => hasType(type_PsychologicalAttribute, X)))). - -fof(axMerge558, axiom, - ( ! [X] : - (hasType(type_StateOrProvince, X) => hasType(type_GeopoliticalArea, X)))). - -fof(axMerge559, axiom, - ( ! [X] : - (hasType(type_StateOrProvince, X) => hasType(type_LandArea, X)))). - -fof(axMerge560, axiom, - ( ! [X] : - (hasType(type_StaticWaterArea, X) => hasType(type_WaterArea, X)))). - -fof(axMerge561, axiom, - ( ! [X] : - (hasType(type_Stating, X) => hasType(type_LinguisticCommunication, X)))). - -fof(axMerge562, axiom, - ( ! [X] : - (hasType(type_StationaryArtifact, X) => hasType(type_Artifact, X)))). - -fof(axMerge563, axiom, - ( ! [X] : - (hasType(type_StreamWaterArea, X) => hasType(type_FlowRegion, X)))). - -fof(axMerge564, axiom, - ( ! [X] : - (hasType(type_StreamWaterArea, X) => hasType(type_WaterArea, X)))). - -fof(axMerge565, axiom, - ( ! [X] : - (hasType(type_SubatomicParticle, X) => hasType(type_ElementalSubstance, X)))). - -fof(axMerge566, axiom, - ( ! [X] : - (hasType(type_SubjectiveAssessmentAttribute, X) => hasType(type_NormativeAttribute, X)))). - -fof(axMerge567, axiom, - ( ! [X] : - (hasType(type_Substance, X) => hasType(type_SelfConnectedObject, X)))). - -fof(axMerge568, axiom, - ( ! [X] : - (hasType(type_Substituting, X) => hasType(type_DualObjectProcess, X)))). - -fof(axMerge569, axiom, - ( ! [X] : - (hasType(type_Substituting, X) => hasType(type_Transfer, X)))). - -fof(axMerge570, axiom, - ( ! [X] : - (hasType(type_Summary, X) => hasType(type_Text, X)))). - -fof(axMerge571, axiom, - ( ! [X] : - (hasType(type_Sunday, X) => hasType(type_Day, X)))). - -fof(axMerge572, axiom, - ( ! [X] : - (hasType(type_Supposing, X) => hasType(type_LinguisticCommunication, X)))). - -fof(axMerge573, axiom, - ( ! [X] : - (hasType(type_SurfaceChange, X) => hasType(type_InternalChange, X)))). - -fof(axMerge574, axiom, - ( ! [X] : - (hasType(type_Surgery, X) => hasType(type_TherapeuticProcess, X)))). - -fof(axMerge575, axiom, - ( ! [X] : - (hasType(type_Suspension, X) => hasType(type_LiquidMixture, X)))). - -fof(axMerge576, axiom, - ( ! [X] : - (hasType(type_Swimming, X) => hasType(type_BodyMotion, X)))). - -fof(axMerge577, axiom, - ( ! [X] : - (hasType(type_SymbolicString, X) => hasType(type_ContentBearingObject, X)))). - -fof(axMerge578, axiom, - ( ! [X] : - (hasType(type_SymmetricPositionalAttribute, X) => hasType(type_PositionalAttribute, X)))). - -fof(axMerge579, axiom, - (! [Var_SUBSTANCE] : - (((hasType(type_Substance, Var_SUBSTANCE)) & ( ( ? [Var_PROCESS] : - (hasType(type_IntentionalProcess, Var_PROCESS) & -(f_result(Var_PROCESS,Var_SUBSTANCE)))))) <=> (hasType(type_SyntheticSubstance, Var_SUBSTANCE))))). - -fof(axMerge580, axiom, - ( ! [X] : - (hasType(type_SystemeInternationalUnit, X) => hasType(type_UnitOfMeasure, X)))). - -fof(axMerge581, axiom, - ( ! [X] : - (hasType(type_TactilePerception, X) => hasType(type_Perception, X)))). - -fof(axMerge582, axiom, - ( ! [X] : - (hasType(type_TasteAttribute, X) => hasType(type_PerceptualAttribute, X)))). - -fof(axMerge583, axiom, - ( ! [X] : - (hasType(type_Tasting, X) => hasType(type_Perception, X)))). - -fof(axMerge584, axiom, - ( ! [X] : - (hasType(type_TemperatureMeasure, X) => hasType(type_ConstantQuantity, X)))). - -fof(axMerge585, axiom, - ( ! [X] : - (hasType(type_TemporaryResidence, X) => hasType(type_Residence, X)))). - -fof(axMerge586, axiom, - ( ! [X] : - (hasType(type_TerminatingEmployment, X) => hasType(type_LeavingAnOrganization, X)))). - -fof(axMerge587, axiom, - ( ! [X] : - (hasType(type_Text, X) => hasType(type_Artifact, X)))). - -fof(axMerge588, axiom, - ( ! [X] : - (hasType(type_Text, X) => hasType(type_ContentBearingObject, X)))). - -fof(axMerge589, axiom, - ( ! [X] : - (hasType(type_Text, X) => hasType(type_LinguisticExpression, X)))). - -fof(axMerge590, axiom, - ( ! [X] : - (hasType(type_TextureAttribute, X) => hasType(type_PerceptualAttribute, X)))). - -fof(axMerge591, axiom, - ( ! [X] : - (hasType(type_TherapeuticProcess, X) => hasType(type_Repairing, X)))). - -fof(axMerge592, axiom, - ( ! [X] : - (hasType(type_ThreeDimensionalFigure, X) => hasType(type_GeometricFigure, X)))). - -fof(axMerge593, axiom, - ( ! [X] : - (hasType(type_Thursday, X) => hasType(type_Day, X)))). - -fof(axMerge594, axiom, - ( ! [X] : - (hasType(type_TimeDependentQuantity, X) => hasType(type_UnaryConstantFunctionQuantity, X)))). - -fof(axMerge595, axiom, - ( ! [X] : - (hasType(type_TimeDuration, X) => hasType(type_TimeMeasure, X)))). - -fof(axMerge596, axiom, - ( ! [X] : - (hasType(type_TimeInterval, X) => hasType(type_TimePosition, X)))). - -fof(axMerge597, axiom, - ( ! [X] : - (hasType(type_TimeMeasure, X) => hasType(type_ConstantQuantity, X)))). - -fof(axMerge598, axiom, - ( ! [X] : - (hasType(type_TimePoint, X) => hasType(type_TimePosition, X)))). - -fof(axMerge599, axiom, - ( ! [X] : - (hasType(type_TimePosition, X) => hasType(type_TimeMeasure, X)))). - -fof(axMerge600, axiom, - ( ! [X] : - (hasType(type_TimeZone, X) => hasType(type_RelationalAttribute, X)))). - -fof(axMerge601, axiom, - ( ! [X] : - (hasType(type_Tissue, X) => hasType(type_BodySubstance, X)))). - -fof(axMerge602, axiom, - ( ! [X] : - (hasType(type_Touching, X) => hasType(type_Transfer, X)))). - -fof(axMerge603, axiom, - ( ! [X] : - (hasType(type_TraitAttribute, X) => hasType(type_PsychologicalAttribute, X)))). - -fof(axMerge604, axiom, - ( ! [X] : - (hasType(type_Transaction, X) => hasType(type_ChangeOfPossession, X)))). - -fof(axMerge605, axiom, - ( ! [X] : - (hasType(type_Transaction, X) => hasType(type_DualObjectProcess, X)))). - -fof(axMerge606, axiom, - ( ! [X] : - (hasType(type_Transfer, X) => hasType(type_Translocation, X)))). - -fof(axMerge607, axiom, - ( ! [X] : - (hasType(type_Transitway, X) => hasType(type_Region, X)))). - -fof(axMerge608, axiom, - ( ! [X] : - (hasType(type_Transitway, X) => hasType(type_SelfConnectedObject, X)))). - -fof(axMerge609, axiom, - ( ! [X] : - (hasType(type_Translating, X) => hasType(type_ContentDevelopment, X)))). - -fof(axMerge610, axiom, - ( ! [X] : - (hasType(type_Translating, X) => hasType(type_DualObjectProcess, X)))). - -fof(axMerge611, axiom, - ( ! [X] : - (hasType(type_Translocation, X) => hasType(type_Motion, X)))). - -fof(axMerge612, axiom, - ( ! [X] : - (hasType(type_TransportationDevice, X) => hasType(type_Device, X)))). - -fof(axMerge613, axiom, - ( ! [X] : - (hasType(type_Transportation, X) => hasType(type_Translocation, X)))). - -fof(axMerge614, axiom, - ( ! [X] : - (hasType(type_Tree, X) => hasType(type_Graph, X)))). - -fof(axMerge615, axiom, - ( ! [X] : - (hasType(type_TruthValue, X) => hasType(type_RelationalAttribute, X)))). - -fof(axMerge616, axiom, - ( ! [X] : - (hasType(type_Tuesday, X) => hasType(type_Day, X)))). - -fof(axMerge617, axiom, - ( ! [X] : - (hasType(type_TwoDimensionalAngle, X) => hasType(type_OpenTwoDimensionalFigure, X)))). - -fof(axMerge618, axiom, - ( ! [X] : - (hasType(type_TwoDimensionalFigure, X) => hasType(type_GeometricFigure, X)))). - -fof(axMerge619, axiom, - ( ! [X] : - (hasType(type_UnaryConstantFunctionQuantity, X) => hasType(type_FunctionQuantity, X)))). - -fof(axMerge620, axiom, - ( ! [X] : - (hasType(type_Uncovering, X) => hasType(type_Removing, X)))). - -fof(axMerge621, axiom, - ( ! [X] : - (hasType(type_Ungrasping, X) => hasType(type_Detaching, X)))). - -fof(axMerge622, axiom, - ( ! [X] : - (hasType(type_UnilateralGetting, X) => hasType(type_Getting, X)))). - -fof(axMerge623, axiom, - ( ! [X] : - (hasType(type_UnilateralGiving, X) => hasType(type_Giving, X)))). - -fof(axMerge624, axiom, - ( ! [X] : - (hasType(type_UniqueList, X) => hasType(type_List, X)))). - -fof(axMerge625, axiom, - ( ! [X] : - (hasType(type_UnitOfAngularMeasure, X) => hasType(type_NonCompositeUnitOfMeasure, X)))). - -fof(axMerge626, axiom, - ( ! [X] : - (hasType(type_UnitOfArea, X) => hasType(type_CompositeUnitOfMeasure, X)))). - -fof(axMerge627, axiom, - ( ! [X] : - (hasType(type_UnitOfAtmosphericPressure, X) => hasType(type_CompositeUnitOfMeasure, X)))). - -fof(axMerge628, axiom, - ( ! [X] : - (hasType(type_UnitOfCurrency, X) => hasType(type_NonCompositeUnitOfMeasure, X)))). - -fof(axMerge629, axiom, - ( ! [X] : - (hasType(type_UnitOfDuration, X) => hasType(type_NonCompositeUnitOfMeasure, X)))). - -fof(axMerge630, axiom, - ( ! [X] : - (hasType(type_UnitOfFrequency, X) => hasType(type_CompositeUnitOfMeasure, X)))). - -fof(axMerge631, axiom, - ( ! [X] : - (hasType(type_UnitOfInformation, X) => hasType(type_NonCompositeUnitOfMeasure, X)))). - -fof(axMerge632, axiom, - ( ! [X] : - (hasType(type_UnitOfLength, X) => hasType(type_NonCompositeUnitOfMeasure, X)))). - -fof(axMerge633, axiom, - ( ! [X] : - (hasType(type_UnitOfMass, X) => hasType(type_NonCompositeUnitOfMeasure, X)))). - -fof(axMerge634, axiom, - ( ! [X] : - (hasType(type_UnitOfMeasure, X) => hasType(type_PhysicalQuantity, X)))). - -fof(axMerge635, axiom, - ( ! [X] : - (hasType(type_UnitOfTemperature, X) => hasType(type_NonCompositeUnitOfMeasure, X)))). - -fof(axMerge636, axiom, - ( ! [X] : - (hasType(type_UnitOfVolume, X) => hasType(type_CompositeUnitOfMeasure, X)))). - -fof(axMerge637, axiom, - ( ! [X] : - (hasType(type_ValidDeductiveArgument, X) => hasType(type_DeductiveArgument, X)))). - -fof(axMerge638, axiom, - ( ! [X] : - (hasType(type_Vehicle, X) => hasType(type_TransportationDevice, X)))). - -fof(axMerge639, axiom, - ( ! [X] : - (hasType(type_VerbPhrase, X) => hasType(type_Phrase, X)))). - -fof(axMerge640, axiom, - ( ! [X] : - (hasType(type_Verb, X) => hasType(type_Word, X)))). - -fof(axMerge641, axiom, - ( ! [X] : - (hasType(type_SpinalColumn, X) => hasType(type_AnimalAnatomicalStructure, X)))). - -fof(axMerge642, axiom, - ( ! [X] : - (hasType(type_SpinalColumn, X) => hasType(type_Organ, X)))). - -fof(axMerge643, axiom, - ( ! [X] : - (hasType(type_NervousSystem, X) => hasType(type_AnimalAnatomicalStructure, X)))). - -fof(axMerge644, axiom, - ( ! [X] : - (hasType(type_NervousSystem, X) => hasType(type_Organ, X)))). - -fof(axMerge645, axiom, - ( ! [X] : - (hasType(type_Skeleton, X) => hasType(type_AnimalAnatomicalStructure, X)))). - -fof(axMerge646, axiom, - ( ! [X] : - (hasType(type_Skeleton, X) => hasType(type_BodyPart, X)))). - -fof(axMerge647, axiom, - ( ! [X] : - (hasType(type_Exoskeleton, X) => hasType(type_AnimalAnatomicalStructure, X)))). - -fof(axMerge648, axiom, - ( ! [X] : - (hasType(type_Exoskeleton, X) => hasType(type_BodyPart, X)))). - -fof(axMerge649, axiom, - (! [Var_VERT] : - (((hasType(type_Animal, Var_VERT)) & ( ((((((( ? [Var_SPINE] : - (hasType(type_SpinalColumn, Var_SPINE) & -(f_component(Var_SPINE,Var_VERT))))) & (( ? [Var_S] : - (hasType(type_NervousSystem, Var_S) & -(f_part(Var_S,Var_VERT))))))) & (( ? [Var_SKELETON] : - (hasType(type_Skeleton, Var_SKELETON) & -(f_part(Var_SKELETON,Var_VERT))))))) & (( ? [Var_SKELETON] : - (hasType(type_Exoskeleton, Var_SKELETON) & -(f_part(Var_SKELETON,Var_VERT)))))))) <=> (hasType(type_Vertebrate, Var_VERT))))). - -fof(axMerge650, axiom, - ( ! [X] : - (hasType(type_ViolentContest, X) => hasType(type_Contest, X)))). - -fof(axMerge651, axiom, - ( ! [X] : - (hasType(type_Virus, X) => hasType(type_Microorganism, X)))). - -fof(axMerge652, axiom, - ( ! [X] : - (hasType(type_VisualAttribute, X) => hasType(type_PerceptualAttribute, X)))). - -fof(axMerge653, axiom, - ( ! [X] : - (hasType(type_Vitamin, X) => hasType(type_Nutrient, X)))). - -fof(axMerge654, axiom, - ( ! [X] : - (hasType(type_VocalCords, X) => hasType(type_Organ, X)))). - -fof(axMerge655, axiom, - ( ! [X] : - (hasType(type_Vocalizing, X) => hasType(type_BodyMotion, X)))). - -fof(axMerge656, axiom, - ( ! [X] : - (hasType(type_Vocalizing, X) => hasType(type_RadiatingSound, X)))). - -fof(axMerge657, axiom, - ( ! [X] : - (hasType(type_VolumeMeasure, X) => hasType(type_FunctionQuantity, X)))). - -fof(axMerge658, axiom, - ( ! [X] : - (hasType(type_Voting, X) => hasType(type_Deciding, X)))). - -fof(axMerge659, axiom, - ( ! [X] : - (hasType(type_Walking, X) => hasType(type_Ambulating, X)))). - -fof(axMerge660, axiom, - ( ! [X] : - (hasType(type_War, X) => hasType(type_ViolentContest, X)))). - -fof(axMerge661, axiom, - ( ! [X] : - (hasType(type_WarmBloodedVertebrate, X) => hasType(type_Vertebrate, X)))). - -fof(axMerge662, axiom, - ( ! [X] : - (hasType(type_WaterArea, X) => hasType(type_GeographicArea, X)))). - -fof(axMerge663, axiom, - ( ! [X] : - (hasType(type_WaterCloud, X) => hasType(type_Cloud, X)))). - -fof(axMerge664, axiom, - ( ! [X] : - (hasType(type_WaterMotion, X) => hasType(type_LiquidMotion, X)))). - -fof(axMerge665, axiom, - ( ! [X] : - (hasType(type_Water, X) => hasType(type_CompoundSubstance, X)))). - -fof(axMerge666, axiom, - ( ! [X] : - (hasType(type_Weapon, X) => hasType(type_Device, X)))). - -fof(axMerge667, axiom, - ( ! [X] : - (hasType(type_WearableItem, X) => hasType(type_Artifact, X)))). - -fof(axMerge668, axiom, - ( ! [X] : - (hasType(type_WeatherProcess, X) => hasType(type_Motion, X)))). - -fof(axMerge669, axiom, - ( ! [X] : - (hasType(type_Wedding, X) => hasType(type_Declaring, X)))). - -fof(axMerge670, axiom, - ( ! [X] : - (hasType(type_Wednesday, X) => hasType(type_Day, X)))). - -fof(axMerge671, axiom, - ( ! [X] : - (hasType(type_Week, X) => hasType(type_TimeInterval, X)))). - -fof(axMerge672, axiom, - ( ! [X] : - (hasType(type_Wetting, X) => hasType(type_Putting, X)))). - -fof(axMerge673, axiom, - ( ! [X] : - (hasType(type_Wind, X) => hasType(type_GasMotion, X)))). - -fof(axMerge674, axiom, - ( ! [X] : - (hasType(type_Woman, X) => hasType(type_Human, X)))). - -fof(axMerge675, axiom, - ( ! [X] : - (hasType(type_Word, X) => hasType(type_LinguisticExpression, X)))). - -fof(axMerge676, axiom, - ( ! [X] : - (hasType(type_Worm, X) => hasType(type_Invertebrate, X)))). - -fof(axMerge677, axiom, - ( ! [X] : - (hasType(type_Writing, X) => hasType(type_ContentDevelopment, X)))). - -fof(axMerge678, axiom, - ( ! [X] : - (hasType(type_Year, X) => hasType(type_TimeInterval, X)))). - -fof(axMerge679, axiom, - (hasType(type_SymmetricPositionalAttribute, inst_Adjacent))). - -fof(axMerge680, axiom, - (hasType(type_UnitOfMass, inst_Amu))). - -fof(axMerge681, axiom, - (hasType(type_UnitOfLength, inst_Angstrom))). - -fof(axMerge682, axiom, - (hasType(type_UnitOfAngularMeasure, inst_AngularDegree))). - -fof(axMerge683, axiom, - (hasType(type_ConsciousnessAttribute, inst_Asleep))). - -fof(axMerge684, axiom, - (hasType(type_UnitOfMass, inst_AtomGram))). - -fof(axMerge685, axiom, - (hasType(type_SoundAttribute, inst_Audible))). - -fof(axMerge686, axiom, - (hasType(type_ConsciousnessAttribute, inst_Awake))). - -fof(axMerge687, axiom, - (hasType(type_UnitOfInformation, inst_Bit))). - -fof(axMerge688, axiom, - (hasType(type_PrimaryColor, inst_Black))). - -fof(axMerge689, axiom, - (hasType(type_PrimaryColor, inst_Blue))). - -fof(axMerge690, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_BritishThermalUnit))). - -fof(axMerge691, axiom, - (hasType(type_UnitOfInformation, inst_Byte))). - -fof(axMerge692, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Calorie))). - -fof(axMerge693, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Ampere))). - -fof(axMerge694, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Candela))). - -fof(axMerge695, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Newton))). - -fof(axMerge696, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Pascal))). - -fof(axMerge697, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Joule))). - -fof(axMerge698, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Watt))). - -fof(axMerge699, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Coulomb))). - -fof(axMerge700, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Volt))). - -fof(axMerge701, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Farad))). - -fof(axMerge702, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Ohm))). - -fof(axMerge703, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Siemens))). - -fof(axMerge704, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Weber))). - -fof(axMerge705, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Tesla))). - -fof(axMerge706, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Henry))). - -fof(axMerge707, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Lumen))). - -fof(axMerge708, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Lux))). - -fof(axMerge709, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Becquerel))). - -fof(axMerge710, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Gray))). - -fof(axMerge711, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Sievert))). - -fof(axMerge712, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_ElectronVolt))). - -fof(axMerge713, axiom, - (hasType(type_UnitOfMass, inst_Gram))). - -fof(axMerge714, axiom, - (hasType(type_UnitOfFrequency, inst_Hertz))). - -fof(axMerge715, axiom, - (hasType(type_UnitOfTemperature, inst_KelvinDegree))). - -fof(axMerge716, axiom, - (hasType(type_UnitOfMass, inst_Kilogram))). - -fof(axMerge717, axiom, - (hasType(type_UnitOfLength, inst_Meter))). - -fof(axMerge718, axiom, - (hasType(type_UnitOfMass, inst_Mole))). - -fof(axMerge719, axiom, - (hasType(type_UnitOfAngularMeasure, inst_Radian))). - -fof(axMerge720, axiom, - (hasType(type_UnitOfDuration, inst_SecondDuration))). - -fof(axMerge721, axiom, - (hasType(type_UnitOfAngularMeasure, inst_Steradian))). - -fof(axMerge722, axiom, - (hasType(type_AntiSymmetricPositionalAttribute, inst_Below))). - -fof(axMerge723, axiom, - (hasType(type_AntiSymmetricPositionalAttribute, inst_Above))). - -fof(axMerge724, axiom, - (hasType(type_AntiSymmetricPositionalAttribute, inst_Left))). - -fof(axMerge725, axiom, - (hasType(type_AntiSymmetricPositionalAttribute, inst_Right))). - -fof(axMerge726, axiom, - (hasType(type_TemperatureMeasure, inst_CelsiusDegree) & hasType(type_UnitOfMeasure, inst_CelsiusDegree))). - -fof(axMerge727, axiom, - (hasType(type_UnitOfLength, inst_Centimeter))). - -fof(axMerge728, axiom, - (hasType(type_TimeZone, inst_CentralTimeZone))). - -fof(axMerge729, axiom, - (hasType(type_TimeZone, inst_CoordinatedUniversalTimeZone))). - -fof(axMerge730, axiom, - (hasType(type_UnitOfVolume, inst_Cup))). - -fof(axMerge731, axiom, - (hasType(type_SaturationAttribute, inst_Damp))). - -fof(axMerge732, axiom, - (hasType(type_UnitOfDuration, inst_DayDuration))). - -fof(axMerge733, axiom, - (hasType(type_SaturationAttribute, inst_Dry))). - -fof(axMerge734, axiom, - (hasType(type_DirectionalAttribute, inst_East))). - -fof(axMerge735, axiom, - (hasType(type_TimeZone, inst_EasternTimeZone))). - -fof(axMerge736, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_ElectronVolt))). - -fof(axMerge737, axiom, - (hasType(type_UnitOfCurrency, inst_EuroCent))). - -fof(axMerge738, axiom, - (hasType(type_UnitOfCurrency, inst_EuroDollar))). - -fof(axMerge739, axiom, - (hasType(type_UnitOfTemperature, inst_FahrenheitDegree))). - -fof(axMerge740, axiom, - (hasType(type_TruthValue, inst_False))). - -fof(axMerge741, axiom, - (hasType(type_SexAttribute, inst_Female))). - -fof(axMerge742, axiom, - (hasType(type_ShapeAttribute, inst_Fillable))). - -fof(axMerge743, axiom, - (hasType(type_PhysicalAttribute, inst_Flammable))). - -fof(axMerge744, axiom, - (hasType(type_PhysicalState, inst_Fluid))). - -fof(axMerge745, axiom, - (hasType(type_UnitOfLength, inst_FootLength))). - -fof(axMerge746, axiom, - (hasType(type_DevelopmentalAttribute, inst_FullyFormed))). - -fof(axMerge747, axiom, - (hasType(type_PhysicalState, inst_Gas))). - -fof(axMerge748, axiom, - (hasType(type_PositionalAttribute, inst_Horizontal))). - -fof(axMerge749, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_Horsepower))). - -fof(axMerge750, axiom, - (hasType(type_UnitOfDuration, inst_HourDuration))). - -fof(axMerge751, axiom, - (hasType(type_VisualAttribute, inst_Illuminated))). - -fof(axMerge752, axiom, - (hasType(type_UnitOfLength, inst_Inch))). - -fof(axMerge753, axiom, - (hasType(type_UnitOfAtmosphericPressure, inst_InchMercury))). - -fof(axMerge754, axiom, - (hasType(type_UnitOfInformation, inst_KiloByte))). - -fof(axMerge755, axiom, - (hasType(type_UnitOfLength, inst_Kilometer))). - -fof(axMerge756, axiom, - (hasType(type_ProbabilityAttribute, inst_Likely))). - -fof(axMerge757, axiom, - (hasType(type_PhysicalState, inst_Liquid))). - -fof(axMerge758, axiom, - (hasType(type_UnitOfVolume, inst_Liter))). - -fof(axMerge759, axiom, - (hasType(type_AnimacyAttribute, inst_Living))). - -fof(axMerge760, axiom, - (hasType(type_SexAttribute, inst_Male))). - -fof(axMerge761, axiom, - (hasType(type_UnitOfInformation, inst_MegaByte))). - -fof(axMerge762, axiom, - (hasType(type_UnitOfLength, inst_Mile))). - -fof(axMerge763, axiom, - (hasType(type_UnitOfLength, inst_Millimeter))). - -fof(axMerge764, axiom, - (hasType(type_UnitOfDuration, inst_MinuteDuration))). - -fof(axMerge765, axiom, - (hasType(type_UnitOfAtmosphericPressure, inst_MmMercury))). - -fof(axMerge766, axiom, - (hasType(type_ColorAttribute, inst_Monochromatic))). - -fof(axMerge767, axiom, - (hasType(type_UnitOfDuration, inst_MonthDuration))). - -fof(axMerge768, axiom, - (hasType(type_TimeZone, inst_MountainTimeZone))). - -fof(axMerge769, axiom, - (hasType(type_SymmetricPositionalAttribute, inst_Near))). - -fof(axMerge770, axiom, - (hasType(type_AlethicAttribute, inst_Necessity))). - -fof(axMerge771, axiom, - (hasType(type_TimePoint, inst_NegativeInfinity))). - -fof(axMerge772, axiom, - (hasType(type_DevelopmentalAttribute, inst_NonFullyFormed))). - -fof(axMerge773, axiom, - (hasType(type_DirectionalAttribute, inst_North))). - -fof(axMerge774, axiom, - (hasType(type_List, inst_NullList))). - -fof(axMerge775, axiom, - (hasType(type_PositiveRealNumber, inst_NumberE))). - -fof(axMerge776, axiom, - (hasType(type_DeonticAttribute, inst_Obligation))). - -fof(axMerge777, axiom, - (hasType(type_AntiSymmetricPositionalAttribute, inst_On))). - -fof(axMerge778, axiom, - (hasType(type_UnitOfVolume, inst_Ounce))). - -fof(axMerge779, axiom, - (hasType(type_TimeZone, inst_PacificTimeZone))). - -fof(axMerge780, axiom, - (hasType(type_DeonticAttribute, inst_Permission))). - -fof(axMerge781, axiom, - (hasType(type_PositiveRealNumber, inst_Pi))). - -fof(axMerge782, axiom, - (hasType(type_UnitOfVolume, inst_Pint))). - -fof(axMerge783, axiom, - (hasType(type_PhysicalState, inst_Plasma))). - -fof(axMerge784, axiom, - (hasType(type_InternalAttribute, inst_Pliable))). - -fof(axMerge785, axiom, - (hasType(type_ColorAttribute, inst_Polychromatic))). - -fof(axMerge786, axiom, - (hasType(type_TimePoint, inst_PositiveInfinity))). - -fof(axMerge787, axiom, - (hasType(type_AlethicAttribute, inst_Possibility))). - -fof(axMerge788, axiom, - (hasType(type_CompositeUnitOfMeasure, inst_PoundForce))). - -fof(axMerge789, axiom, - (hasType(type_UnitOfMass, inst_PoundMass))). - -fof(axMerge790, axiom, - (hasType(type_DeonticAttribute, inst_Prohibition))). - -fof(axMerge791, axiom, - (hasType(type_BodyPosition, inst_Prostrate))). - -fof(axMerge792, axiom, - (hasType(type_UnitOfVolume, inst_Quart))). - -fof(axMerge793, axiom, - (hasType(type_UnitOfTemperature, inst_RankineDegree))). - -fof(axMerge794, axiom, - (hasType(type_PrimaryColor, inst_Red))). - -fof(axMerge795, axiom, - (hasType(type_InternalAttribute, inst_Rigid))). - -fof(axMerge796, axiom, - (hasType(type_TextureAttribute, inst_Rough))). - -fof(axMerge797, axiom, - (hasType(type_BodyPosition, inst_Sitting))). - -fof(axMerge798, axiom, - (hasType(type_UnitOfMass, inst_Slug))). - -fof(axMerge799, axiom, - (hasType(type_TextureAttribute, inst_Smooth))). - -fof(axMerge800, axiom, - (hasType(type_PhysicalState, inst_Solid))). - -fof(axMerge801, axiom, - (hasType(type_DirectionalAttribute, inst_South))). - -fof(axMerge802, axiom, - (hasType(type_BodyPosition, inst_Standing))). - -fof(axMerge803, axiom, - (hasType(type_TruthValue, inst_True))). - -fof(axMerge804, axiom, - (hasType(type_ConsciousnessAttribute, inst_Unconscious))). - -fof(axMerge805, axiom, - (hasType(type_SocialRole, inst_Unemployed))). - -fof(axMerge806, axiom, - (hasType(type_VisualAttribute, inst_Unilluminated))). - -fof(axMerge807, axiom, - (hasType(type_UnitOfVolume, inst_UnitedKingdomGallon))). - -fof(axMerge808, axiom, - (hasType(type_UnitOfCurrency, inst_UnitedStatesCent))). - -fof(axMerge809, axiom, - (hasType(type_UnitOfCurrency, inst_UnitedStatesDollar))). - -fof(axMerge810, axiom, - (hasType(type_UnitOfVolume, inst_UnitedStatesGallon))). - -fof(axMerge811, axiom, - (hasType(type_ProbabilityAttribute, inst_Unlikely))). - -fof(axMerge812, axiom, - (hasType(type_PositionalAttribute, inst_Vertical))). - -fof(axMerge813, axiom, - (hasType(type_UnitOfDuration, inst_WeekDuration))). - -fof(axMerge814, axiom, - (hasType(type_DirectionalAttribute, inst_West))). - -fof(axMerge815, axiom, - (hasType(type_SaturationAttribute, inst_Wet))). - -fof(axMerge816, axiom, - (hasType(type_PrimaryColor, inst_White))). - -fof(axMerge817, axiom, - (hasType(type_UnitOfDuration, inst_YearDuration))). - -fof(axMerge818, axiom, - (hasType(type_PrimaryColor, inst_Yellow))). - -fof(axMerge819, axiom, - (hasType(type_DeonticAttribute, inst_Law))). - -fof(axMerge820, axiom, - (hasType(type_DeonticAttribute, inst_Promise))). - -fof(axMerge821, axiom, - (hasType(type_DeonticAttribute, inst_PurchaseContract))). - -fof(axMerge822, axiom, - (hasType(type_DeonticAttribute, inst_Warranty))). - -fof(axMerge823, axiom, - (hasType(type_DeonticAttribute, inst_NakedPromise))). - -fof(axMerge824, axiom, - (hasType(type_AnimacyAttribute, inst_Dead) & hasType(type_ConsciousnessAttribute, inst_Dead))). - -fof(axMerge825, axiom, - (hasType(type_DevelopmentalAttribute, inst_Larval))). - -fof(axMerge826, axiom, - (hasType(type_DevelopmentalAttribute, inst_Embryonic))). - -- cgit v1.2.3