fof(axMid_level_ontology0, axiom, 
 ( ! [X] : 
 (hasType(type_Aborting, X) => hasType(type_Removing, X)))).

fof(axMid_level_ontology1, axiom, 
 ( ! [X] : 
 (hasType(type_AcademicDegree, X) => hasType(type_Certificate, X)))).

fof(axMid_level_ontology2, axiom, 
 ( ! [X] : 
 (hasType(type_Accelerating, X) => hasType(type_Increasing, X)))).

fof(axMid_level_ontology3, axiom, 
 ( ! [X] : 
 (hasType(type_Accelerating, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology4, axiom, 
 ( ! [X] : 
 (hasType(type_Accrediting, X) => hasType(type_Declaring, X)))).

fof(axMid_level_ontology5, axiom, 
 ( ! [X] : 
 (hasType(type_AchievingControl, X) => hasType(type_Guiding, X)))).

fof(axMid_level_ontology6, axiom, 
 ( ! [X] : 
 (hasType(type_AcuteAngle, X) => hasType(type_TwoDimensionalAngle, X)))).

fof(axMid_level_ontology7, axiom, 
 ( ! [X] : 
 (hasType(type_Address, X) => hasType(type_RelationalAttribute, X)))).

fof(axMid_level_ontology8, axiom, 
 ( ! [X] : 
 (hasType(type_Aerating, X) => hasType(type_Combining, X)))).

fof(axMid_level_ontology9, axiom, 
 ( ! [X] : 
 (hasType(type_Aerator, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology10, axiom, 
 ( ! [X] : 
 (hasType(type_AerobicExerciseDevice, X) => hasType(type_RecreationOrExerciseDevice, X)))).

fof(axMid_level_ontology11, axiom, 
 ( ! [X] : 
 (hasType(type_Afternoon, X) => hasType(type_DayTime, X)))).

fof(axMid_level_ontology12, axiom, 
 ( ! [X] : 
 (hasType(type_Agency, X) => hasType(type_CommercialAgent, X)))).

fof(axMid_level_ontology13, axiom, 
 ( ! [X] : 
 (hasType(type_AirForce, X) => hasType(type_MilitaryService, X)))).

fof(axMid_level_ontology14, axiom, 
 ( ! [X] : 
 (hasType(type_AirTransportation, X) => hasType(type_Transportation, X)))).

fof(axMid_level_ontology15, axiom, 
 ( ! [X] : 
 (hasType(type_Aircraft, X) => hasType(type_Vehicle, X)))).

fof(axMid_level_ontology16, axiom, 
 ( ! [X] : 
 (hasType(type_Alcohol, X) => hasType(type_OrganicCompound, X)))).

fof(axMid_level_ontology17, axiom, 
 ( ! [X] : 
 (hasType(type_AlcoholicBeverage, X) => hasType(type_Beverage, X)))).

fof(axMid_level_ontology18, axiom, 
 ( ! [X] : 
 (hasType(type_AlcoholicBeverage, X) => hasType(type_Depressant, X)))).

fof(axMid_level_ontology19, axiom, 
 ( ! [X] : 
 (hasType(type_Alkaloid, X) => hasType(type_BiologicallyActiveSubstance, X)))).

fof(axMid_level_ontology20, axiom, 
 ( ! [X] : 
 (hasType(type_Alkaloid, X) => hasType(type_ChemicalBase, X)))).

fof(axMid_level_ontology21, axiom, 
 ( ! [X] : 
 (hasType(type_AlphabeticCharacter, X) => hasType(type_Character, X)))).

fof(axMid_level_ontology22, axiom, 
 ( ! [X] : 
 (hasType(type_Alveolus, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology23, axiom, 
 ( ! [X] : 
 (hasType(type_Alveolus, X) => hasType(type_BodyVessel, X)))).

fof(axMid_level_ontology24, axiom, 
 ( ! [X] : 
 (hasType(type_Ambush, X) => hasType(type_Maneuver, X)))).

fof(axMid_level_ontology25, axiom, 
 ( ! [X] : 
 (hasType(type_AminoAcid, X) => hasType(type_ChemicalAcid, X)))).

fof(axMid_level_ontology26, axiom, 
 ( ! [X] : 
 (hasType(type_AminoAcid, X) => hasType(type_OrganicCompound, X)))).

fof(axMid_level_ontology27, axiom, 
 ( ! [X] : 
 (hasType(type_Anaconda, X) => hasType(type_ConstrictorSnake, X)))).

fof(axMid_level_ontology28, axiom, 
 ( ! [X] : 
 (hasType(type_AnaerobicExerciseDevice, X) => hasType(type_RecreationOrExerciseDevice, X)))).

fof(axMid_level_ontology29, axiom, 
 ( ! [X] : 
 (hasType(type_Anchor, X) => hasType(type_AttachingDevice, X)))).

fof(axMid_level_ontology30, axiom, 
 ( ! [X] : 
 (hasType(type_AnimalController, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology31, axiom, 
 ( ! [X] : 
 (hasType(type_AnimalPoweredDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology32, axiom, 
 ( ! [X] : 
 (hasType(type_AnimalResidence, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology33, axiom, 
 ( ! [X] : 
 (hasType(type_AnimalShell, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology34, axiom, 
 ( ! [X] : 
 (hasType(type_AnimalShell, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology35, axiom, 
 ( ! [X] : 
 (hasType(type_AnimalTeam, X) => hasType(type_GroupOfAnimals, X)))).

fof(axMid_level_ontology36, axiom, 
 ( ! [X] : 
 (hasType(type_Ankle, X) => hasType(type_BodyJoint, X)))).

fof(axMid_level_ontology37, axiom, 
 ( ! [X] : 
 (hasType(type_Announcement, X) => hasType(type_FactualText, X)))).

fof(axMid_level_ontology38, axiom, 
 ( ! [X] : 
 (hasType(type_Answering, X) => hasType(type_Stating, X)))).

fof(axMid_level_ontology39, axiom, 
 ( ! [X] : 
 (hasType(type_AntInsect, X) => hasType(type_Insect, X)))).

fof(axMid_level_ontology40, axiom, 
 ( ! [X] : 
 (hasType(type_AnteMeridiem, X) => hasType(type_TimeInterval, X)))).

fof(axMid_level_ontology41, axiom, 
 ( ! [X] : 
 (hasType(type_Antelope, X) => hasType(type_HoofedMammal, X)))).

fof(axMid_level_ontology42, axiom, 
 ( ! [X] : 
 (hasType(type_Antenna, X) => hasType(type_CommunicationDevice, X)))).

fof(axMid_level_ontology43, axiom, 
 ( ! [X] : 
 (hasType(type_Antibiotic, X) => hasType(type_BiologicallyActiveSubstance, X)))).

fof(axMid_level_ontology44, axiom, 
 ( ! [X] : 
 (hasType(type_Antibody, X) => hasType(type_Protein, X)))).

fof(axMid_level_ontology45, axiom, 
 ( ! [X] : 
 (hasType(type_AntigenA, X) => hasType(type_Antigen, X)))).

fof(axMid_level_ontology46, axiom, 
 ( ! [X] : 
 (hasType(type_AntigenB, X) => hasType(type_Antigen, X)))).

fof(axMid_level_ontology47, axiom, 
 ( ! [X] : 
 (hasType(type_Antigen, X) => hasType(type_BiologicallyActiveSubstance, X)))).

fof(axMid_level_ontology48, axiom, 
 ( ! [X] : 
 (hasType(type_ApartmentBuilding, X) => hasType(type_ResidentialBuilding, X)))).

fof(axMid_level_ontology49, axiom, 
 ( ! [X] : 
 (hasType(type_ApartmentUnit, X) => hasType(type_SingleFamilyResidence, X)))).

fof(axMid_level_ontology50, axiom, 
 ( ! [X] : 
 (hasType(type_Apple, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology51, axiom, 
 ( ! [X] : 
 (hasType(type_Apple, X) => hasType(type_FruitOrVegetable, X)))).

fof(axMid_level_ontology52, axiom, 
 ( ! [X] : 
 (hasType(type_Application, X) => hasType(type_FormText, X)))).

fof(axMid_level_ontology53, axiom, 
 ( ! [X] : 
 (hasType(type_Appointing, X) => hasType(type_Declaring, X)))).

fof(axMid_level_ontology54, axiom, 
 ( ! [X] : 
 (hasType(type_Apron, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology55, axiom, 
 ( ! [X] : 
 (hasType(type_Arguing, X) => hasType(type_Stating, X)))).

fof(axMid_level_ontology56, axiom, 
 ( ! [X] : 
 (hasType(type_Arm, X) => hasType(type_Limb, X)))).

fof(axMid_level_ontology57, axiom, 
 ( ! [X] : 
 (hasType(type_Army, X) => hasType(type_MilitaryService, X)))).

fof(axMid_level_ontology58, axiom, 
 ( ! [X] : 
 (hasType(type_Arriving, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology59, axiom, 
 ( ! [X] : 
 (hasType(type_ArrowFigure, X) => hasType(type_Icon, X)))).

fof(axMid_level_ontology60, axiom, 
 ( ! [X] : 
 (hasType(type_ArrowIcon, X) => hasType(type_Icon, X)))).

fof(axMid_level_ontology61, axiom, 
 ( ! [X] : 
 (hasType(type_ArrowProjectile, X) => hasType(type_Projectile, X)))).

fof(axMid_level_ontology62, axiom, 
 ( ! [X] : 
 (hasType(type_Arson, X) => hasType(type_Combustion, X)))).

fof(axMid_level_ontology63, axiom, 
 ( ! [X] : 
 (hasType(type_Arson, X) => hasType(type_Destruction, X)))).

fof(axMid_level_ontology64, axiom, 
 ( ! [X] : 
 (hasType(type_ArtPainting, X) => hasType(type_ContentDevelopment, X)))).

fof(axMid_level_ontology65, axiom, 
 ( ! [X] : 
 (hasType(type_ArtPainting, X) => hasType(type_Painting, X)))).

fof(axMid_level_ontology66, axiom, 
 ( ! [X] : 
 (hasType(type_ArtSchool, X) => hasType(type_School, X)))).

fof(axMid_level_ontology67, axiom, 
 ( ! [X] : 
 (hasType(type_ArtStudio, X) => hasType(type_Workshop, X)))).

fof(axMid_level_ontology68, axiom, 
 ( ! [X] : 
 (hasType(type_Artery, X) => hasType(type_BloodVessel, X)))).

fof(axMid_level_ontology69, axiom, 
 ( ! [X] : 
 (hasType(type_ArtilleryGun, X) => hasType(type_Gun, X)))).

fof(axMid_level_ontology70, axiom, 
 ( ! [X] : 
 (hasType(type_AtmosphericRegion, X) => hasType(type_SpaceRegion, X)))).

fof(axMid_level_ontology71, axiom, 
 ( ! [X] : 
 (hasType(type_AtomicGroup, X) => hasType(type_CompoundSubstance, X)))).

fof(axMid_level_ontology72, axiom, 
 ( ! [X] : 
 (hasType(type_Atrophy, X) => hasType(type_Decreasing, X)))).

fof(axMid_level_ontology73, axiom, 
 ( ! [X] : 
 (hasType(type_Atrophy, X) => hasType(type_PathologicProcess, X)))).

fof(axMid_level_ontology74, axiom, 
 ( ! [X] : 
 (hasType(type_AudioRecording, X) => hasType(type_ContentBearingObject, X)))).

fof(axMid_level_ontology75, axiom, 
 ( ! [X] : 
 (hasType(type_AudioRecording, X) => hasType(type_Text, X)))).

fof(axMid_level_ontology76, axiom, 
 ( ! [X] : 
 (hasType(type_AuditoriumSeat, X) => hasType(type_Seat, X)))).

fof(axMid_level_ontology77, axiom, 
 ( ! [X] : 
 (hasType(type_Auditorium, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology78, axiom, 
 ( ! [X] : 
 (hasType(type_AutomaticGun, X) => hasType(type_Gun, X)))).

fof(axMid_level_ontology79, axiom, 
 ( ! [X] : 
 (hasType(type_Automobile, X) => hasType(type_PassengerVehicle, X)))).

fof(axMid_level_ontology80, axiom, 
 ( ! [X] : 
 (hasType(type_Automobile, X) => hasType(type_SelfPoweredRoadVehicle, X)))).

fof(axMid_level_ontology81, axiom, 
 ( ! [X] : 
 (hasType(type_Avocado, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology82, axiom, 
 ( ! [X] : 
 (hasType(type_Avocado, X) => hasType(type_FruitOrVegetable, X)))).

fof(axMid_level_ontology83, axiom, 
 ( ! [X] : 
 (hasType(type_Axle, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology84, axiom, 
 ( ! [X] : 
 (hasType(type_BacterialDisease, X) => hasType(type_InfectiousDisease, X)))).

fof(axMid_level_ontology85, axiom, 
 ( ! [X] : 
 (hasType(type_Bag, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology86, axiom, 
 ( ! [X] : 
 (hasType(type_Baking, X) => hasType(type_Cooking, X)))).

fof(axMid_level_ontology87, axiom, 
 ( ! [X] : 
 (hasType(type_Baking, X) => hasType(type_Heating, X)))).

fof(axMid_level_ontology88, axiom, 
 ( ! [X] : 
 (hasType(type_Ball, X) => hasType(type_GamePiece, X)))).

fof(axMid_level_ontology89, axiom, 
 ( ! [X] : 
 (hasType(type_BallisticMissile, X) => hasType(type_Missile, X)))).

fof(axMid_level_ontology90, axiom, 
 ( ! [X] : 
 (hasType(type_Ballot, X) => hasType(type_FormText, X)))).

fof(axMid_level_ontology91, axiom, 
 ( ! [X] : 
 (hasType(type_Bandage, X) => hasType(type_Fabric, X)))).

fof(axMid_level_ontology92, axiom, 
 ( ! [X] : 
 (hasType(type_Baptizing, X) => hasType(type_JoiningAnOrganization, X)))).

fof(axMid_level_ontology93, axiom, 
 ( ! [X] : 
 (hasType(type_Baptizing, X) => hasType(type_ReligiousProcess, X)))).

fof(axMid_level_ontology94, axiom, 
 ( ! [X] : 
 (hasType(type_BargainSale, X) => hasType(type_Offering, X)))).

fof(axMid_level_ontology95, axiom, 
 ( ! [X] : 
 (hasType(type_Barking, X) => hasType(type_RadiatingSound, X)))).

fof(axMid_level_ontology96, axiom, 
 ( ! [X] : 
 (hasType(type_Barn, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology97, axiom, 
 ( ! [X] : 
 (hasType(type_Basement, X) => hasType(type_BuildingLevel, X)))).

fof(axMid_level_ontology98, axiom, 
 ( ! [X] : 
 (hasType(type_BathingDevice, X) => hasType(type_WashingDevice, X)))).

fof(axMid_level_ontology99, axiom, 
 ( ! [X] : 
 (hasType(type_Bathing, X) => hasType(type_Washing, X)))).

fof(axMid_level_ontology100, axiom, 
 (! [Var_R] : 
 (((hasType(type_Room, Var_R)) & ( ( ? [Var_T] : 
 (hasType(type_Toilet, Var_T) &  
(f_located(Var_T,Var_R)))))) <=> (hasType(type_Bathroom, Var_R))))).

fof(axMid_level_ontology101, axiom, 
 ( ! [X] : 
 (hasType(type_Baton, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology102, axiom, 
 ( ! [X] : 
 (hasType(type_Battery, X) => hasType(type_ElectricDevice, X)))).

fof(axMid_level_ontology103, axiom, 
 ( ! [X] : 
 (hasType(type_Battery, X) => hasType(type_PowerSource, X)))).

fof(axMid_level_ontology104, axiom, 
 ( ! [X] : 
 (hasType(type_BecomingDrunk, X) => hasType(type_PsychologicalProcess, X)))).

fof(axMid_level_ontology105, axiom, 
 ( ! [X] : 
 (hasType(type_Bed, X) => hasType(type_Furniture, X)))).

fof(axMid_level_ontology106, axiom, 
 ( ! [X] : 
 (hasType(type_Bedroom, X) => hasType(type_Room, X)))).

fof(axMid_level_ontology107, axiom, 
 ( ! [X] : 
 (hasType(type_Bee, X) => hasType(type_Insect, X)))).

fof(axMid_level_ontology108, axiom, 
 ( ! [X] : 
 (hasType(type_Beef, X) => hasType(type_Meat, X)))).

fof(axMid_level_ontology109, axiom, 
 ( ! [X] : 
 (hasType(type_Beer, X) => hasType(type_AlcoholicBeverage, X)))).

fof(axMid_level_ontology110, axiom, 
 ( ! [X] : 
 (hasType(type_BeginningOperations, X) => hasType(type_OrganizationalProcess, X)))).

fof(axMid_level_ontology111, axiom, 
 ( ! [X] : 
 (hasType(type_Bell, X) => hasType(type_PercussionInstrument, X)))).

fof(axMid_level_ontology112, axiom, 
 ( ! [X] : 
 (hasType(type_Belt, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology113, axiom, 
 ( ! [X] : 
 (hasType(type_Bequeathing, X) => hasType(type_UnilateralGiving, X)))).

fof(axMid_level_ontology114, axiom, 
 ( ! [X] : 
 (hasType(type_Biography, X) => hasType(type_HistoricalAccount, X)))).

fof(axMid_level_ontology115, axiom, 
 ( ! [X] : 
 (hasType(type_BiologicalConception, X) => hasType(type_OrganOrTissueProcess, X)))).

fof(axMid_level_ontology116, axiom, 
 ( ! [X] : 
 (hasType(type_Biopsy, X) => hasType(type_DiagnosticProcess, X)))).

fof(axMid_level_ontology117, axiom, 
 ( ! [X] : 
 (hasType(type_Biopsy, X) => hasType(type_Removing, X)))).

fof(axMid_level_ontology118, axiom, 
 ( ! [X] : 
 (hasType(type_BirdEgg, X) => hasType(type_Egg, X)))).

fof(axMid_level_ontology119, axiom, 
 ( ! [X] : 
 (hasType(type_Biting, X) => hasType(type_Grabbing, X)))).

fof(axMid_level_ontology120, axiom, 
 ( ! [X] : 
 (hasType(type_Blanket, X) => hasType(type_Fabric, X)))).

fof(axMid_level_ontology121, axiom, 
 ( ! [X] : 
 (hasType(type_Bleeding, X) => hasType(type_AutonomicProcess, X)))).

fof(axMid_level_ontology122, axiom, 
 ( ! [X] : 
 (hasType(type_Bloating, X) => hasType(type_Increasing, X)))).

fof(axMid_level_ontology123, axiom, 
 ( ! [X] : 
 (hasType(type_Bloating, X) => hasType(type_PathologicProcess, X)))).

fof(axMid_level_ontology124, axiom, 
 ( ! [X] : 
 (hasType(type_Blockade, X) => hasType(type_Maneuver, X)))).

fof(axMid_level_ontology125, axiom, 
 ( ! [X] : 
 (hasType(type_BloodCell, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology126, axiom, 
 ( ! [X] : 
 (hasType(type_BloodCell, X) => hasType(type_Cell, X)))).

fof(axMid_level_ontology127, axiom, 
 ( ! [X] : 
 (hasType(type_BloodTypeAB, X) => hasType(type_Blood, X)))).

fof(axMid_level_ontology128, axiom, 
 ( ! [X] : 
 (hasType(type_BloodTypeA, X) => hasType(type_Blood, X)))).

fof(axMid_level_ontology129, axiom, 
 ( ! [X] : 
 (hasType(type_BloodTypeB, X) => hasType(type_Blood, X)))).

fof(axMid_level_ontology130, axiom, 
 ( ! [X] : 
 (hasType(type_BloodTypeO, X) => hasType(type_Blood, X)))).

fof(axMid_level_ontology131, axiom, 
 ( ! [X] : 
 (hasType(type_BloodVessel, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology132, axiom, 
 ( ! [X] : 
 (hasType(type_BloodVessel, X) => hasType(type_BodyVessel, X)))).

fof(axMid_level_ontology133, axiom, 
 ( ! [X] : 
 (hasType(type_Blueprint, X) => hasType(type_Icon, X)))).

fof(axMid_level_ontology134, axiom, 
 ( ! [X] : 
 (hasType(type_Blushing, X) => hasType(type_AutonomicProcess, X)))).

fof(axMid_level_ontology135, axiom, 
 ( ! [X] : 
 (hasType(type_BoardOrBlock, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology136, axiom, 
 ( ! [X] : 
 (hasType(type_Boarding, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology137, axiom, 
 ( ! [X] : 
 (hasType(type_BoatDeck, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology138, axiom, 
 ( ! [X] : 
 (hasType(type_BodyJoint, X) => hasType(type_BodyJunction, X)))).

fof(axMid_level_ontology139, axiom, 
 ( ! [X] : 
 (hasType(type_Bomb, X) => hasType(type_ExplosiveDevice, X)))).

fof(axMid_level_ontology140, axiom, 
 ( ! [X] : 
 (hasType(type_Bomb, X) => hasType(type_Weapon, X)))).

fof(axMid_level_ontology141, axiom, 
 ( ! [X] : 
 (hasType(type_Bomber, X) => hasType(type_MilitaryAircraft, X)))).

fof(axMid_level_ontology142, axiom, 
 ( ! [X] : 
 (hasType(type_Bombing, X) => hasType(type_Destruction, X)))).

fof(axMid_level_ontology143, axiom, 
 ( ! [X] : 
 (hasType(type_Bottle, X) => hasType(type_FluidContainer, X)))).

fof(axMid_level_ontology144, axiom, 
 ( ! [X] : 
 (hasType(type_Bowing, X) => hasType(type_Gesture, X)))).

fof(axMid_level_ontology145, axiom, 
 ( ! [X] : 
 (hasType(type_Bowing, X) => hasType(type_Inclining, X)))).

fof(axMid_level_ontology146, axiom, 
 ( ! [X] : 
 (hasType(type_Bowing, X) => hasType(type_MotionDownward, X)))).

fof(axMid_level_ontology147, axiom, 
 ( ! [X] : 
 (hasType(type_Box, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology148, axiom, 
 ( ! [X] : 
 (hasType(type_Boy, X) => hasType(type_HumanChild, X)))).

fof(axMid_level_ontology149, axiom, 
 ( ! [X] : 
 (hasType(type_Boy, X) => hasType(type_Man, X)))).

fof(axMid_level_ontology150, axiom, 
 ( ! [X] : 
 (hasType(type_Brain, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology151, axiom, 
 ( ! [X] : 
 (hasType(type_Brain, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology152, axiom, 
 ( ! [X] : 
 (hasType(type_Brandy, X) => hasType(type_DistilledAlcoholicBeverage, X)))).

fof(axMid_level_ontology153, axiom, 
 ( ! [X] : 
 (hasType(type_Brass, X) => hasType(type_MetallicAlloy, X)))).

fof(axMid_level_ontology154, axiom, 
 ( ! [X] : 
 (hasType(type_BreadOrBiscuit, X) => hasType(type_PreparedFood, X)))).

fof(axMid_level_ontology155, axiom, 
 ( ! [X] : 
 (hasType(type_BreakabilityAttribute, X) => hasType(type_InternalAttribute, X)))).

fof(axMid_level_ontology156, axiom, 
 ( ! [X] : 
 (hasType(type_Breast, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology157, axiom, 
 ( ! [X] : 
 (hasType(type_Breast, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology158, axiom, 
 ( ! [X] : 
 (hasType(type_Brick, X) => hasType(type_BoardOrBlock, X)))).

fof(axMid_level_ontology159, axiom, 
 ( ! [X] : 
 (hasType(type_BrigadierGeneral, X) => hasType(type_MilitaryGeneral, X)))).

fof(axMid_level_ontology160, axiom, 
 ( ! [X] : 
 (hasType(type_BroadcastNetwork, X) => hasType(type_CommunicationSystem, X)))).

fof(axMid_level_ontology161, axiom, 
 ( ! [X] : 
 (hasType(type_BroadcastProgram, X) => hasType(type_Series, X)))).

fof(axMid_level_ontology162, axiom, 
 ( ! [X] : 
 (hasType(type_Broadcasting, X) => hasType(type_Disseminating, X)))).

fof(axMid_level_ontology163, axiom, 
 ( ! [X] : 
 (hasType(type_Broadcasting, X) => hasType(type_RadioEmission, X)))).

fof(axMid_level_ontology164, axiom, 
 ( ! [X] : 
 (hasType(type_BronchialDuct, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology165, axiom, 
 ( ! [X] : 
 (hasType(type_BronchialDuct, X) => hasType(type_BodyVessel, X)))).

fof(axMid_level_ontology166, axiom, 
 ( ! [X] : 
 (hasType(type_Brood, X) => hasType(type_GroupOfAnimals, X)))).

fof(axMid_level_ontology167, axiom, 
 ( ! [X] : 
 (hasType(type_Broom, X) => hasType(type_BrushOrComb, X)))).

fof(axMid_level_ontology168, axiom, 
 ( ! [X] : 
 (hasType(type_BrushOrComb, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology169, axiom, 
 ( ! [X] : 
 (hasType(type_Bubble, X) => hasType(type_CorpuscularObject, X)))).

fof(axMid_level_ontology170, axiom, 
 ( ! [X] : 
 (hasType(type_Buffalo, X) => hasType(type_HoofedMammal, X)))).

fof(axMid_level_ontology171, axiom, 
 ( ! [X] : 
 (hasType(type_Bugle, X) => hasType(type_HornInstrument, X)))).

fof(axMid_level_ontology172, axiom, 
 ( ! [X] : 
 (hasType(type_BuildingLevel, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology173, axiom, 
 (! [Var_B] : 
 (((hasType(type_Cow, Var_B)) & ( f_attribute(Var_B,inst_Male))) => (hasType(type_Bull, Var_B))))).

fof(axMid_level_ontology174, axiom, 
 ( ! [X] : 
 (hasType(type_Bullet, X) => hasType(type_Projectile, X)))).

fof(axMid_level_ontology175, axiom, 
 ( ! [X] : 
 (hasType(type_BumbleBee, X) => hasType(type_Bee, X)))).

fof(axMid_level_ontology176, axiom, 
 ( ! [X] : 
 (hasType(type_Burrow, X) => hasType(type_Cave, X)))).

fof(axMid_level_ontology177, axiom, 
 ( ! [X] : 
 (hasType(type_Burying, X) => hasType(type_Digging, X)))).

fof(axMid_level_ontology178, axiom, 
 ( ! [X] : 
 (hasType(type_Burying, X) => hasType(type_Putting, X)))).

fof(axMid_level_ontology179, axiom, 
 ( ! [X] : 
 (hasType(type_BusStop, X) => hasType(type_GeographicArea, X)))).

fof(axMid_level_ontology180, axiom, 
 ( ! [X] : 
 (hasType(type_Bus, X) => hasType(type_SelfPoweredRoadVehicle, X)))).

fof(axMid_level_ontology181, axiom, 
 ( ! [X] : 
 (hasType(type_BusinessCompetition, X) => hasType(type_Contest, X)))).

fof(axMid_level_ontology182, axiom, 
 ( ! [X] : 
 (hasType(type_Butter, X) => hasType(type_DairyProduct, X)))).

fof(axMid_level_ontology183, axiom, 
 ( ! [X] : 
 (hasType(type_Butter, X) => hasType(type_PreparedFood, X)))).

fof(axMid_level_ontology184, axiom, 
 ( ! [X] : 
 (hasType(type_Button, X) => hasType(type_AttachingDevice, X)))).

fof(axMid_level_ontology185, axiom, 
 ( ! [X] : 
 (hasType(type_Cafeteria, X) => hasType(type_Restaurant, X)))).

fof(axMid_level_ontology186, axiom, 
 (! [Var_C] : 
 (((hasType(type_Cow, Var_C)) & ( f_attribute(Var_C,inst_NonFullyFormed))) <=> (hasType(type_Calf, Var_C))))).

fof(axMid_level_ontology187, axiom, 
 ( ! [X] : 
 (hasType(type_Camera, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology188, axiom, 
 ( ! [X] : 
 (hasType(type_Camp, X) => hasType(type_MobileResidence, X)))).

fof(axMid_level_ontology189, axiom, 
 ( ! [X] : 
 (hasType(type_Campground, X) => hasType(type_LandArea, X)))).

fof(axMid_level_ontology190, axiom, 
 ( ! [X] : 
 (hasType(type_Candle, X) => hasType(type_LightFixture, X)))).

fof(axMid_level_ontology191, axiom, 
 ( ! [X] : 
 (hasType(type_Capillary, X) => hasType(type_BloodVessel, X)))).

fof(axMid_level_ontology192, axiom, 
 ( ! [X] : 
 (hasType(type_CaptainOfficer, X) => hasType(type_MilitaryOfficer, X)))).

fof(axMid_level_ontology193, axiom, 
 ( ! [X] : 
 (hasType(type_Capturing, X) => hasType(type_ChangeOfControl, X)))).

fof(axMid_level_ontology194, axiom, 
 ( ! [X] : 
 (hasType(type_CarBombing, X) => hasType(type_Bombing, X)))).

fof(axMid_level_ontology195, axiom, 
 ( ! [X] : 
 (hasType(type_CareOrganization, X) => hasType(type_Organization, X)))).

fof(axMid_level_ontology196, axiom, 
 ( ! [X] : 
 (hasType(type_Carpentry, X) => hasType(type_Making, X)))).

fof(axMid_level_ontology197, axiom, 
 ( ! [X] : 
 (hasType(type_Catching, X) => hasType(type_Maneuver, X)))).

fof(axMid_level_ontology198, axiom, 
 ( ! [X] : 
 (hasType(type_Catching, X) => hasType(type_Touching, X)))).

fof(axMid_level_ontology199, axiom, 
 ( ! [X] : 
 (hasType(type_CausingHappiness, X) => hasType(type_Process, X)))).

fof(axMid_level_ontology200, axiom, 
 ( ! [X] : 
 (hasType(type_CausingPain, X) => hasType(type_CausingUnhappiness, X)))).

fof(axMid_level_ontology201, axiom, 
 ( ! [X] : 
 (hasType(type_CausingUnhappiness, X) => hasType(type_Process, X)))).

fof(axMid_level_ontology202, axiom, 
 ( ! [X] : 
 (hasType(type_CavalryUnit, X) => hasType(type_MilitaryUnit, X)))).

fof(axMid_level_ontology203, axiom, 
 ( ! [X] : 
 (hasType(type_CeasingOperations, X) => hasType(type_OrganizationalProcess, X)))).

fof(axMid_level_ontology204, axiom, 
 ( ! [X] : 
 (hasType(type_Ceiling, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology205, axiom, 
 ( ! [X] : 
 (hasType(type_CellNucleus, X) => hasType(type_OrganicObject, X)))).

fof(axMid_level_ontology206, axiom, 
 ( ! [X] : 
 (hasType(type_Cellulose, X) => hasType(type_Carbohydrate, X)))).

fof(axMid_level_ontology207, axiom, 
 ( ! [X] : 
 (hasType(type_Cellulose, X) => hasType(type_PlantSubstance, X)))).

fof(axMid_level_ontology208, axiom, 
 ( ! [X] : 
 (hasType(type_Cemetery, X) => hasType(type_LandArea, X)))).

fof(axMid_level_ontology209, axiom, 
 ( ! [X] : 
 (hasType(type_CentrifugalMotion, X) => hasType(type_Rotating, X)))).

fof(axMid_level_ontology210, axiom, 
 ( ! [X] : 
 (hasType(type_CentripetalMotion, X) => hasType(type_Rotating, X)))).

fof(axMid_level_ontology211, axiom, 
 ( ! [X] : 
 (hasType(type_CerealGrain, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology212, axiom, 
 ( ! [X] : 
 (hasType(type_CerealGrain, X) => hasType(type_Seed, X)))).

fof(axMid_level_ontology213, axiom, 
 ( ! [X] : 
 (hasType(type_Chair, X) => hasType(type_Seat, X)))).

fof(axMid_level_ontology214, axiom, 
 ( ! [X] : 
 (hasType(type_ChangeOfControl, X) => hasType(type_AchievingControl, X)))).

fof(axMid_level_ontology215, axiom, 
 ( ! [X] : 
 (hasType(type_ChangingClothing, X) => hasType(type_Transfer, X)))).

fof(axMid_level_ontology216, axiom, 
 ( ! [X] : 
 (hasType(type_Chapter, X) => hasType(type_Article, X)))).

fof(axMid_level_ontology217, axiom, 
 ( ! [X] : 
 (hasType(type_Chart, X) => hasType(type_Icon, X)))).

fof(axMid_level_ontology218, axiom, 
 ( ! [X] : 
 (hasType(type_Checkpoint, X) => hasType(type_GeographicArea, X)))).

fof(axMid_level_ontology219, axiom, 
 ( ! [X] : 
 (hasType(type_ChemicalAcid, X) => hasType(type_CompoundSubstance, X)))).

fof(axMid_level_ontology220, axiom, 
 ( ! [X] : 
 (hasType(type_ChemicalAttack, X) => hasType(type_ViolentContest, X)))).

fof(axMid_level_ontology221, axiom, 
 ( ! [X] : 
 (hasType(type_ChemicalBase, X) => hasType(type_CompoundSubstance, X)))).

fof(axMid_level_ontology222, axiom, 
 ( ! [X] : 
 (hasType(type_ChemicalReduction, X) => hasType(type_ChemicalSynthesis, X)))).

fof(axMid_level_ontology223, axiom, 
 ( ! [X] : 
 (hasType(type_ChemicalSalt, X) => hasType(type_CompoundSubstance, X)))).

fof(axMid_level_ontology224, axiom, 
 ( ! [X] : 
 (hasType(type_ChestOrCabinet, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology225, axiom, 
 ( ! [X] : 
 (hasType(type_ChestOrCabinet, X) => hasType(type_Furniture, X)))).

fof(axMid_level_ontology226, axiom, 
 ( ! [X] : 
 (hasType(type_Chewing, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology227, axiom, 
 ( ! [X] : 
 (hasType(type_ChickenMeat, X) => hasType(type_Meat, X)))).

fof(axMid_level_ontology228, axiom, 
 ( ! [X] : 
 (hasType(type_Chicken, X) => hasType(type_Poultry, X)))).

fof(axMid_level_ontology229, axiom, 
 ( ! [X] : 
 (hasType(type_Chimney, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology230, axiom, 
 ( ! [X] : 
 (hasType(type_Chimney, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology231, axiom, 
 ( ! [X] : 
 (hasType(type_Chin, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology232, axiom, 
 ( ! [X] : 
 (hasType(type_Chin, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology233, axiom, 
 ( ! [X] : 
 (hasType(type_Cholesterol, X) => hasType(type_AnimalSubstance, X)))).

fof(axMid_level_ontology234, axiom, 
 ( ! [X] : 
 (hasType(type_Cholesterol, X) => hasType(type_Steroid, X)))).

fof(axMid_level_ontology235, axiom, 
 ( ! [X] : 
 (hasType(type_Choreographing, X) => hasType(type_Planning, X)))).

fof(axMid_level_ontology236, axiom, 
 ( ! [X] : 
 (hasType(type_ChristianBible, X) => hasType(type_Book, X)))).

fof(axMid_level_ontology237, axiom, 
 ( ! [X] : 
 (hasType(type_ChristianGospel, X) => hasType(type_Text, X)))).

fof(axMid_level_ontology238, axiom, 
 ( ! [X] : 
 (hasType(type_ChristianService, X) => hasType(type_ReligiousService, X)))).

fof(axMid_level_ontology239, axiom, 
 ( ! [X] : 
 (hasType(type_Chromatography, X) => hasType(type_Separating, X)))).

fof(axMid_level_ontology240, axiom, 
 ( ! [X] : 
 (hasType(type_CigarOrCigarette, X) => hasType(type_SmokingDevice, X)))).

fof(axMid_level_ontology241, axiom, 
 ( ! [X] : 
 (hasType(type_CircleSector, X) => hasType(type_ClosedTwoDimensionalFigure, X)))).

fof(axMid_level_ontology242, axiom, 
 ( ! [X] : 
 (hasType(type_Circumision, X) => hasType(type_Removing, X)))).

fof(axMid_level_ontology243, axiom, 
 ( ! [X] : 
 (hasType(type_Circumision, X) => hasType(type_Surgery, X)))).

fof(axMid_level_ontology244, axiom, 
 ( ! [X] : 
 (hasType(type_CityBlock, X) => hasType(type_LandArea, X)))).

fof(axMid_level_ontology245, axiom, 
 ( ! [X] : 
 (hasType(type_CityDistrict, X) => hasType(type_GeopoliticalArea, X)))).

fof(axMid_level_ontology246, axiom, 
 ( ! [X] : 
 (hasType(type_CityGovernment, X) => hasType(type_Government, X)))).

fof(axMid_level_ontology247, axiom, 
 ( ! [X] : 
 (hasType(type_CivilWar, X) => hasType(type_War, X)))).

fof(axMid_level_ontology248, axiom, 
 ( ! [X] : 
 (hasType(type_Civilian, X) => hasType(type_SocialRole, X)))).

fof(axMid_level_ontology249, axiom, 
 ( ! [X] : 
 (hasType(type_Clamp, X) => hasType(type_AttachingDevice, X)))).

fof(axMid_level_ontology250, axiom, 
 ( ! [X] : 
 (hasType(type_Clapping, X) => hasType(type_HandGesture, X)))).

fof(axMid_level_ontology251, axiom, 
 ( ! [X] : 
 (hasType(type_Clapping, X) => hasType(type_Impacting, X)))).

fof(axMid_level_ontology252, axiom, 
 ( ! [X] : 
 (hasType(type_Clapping, X) => hasType(type_RadiatingSound, X)))).

fof(axMid_level_ontology253, axiom, 
 ( ! [X] : 
 (hasType(type_ClassificationScheme, X) => hasType(type_Proposition, X)))).

fof(axMid_level_ontology254, axiom, 
 ( ! [X] : 
 (hasType(type_Classroom, X) => hasType(type_Room, X)))).

fof(axMid_level_ontology255, axiom, 
 ( ! [X] : 
 (hasType(type_Cleric, X) => hasType(type_ReligiousPosition, X)))).

fof(axMid_level_ontology256, axiom, 
 ( ! [X] : 
 (hasType(type_Cloak, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology257, axiom, 
 ( ! [X] : 
 (hasType(type_Clock, X) => hasType(type_MeasuringDevice, X)))).

fof(axMid_level_ontology258, axiom, 
 ( ! [X] : 
 (hasType(type_Closet, X) => hasType(type_Room, X)))).

fof(axMid_level_ontology259, axiom, 
 ( ! [X] : 
 (hasType(type_ClosingContract, X) => hasType(type_Committing, X)))).

fof(axMid_level_ontology260, axiom, 
 ( ! [X] : 
 (hasType(type_ClosingEyes, X) => hasType(type_Closing, X)))).

fof(axMid_level_ontology261, axiom, 
 ( ! [X] : 
 (hasType(type_ClosingEyes, X) => hasType(type_EyeMotion, X)))).

fof(axMid_level_ontology262, axiom, 
 ( ! [X] : 
 (hasType(type_Closing, X) => hasType(type_Motion, X)))).

fof(axMid_level_ontology263, axiom, 
 ( ! [X] : 
 (hasType(type_ClothingSuit, X) => hasType(type_Collection, X)))).

fof(axMid_level_ontology264, axiom, 
 ( ! [X] : 
 (hasType(type_CoastGuard, X) => hasType(type_GovernmentOrganization, X)))).

fof(axMid_level_ontology265, axiom, 
 ( ! [X] : 
 (hasType(type_Coat, X) => hasType(type_OutdoorClothing, X)))).

fof(axMid_level_ontology266, axiom, 
 ( ! [X] : 
 (hasType(type_Coconut, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology267, axiom, 
 ( ! [X] : 
 (hasType(type_Coconut, X) => hasType(type_FruitOrVegetable, X)))).

fof(axMid_level_ontology268, axiom, 
 ( ! [X] : 
 (hasType(type_Coffee, X) => hasType(type_Beverage, X)))).

fof(axMid_level_ontology269, axiom, 
 ( ! [X] : 
 (hasType(type_Coffee, X) => hasType(type_PreparedFood, X)))).

fof(axMid_level_ontology270, axiom, 
 ( ! [X] : 
 (hasType(type_Coffin, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology271, axiom, 
 ( ! [X] : 
 (hasType(type_Collage, X) => hasType(type_ArtWork, X)))).

fof(axMid_level_ontology272, axiom, 
 ( ! [X] : 
 (hasType(type_Collar, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology273, axiom, 
 ( ! [X] : 
 (hasType(type_CollegeStudentPosition, X) => hasType(type_Position, X)))).

fof(axMid_level_ontology274, axiom, 
 ( ! [X] : 
 (hasType(type_College, X) => hasType(type_PostSecondarySchool, X)))).

fof(axMid_level_ontology275, axiom, 
 ( ! [X] : 
 (hasType(type_Colonel, X) => hasType(type_MilitaryOfficer, X)))).

fof(axMid_level_ontology276, axiom, 
 ( ! [X] : 
 (hasType(type_CommercialBuilding, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology277, axiom, 
 ( ! [X] : 
 (hasType(type_CommercialBuilding, X) => hasType(type_PlaceOfCommerce, X)))).

fof(axMid_level_ontology278, axiom, 
 ( ! [X] : 
 (hasType(type_CommercialShipping, X) => hasType(type_CommercialService, X)))).

fof(axMid_level_ontology279, axiom, 
 ( ! [X] : 
 (hasType(type_CommercialShipping, X) => hasType(type_Shipping, X)))).

fof(axMid_level_ontology280, axiom, 
 ( ! [X] : 
 (hasType(type_CommercialUnit, X) => hasType(type_PlaceOfCommerce, X)))).

fof(axMid_level_ontology281, axiom, 
 ( ! [X] : 
 (hasType(type_Commission, X) => hasType(type_Organization, X)))).

fof(axMid_level_ontology282, axiom, 
 ( ! [X] : 
 (hasType(type_CommunicationOrganization, X) => hasType(type_Organization, X)))).

fof(axMid_level_ontology283, axiom, 
 ( ! [X] : 
 (hasType(type_CommunicationSystem, X) => hasType(type_Collection, X)))).

fof(axMid_level_ontology284, axiom, 
 ( ! [X] : 
 (hasType(type_CommunistParty, X) => hasType(type_PoliticalParty, X)))).

fof(axMid_level_ontology285, axiom, 
 ( ! [X] : 
 (hasType(type_Compartment, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology286, axiom, 
 ( ! [X] : 
 (hasType(type_Compass, X) => hasType(type_ContentBearingObject, X)))).

fof(axMid_level_ontology287, axiom, 
 ( ! [X] : 
 (hasType(type_Compass, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology288, axiom, 
 ( ! [X] : 
 (hasType(type_ComposingMusic, X) => hasType(type_ContentDevelopment, X)))).

fof(axMid_level_ontology289, axiom, 
 ( ! [X] : 
 (hasType(type_Composing, X) => hasType(type_ContentDevelopment, X)))).

fof(axMid_level_ontology290, axiom, 
 ( ! [X] : 
 (hasType(type_Concealing, X) => hasType(type_Putting, X)))).

fof(axMid_level_ontology291, axiom, 
 ( ! [X] : 
 (hasType(type_CondominiumBuilding, X) => hasType(type_ResidentialBuilding, X)))).

fof(axMid_level_ontology292, axiom, 
 (! [Var_UNIT] : 
 (((hasType(type_SingleFamilyResidence, Var_UNIT)) & ( ( ? [Var_PERSON] : 
 (hasType(type_Human, Var_PERSON) &  
(((f_home(Var_PERSON,Var_UNIT)) & (f_possesses(Var_PERSON,Var_UNIT)))))))) <=> (hasType(type_CondominiumUnit, Var_UNIT))))).

fof(axMid_level_ontology293, axiom, 
 ( ! [X] : 
 (hasType(type_Cone, X) => hasType(type_ThreeDimensionalFigure, X)))).

fof(axMid_level_ontology294, axiom, 
 ( ! [X] : 
 (hasType(type_ConfederateSoldier, X) => hasType(type_Soldier, X)))).

fof(axMid_level_ontology295, axiom, 
 ( ! [X] : 
 (hasType(type_Congratulating, X) => hasType(type_ExpressingApproval, X)))).

fof(axMid_level_ontology296, axiom, 
 ( ! [X] : 
 (hasType(type_ConjugatedSubstance, X) => hasType(type_CompoundSubstance, X)))).

fof(axMid_level_ontology297, axiom, 
 ( ! [X] : 
 (hasType(type_Consonant, X) => hasType(type_AlphabeticCharacter, X)))).

fof(axMid_level_ontology298, axiom, 
 ( ! [X] : 
 (hasType(type_ConstrictorSnake, X) => hasType(type_Snake, X)))).

fof(axMid_level_ontology299, axiom, 
 ( ! [X] : 
 (hasType(type_Container, X) => hasType(type_Holder, X)))).

fof(axMid_level_ontology300, axiom, 
 ( ! [X] : 
 (hasType(type_ContraceptiveDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology301, axiom, 
 ( ! [X] : 
 (hasType(type_Convoy, X) => hasType(type_Collection, X)))).

fof(axMid_level_ontology302, axiom, 
 ( ! [X] : 
 (hasType(type_CoolingDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology303, axiom, 
 ( ! [X] : 
 (hasType(type_Copying, X) => hasType(type_Making, X)))).

fof(axMid_level_ontology304, axiom, 
 ( ! [X] : 
 (hasType(type_Corporal, X) => hasType(type_MilitaryOfficer, X)))).

fof(axMid_level_ontology305, axiom, 
 ( ! [X] : 
 (hasType(type_Corresponding, X) => hasType(type_LinguisticCommunication, X)))).

fof(axMid_level_ontology306, axiom, 
 ( ! [X] : 
 (hasType(type_CottonFabric, X) => hasType(type_Fabric, X)))).

fof(axMid_level_ontology307, axiom, 
 ( ! [X] : 
 (hasType(type_Cotton, X) => hasType(type_PlantAnatomicalStructure, X)))).

fof(axMid_level_ontology308, axiom, 
 ( ! [X] : 
 (hasType(type_CourtRoom, X) => hasType(type_Room, X)))).

fof(axMid_level_ontology309, axiom, 
 ( ! [X] : 
 (hasType(type_Cow, X) => hasType(type_DomesticAnimal, X)))).

fof(axMid_level_ontology310, axiom, 
 ( ! [X] : 
 (hasType(type_Cow, X) => hasType(type_HoofedMammal, X)))).

fof(axMid_level_ontology311, axiom, 
 ( ! [X] : 
 (hasType(type_Crane, X) => hasType(type_MaterialHandlingEquipment, X)))).

fof(axMid_level_ontology312, axiom, 
 ( ! [X] : 
 (hasType(type_Creek, X) => hasType(type_BodyOfWater, X)))).

fof(axMid_level_ontology313, axiom, 
 ( ! [X] : 
 (hasType(type_Creek, X) => hasType(type_FreshWaterArea, X)))).

fof(axMid_level_ontology314, axiom, 
 ( ! [X] : 
 (hasType(type_Creek, X) => hasType(type_StreamWaterArea, X)))).

fof(axMid_level_ontology315, axiom, 
 ( ! [X] : 
 (hasType(type_CriminalAction, X) => hasType(type_IntentionalProcess, X)))).

fof(axMid_level_ontology316, axiom, 
 ( ! [X] : 
 (hasType(type_CriminalGang, X) => hasType(type_GroupOfPeople, X)))).

fof(axMid_level_ontology317, axiom, 
 ( ! [X] : 
 (hasType(type_CultivatedLandArea, X) => hasType(type_LandArea, X)))).

fof(axMid_level_ontology318, axiom, 
 ( ! [X] : 
 (hasType(type_Curb, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology319, axiom, 
 ( ! [X] : 
 (hasType(type_CurrencyBill, X) => hasType(type_Currency, X)))).

fof(axMid_level_ontology320, axiom, 
 ( ! [X] : 
 (hasType(type_CurrencyCoin, X) => hasType(type_Currency, X)))).

fof(axMid_level_ontology321, axiom, 
 ( ! [X] : 
 (hasType(type_Curtain, X) => hasType(type_Fabric, X)))).

fof(axMid_level_ontology322, axiom, 
 ( ! [X] : 
 (hasType(type_Curtain, X) => hasType(type_WindowCovering, X)))).

fof(axMid_level_ontology323, axiom, 
 ( ! [X] : 
 (hasType(type_CuttingDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology324, axiom, 
 ( ! [X] : 
 (hasType(type_Cylinder, X) => hasType(type_ThreeDimensionalFigure, X)))).

fof(axMid_level_ontology325, axiom, 
 ( ! [X] : 
 (hasType(type_DateFruit, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology326, axiom, 
 ( ! [X] : 
 (hasType(type_DateFruit, X) => hasType(type_FruitOrVegetable, X)))).

fof(axMid_level_ontology327, axiom, 
 ( ! [X] : 
 (hasType(type_DaySchool, X) => hasType(type_School, X)))).

fof(axMid_level_ontology328, axiom, 
 ( ! [X] : 
 (hasType(type_DayTime, X) => hasType(type_TimeInterval, X)))).

fof(axMid_level_ontology329, axiom, 
 ( ! [X] : 
 (hasType(type_Deacon, X) => hasType(type_PartTimePosition, X)))).

fof(axMid_level_ontology330, axiom, 
 ( ! [X] : 
 (hasType(type_Debating, X) => hasType(type_Contest, X)))).

fof(axMid_level_ontology331, axiom, 
 ( ! [X] : 
 (hasType(type_Debating, X) => hasType(type_LinguisticCommunication, X)))).

fof(axMid_level_ontology332, axiom, 
 ( ! [X] : 
 (hasType(type_Deboarding, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology333, axiom, 
 ( ! [X] : 
 (hasType(type_Decelerating, X) => hasType(type_Decreasing, X)))).

fof(axMid_level_ontology334, axiom, 
 ( ! [X] : 
 (hasType(type_Decelerating, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology335, axiom, 
 ( ! [X] : 
 (hasType(type_Depressant, X) => hasType(type_BiologicallyActiveSubstance, X)))).

fof(axMid_level_ontology336, axiom, 
 ( ! [X] : 
 (hasType(type_Desk, X) => hasType(type_Table, X)))).

fof(axMid_level_ontology337, axiom, 
 ( ! [X] : 
 (hasType(type_Detergent, X) => hasType(type_Mixture, X)))).

fof(axMid_level_ontology338, axiom, 
 ( ! [X] : 
 (hasType(type_Detergent, X) => hasType(type_Surfactant, X)))).

fof(axMid_level_ontology339, axiom, 
 ( ! [X] : 
 (hasType(type_DeviceAttribute, X) => hasType(type_ObjectiveNorm, X)))).

fof(axMid_level_ontology340, axiom, 
 ( ! [X] : 
 (hasType(type_DeviceStateAttribute, X) => hasType(type_DeviceAttribute, X)))).

fof(axMid_level_ontology341, axiom, 
 ( ! [X] : 
 (hasType(type_Dialysis, X) => hasType(type_Separating, X)))).

fof(axMid_level_ontology342, axiom, 
 ( ! [X] : 
 (hasType(type_Diamond, X) => hasType(type_Carbon, X)))).

fof(axMid_level_ontology343, axiom, 
 ( ! [X] : 
 (hasType(type_Diamond, X) => hasType(type_Mineral, X)))).

fof(axMid_level_ontology344, axiom, 
 ( ! [X] : 
 (hasType(type_Dictionary, X) => hasType(type_ReferenceBook, X)))).

fof(axMid_level_ontology345, axiom, 
 ( ! [X] : 
 (hasType(type_DieselEngine, X) => hasType(type_InternalCombustionEngine, X)))).

fof(axMid_level_ontology346, axiom, 
 ( ! [X] : 
 (hasType(type_Diet, X) => hasType(type_Plan, X)))).

fof(axMid_level_ontology347, axiom, 
 ( ! [X] : 
 (hasType(type_Digging, X) => hasType(type_IntentionalProcess, X)))).

fof(axMid_level_ontology348, axiom, 
 ( ! [X] : 
 (hasType(type_Digging, X) => hasType(type_SurfaceChange, X)))).

fof(axMid_level_ontology349, axiom, 
 ( ! [X] : 
 (hasType(type_DigitAppendage, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology350, axiom, 
 ( ! [X] : 
 (hasType(type_DigitAppendage, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology351, axiom, 
 ( ! [X] : 
 (hasType(type_DigitCharacter, X) => hasType(type_Character, X)))).

fof(axMid_level_ontology352, axiom, 
 ( ! [X] : 
 (hasType(type_Diluting, X) => hasType(type_Putting, X)))).

fof(axMid_level_ontology353, axiom, 
 ( ! [X] : 
 (hasType(type_DiningRoom, X) => hasType(type_Room, X)))).

fof(axMid_level_ontology354, axiom, 
 ( ! [X] : 
 (hasType(type_Dish, X) => hasType(type_Holder, X)))).

fof(axMid_level_ontology355, axiom, 
 ( ! [X] : 
 (hasType(type_Dismounting, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology356, axiom, 
 ( ! [X] : 
 (hasType(type_DisplayArtifact, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology357, axiom, 
 ( ! [X] : 
 (hasType(type_DistilledAlcoholicBeverage, X) => hasType(type_AlcoholicBeverage, X)))).

fof(axMid_level_ontology358, axiom, 
 ( ! [X] : 
 (hasType(type_Divorcing, X) => hasType(type_Declaring, X)))).

fof(axMid_level_ontology359, axiom, 
 ( ! [X] : 
 (hasType(type_Documentary, X) => hasType(type_FactualText, X)))).

fof(axMid_level_ontology360, axiom, 
 ( ! [X] : 
 (hasType(type_Documentary, X) => hasType(type_MotionPicture, X)))).

fof(axMid_level_ontology361, axiom, 
 ( ! [X] : 
 (hasType(type_Dodging, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology362, axiom, 
 ( ! [X] : 
 (hasType(type_Dodging, X) => hasType(type_IntentionalProcess, X)))).

fof(axMid_level_ontology363, axiom, 
 ( ! [X] : 
 (hasType(type_DomesticAnimal, X) => hasType(type_Animal, X)))).

fof(axMid_level_ontology364, axiom, 
 ( ! [X] : 
 (hasType(type_DomesticCat, X) => hasType(type_DomesticAnimal, X)))).

fof(axMid_level_ontology365, axiom, 
 ( ! [X] : 
 (hasType(type_DomesticCat, X) => hasType(type_Feline, X)))).

fof(axMid_level_ontology366, axiom, 
 ( ! [X] : 
 (hasType(type_DomesticDog, X) => hasType(type_Canine, X)))).

fof(axMid_level_ontology367, axiom, 
 ( ! [X] : 
 (hasType(type_DomesticDog, X) => hasType(type_DomesticAnimal, X)))).

fof(axMid_level_ontology368, axiom, 
 ( ! [X] : 
 (hasType(type_Donkey, X) => hasType(type_HoofedMammal, X)))).

fof(axMid_level_ontology369, axiom, 
 ( ! [X] : 
 (hasType(type_Donkey, X) => hasType(type_Livestock, X)))).

fof(axMid_level_ontology370, axiom, 
 ( ! [X] : 
 (hasType(type_Door, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology371, axiom, 
 ( ! [X] : 
 (hasType(type_Doorway, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology372, axiom, 
 ( ! [X] : 
 (hasType(type_Dormitory, X) => hasType(type_ResidentialBuilding, X)))).

fof(axMid_level_ontology373, axiom, 
 ( ! [X] : 
 (hasType(type_Dormitory, X) => hasType(type_TemporaryResidence, X)))).

fof(axMid_level_ontology374, axiom, 
 ( ! [X] : 
 (hasType(type_Dough, X) => hasType(type_Mixture, X)))).

fof(axMid_level_ontology375, axiom, 
 ( ! [X] : 
 (hasType(type_Dough, X) => hasType(type_PreparedFood, X)))).

fof(axMid_level_ontology376, axiom, 
 ( ! [X] : 
 (hasType(type_Downtown, X) => hasType(type_CityDistrict, X)))).

fof(axMid_level_ontology377, axiom, 
 ( ! [X] : 
 (hasType(type_DramaticActing, X) => hasType(type_Pretending, X)))).

fof(axMid_level_ontology378, axiom, 
 ( ! [X] : 
 (hasType(type_DramaticCast, X) => hasType(type_GroupOfPeople, X)))).

fof(axMid_level_ontology379, axiom, 
 ( ! [X] : 
 (hasType(type_DramaticDirecting, X) => hasType(type_Guiding, X)))).

fof(axMid_level_ontology380, axiom, 
 ( ! [X] : 
 (hasType(type_DramaticPerformance, X) => hasType(type_Performance, X)))).

fof(axMid_level_ontology381, axiom, 
 ( ! [X] : 
 (hasType(type_DramaticPlay, X) => hasType(type_FictionalText, X)))).

fof(axMid_level_ontology382, axiom, 
 ( ! [X] : 
 (hasType(type_Drawing, X) => hasType(type_ContentDevelopment, X)))).

fof(axMid_level_ontology383, axiom, 
 ( ! [X] : 
 (hasType(type_Drawing, X) => hasType(type_SurfaceChange, X)))).

fof(axMid_level_ontology384, axiom, 
 ( ! [X] : 
 (hasType(type_Dreaming, X) => hasType(type_Imagining, X)))).

fof(axMid_level_ontology385, axiom, 
 ( ! [X] : 
 (hasType(type_Dress, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology386, axiom, 
 ( ! [X] : 
 (hasType(type_DressingRoom, X) => hasType(type_Room, X)))).

fof(axMid_level_ontology387, axiom, 
 ( ! [X] : 
 (hasType(type_Dressing, X) => hasType(type_Putting, X)))).

fof(axMid_level_ontology388, axiom, 
 ( ! [X] : 
 (hasType(type_Drill, X) => hasType(type_CuttingDevice, X)))).

fof(axMid_level_ontology389, axiom, 
 ( ! [X] : 
 (hasType(type_Drilling, X) => hasType(type_IntentionalProcess, X)))).

fof(axMid_level_ontology390, axiom, 
 ( ! [X] : 
 (hasType(type_Drilling, X) => hasType(type_SurfaceChange, X)))).

fof(axMid_level_ontology391, axiom, 
 ( ! [X] : 
 (hasType(type_DrinkingCup, X) => hasType(type_FluidContainer, X)))).

fof(axMid_level_ontology392, axiom, 
 ( ! [X] : 
 (hasType(type_Dripping, X) => hasType(type_LiquidMotion, X)))).

fof(axMid_level_ontology393, axiom, 
 ( ! [X] : 
 (hasType(type_DriveComponent, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology394, axiom, 
 ( ! [X] : 
 (hasType(type_DriversLicense, X) => hasType(type_License, X)))).

fof(axMid_level_ontology395, axiom, 
 ( ! [X] : 
 (hasType(type_Driveway, X) => hasType(type_Roadway, X)))).

fof(axMid_level_ontology396, axiom, 
 ( ! [X] : 
 (hasType(type_DrugStore, X) => hasType(type_RetailStore, X)))).

fof(axMid_level_ontology397, axiom, 
 ( ! [X] : 
 (hasType(type_Drum, X) => hasType(type_PercussionInstrument, X)))).

fof(axMid_level_ontology398, axiom, 
 ( ! [X] : 
 (hasType(type_Drumming, X) => hasType(type_Demonstrating, X)))).

fof(axMid_level_ontology399, axiom, 
 ( ! [X] : 
 (hasType(type_Drumming, X) => hasType(type_RadiatingSound, X)))).

fof(axMid_level_ontology400, axiom, 
 ( ! [X] : 
 (hasType(type_Duck, X) => hasType(type_Poultry, X)))).

fof(axMid_level_ontology401, axiom, 
 ( ! [X] : 
 (hasType(type_Ducking, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology402, axiom, 
 ( ! [X] : 
 (hasType(type_Ducking, X) => hasType(type_IntentionalProcess, X)))).

fof(axMid_level_ontology403, axiom, 
 ( ! [X] : 
 (hasType(type_Ducking, X) => hasType(type_MotionDownward, X)))).

fof(axMid_level_ontology404, axiom, 
 ( ! [X] : 
 (hasType(type_DutyTax, X) => hasType(type_Tax, X)))).

fof(axMid_level_ontology405, axiom, 
 ( ! [X] : 
 (hasType(type_Ear, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology406, axiom, 
 ( ! [X] : 
 (hasType(type_Ear, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology407, axiom, 
 ( ! [X] : 
 (hasType(type_Echoing, X) => hasType(type_RadiatingSound, X)))).

fof(axMid_level_ontology408, axiom, 
 ( ! [X] : 
 (hasType(type_EducationalCourse, X) => hasType(type_EducationalProgram, X)))).

fof(axMid_level_ontology409, axiom, 
 ( ! [X] : 
 (hasType(type_EducationalFacility, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology410, axiom, 
 ( ! [X] : 
 (hasType(type_EducationalProgram, X) => hasType(type_Plan, X)))).

fof(axMid_level_ontology411, axiom, 
 ( ! [X] : 
 (hasType(type_Elbow, X) => hasType(type_BodyJoint, X)))).

fof(axMid_level_ontology412, axiom, 
 ( ! [X] : 
 (hasType(type_ElectoralCollegeElection, X) => hasType(type_GeneralElection, X)))).

fof(axMid_level_ontology413, axiom, 
 ( ! [X] : 
 (hasType(type_ElectricDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology414, axiom, 
 ( ! [X] : 
 (hasType(type_ElectricMotor, X) => hasType(type_ElectricDevice, X)))).

fof(axMid_level_ontology415, axiom, 
 ( ! [X] : 
 (hasType(type_ElectricMotor, X) => hasType(type_Engine, X)))).

fof(axMid_level_ontology416, axiom, 
 ( ! [X] : 
 (hasType(type_ElectricalSignalling, X) => hasType(type_Signalling, X)))).

fof(axMid_level_ontology417, axiom, 
 ( ! [X] : 
 (hasType(type_ElectronicSignalling, X) => hasType(type_Signalling, X)))).

fof(axMid_level_ontology418, axiom, 
 ( ! [X] : 
 (hasType(type_Elephant, X) => hasType(type_Herbivore, X)))).

fof(axMid_level_ontology419, axiom, 
 ( ! [X] : 
 (hasType(type_Elevator, X) => hasType(type_TransportationDevice, X)))).

fof(axMid_level_ontology420, axiom, 
 ( ! [X] : 
 (hasType(type_EmbassyBuilding, X) => hasType(type_GovernmentBuilding, X)))).

fof(axMid_level_ontology421, axiom, 
 ( ! [X] : 
 (hasType(type_Embracing, X) => hasType(type_Touching, X)))).

fof(axMid_level_ontology422, axiom, 
 ( ! [X] : 
 (hasType(type_EmploymentFiring, X) => hasType(type_TerminatingEmployment, X)))).

fof(axMid_level_ontology423, axiom, 
 ( ! [X] : 
 (hasType(type_Engine, X) => hasType(type_Transducer, X)))).

fof(axMid_level_ontology424, axiom, 
 ( ! [X] : 
 (hasType(type_EntertainmentBuilding, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology425, axiom, 
 ( ! [X] : 
 (hasType(type_EntertainmentCompany, X) => hasType(type_CommercialAgent, X)))).

fof(axMid_level_ontology426, axiom, 
 ( ! [X] : 
 (hasType(type_EntertainmentProfession, X) => hasType(type_SkilledOccupation, X)))).

fof(axMid_level_ontology427, axiom, 
 ( ! [X] : 
 (hasType(type_Entombing, X) => hasType(type_Putting, X)))).

fof(axMid_level_ontology428, axiom, 
 ( ! [X] : 
 (hasType(type_Envelope, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology429, axiom, 
 ( ! [X] : 
 (hasType(type_Escaping, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology430, axiom, 
 ( ! [X] : 
 (hasType(type_Espionage, X) => hasType(type_Investigating, X)))).

fof(axMid_level_ontology431, axiom, 
 ( ! [X] : 
 (hasType(type_Espionage, X) => hasType(type_PoliticalProcess, X)))).

fof(axMid_level_ontology432, axiom, 
 ( ! [X] : 
 (hasType(type_EuropeanNation, X) => hasType(type_Nation, X)))).

fof(axMid_level_ontology433, axiom, 
 ( ! [X] : 
 (hasType(type_Execution, X) => hasType(type_Killing, X)))).

fof(axMid_level_ontology434, axiom, 
 ( ! [X] : 
 (hasType(type_ExecutiveResidence, X) => hasType(type_PermanentResidence, X)))).

fof(axMid_level_ontology435, axiom, 
 ( ! [X] : 
 (hasType(type_Exhaling, X) => hasType(type_Breathing, X)))).

fof(axMid_level_ontology436, axiom, 
 ( ! [X] : 
 (hasType(type_Explosion, X) => hasType(type_Radiating, X)))).

fof(axMid_level_ontology437, axiom, 
 ( ! [X] : 
 (hasType(type_ExplosiveDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology438, axiom, 
 ( ! [X] : 
 (hasType(type_ExplosiveMine, X) => hasType(type_ExplosiveDevice, X)))).

fof(axMid_level_ontology439, axiom, 
 ( ! [X] : 
 (hasType(type_ExplosiveMine, X) => hasType(type_Weapon, X)))).

fof(axMid_level_ontology440, axiom, 
 ( ! [X] : 
 (hasType(type_ExplosiveSubstance, X) => hasType(type_Substance, X)))).

fof(axMid_level_ontology441, axiom, 
 ( ! [X] : 
 (hasType(type_ExpressingApproval, X) => hasType(type_Expressing, X)))).

fof(axMid_level_ontology442, axiom, 
 ( ! [X] : 
 (hasType(type_ExpressingDisapproval, X) => hasType(type_Expressing, X)))).

fof(axMid_level_ontology443, axiom, 
 ( ! [X] : 
 (hasType(type_ExpressingFarewell, X) => hasType(type_Expressing, X)))).

fof(axMid_level_ontology444, axiom, 
 ( ! [X] : 
 (hasType(type_ExpressingInLanguage, X) => hasType(type_Expressing, X)))).

fof(axMid_level_ontology445, axiom, 
 ( ! [X] : 
 (hasType(type_ExpressingInLanguage, X) => hasType(type_LinguisticCommunication, X)))).

fof(axMid_level_ontology446, axiom, 
 ( ! [X] : 
 (hasType(type_EyeGlass, X) => hasType(type_OpticalDevice, X)))).

fof(axMid_level_ontology447, axiom, 
 ( ! [X] : 
 (hasType(type_EyeMotion, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology448, axiom, 
 ( ! [X] : 
 (hasType(type_Eye, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology449, axiom, 
 ( ! [X] : 
 (hasType(type_Eye, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology450, axiom, 
 ( ! [X] : 
 (hasType(type_Eyelid, X) => hasType(type_Skin, X)))).

fof(axMid_level_ontology451, axiom, 
 ( ! [X] : 
 (hasType(type_Face, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology452, axiom, 
 ( ! [X] : 
 (hasType(type_Face, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology453, axiom, 
 ( ! [X] : 
 (hasType(type_FacialExpression, X) => hasType(type_Gesture, X)))).

fof(axMid_level_ontology454, axiom, 
 ( ! [X] : 
 (hasType(type_FacialHair, X) => hasType(type_Hair, X)))).

fof(axMid_level_ontology455, axiom, 
 ( ! [X] : 
 (hasType(type_Fact, X) => hasType(type_Statement, X)))).

fof(axMid_level_ontology456, axiom, 
 ( ! [X] : 
 (hasType(type_Factory, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology457, axiom, 
 ( ! [X] : 
 (hasType(type_FallSeason, X) => hasType(type_SeasonOfYear, X)))).

fof(axMid_level_ontology458, axiom, 
 ( ! [X] : 
 (hasType(type_FallingAsleep, X) => hasType(type_PsychologicalProcess, X)))).

fof(axMid_level_ontology459, axiom, 
 ( ! [X] : 
 (hasType(type_Fallout, X) => hasType(type_Powder, X)))).

fof(axMid_level_ontology460, axiom, 
 ( ! [X] : 
 (hasType(type_FamilyBusiness, X) => hasType(type_Partnership, X)))).

fof(axMid_level_ontology461, axiom, 
 ( ! [X] : 
 (hasType(type_FanDevice, X) => hasType(type_CoolingDevice, X)))).

fof(axMid_level_ontology462, axiom, 
 ( ! [X] : 
 (hasType(type_FarmBuilding, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology463, axiom, 
 ( ! [X] : 
 (hasType(type_Farm, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology464, axiom, 
 ( ! [X] : 
 (hasType(type_Farming, X) => hasType(type_Working, X)))).

fof(axMid_level_ontology465, axiom, 
 ( ! [X] : 
 (hasType(type_Feather, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology466, axiom, 
 ( ! [X] : 
 (hasType(type_Feather, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology467, axiom, 
 ( ! [X] : 
 (hasType(type_Feeding, X) => hasType(type_Giving, X)))).

fof(axMid_level_ontology468, axiom, 
 (! [Var_COW] : 
 (((hasType(type_Cow, Var_COW)) & ( f_attribute(Var_COW,inst_Female))) <=> (hasType(type_FemaleCow, Var_COW))))).

fof(axMid_level_ontology469, axiom, 
 ( ! [X] : 
 (hasType(type_Fence, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology470, axiom, 
 ( ! [X] : 
 (hasType(type_Field, X) => hasType(type_LandArea, X)))).

fof(axMid_level_ontology471, axiom, 
 ( ! [X] : 
 (hasType(type_Fighter, X) => hasType(type_MilitaryAircraft, X)))).

fof(axMid_level_ontology472, axiom, 
 ( ! [X] : 
 (hasType(type_FileDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology473, axiom, 
 ( ! [X] : 
 (hasType(type_FilmDirector, X) => hasType(type_FilmMakingProfession, X)))).

fof(axMid_level_ontology474, axiom, 
 ( ! [X] : 
 (hasType(type_FilmMakingProfession, X) => hasType(type_EntertainmentProfession, X)))).

fof(axMid_level_ontology475, axiom, 
 ( ! [X] : 
 (hasType(type_FilmMaking, X) => hasType(type_ContentDevelopment, X)))).

fof(axMid_level_ontology476, axiom, 
 ( ! [X] : 
 (hasType(type_FilmProducer, X) => hasType(type_FilmMakingProfession, X)))).

fof(axMid_level_ontology477, axiom, 
 ( ! [X] : 
 (hasType(type_Filter, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology478, axiom, 
 ( ! [X] : 
 (hasType(type_FinancialBill, X) => hasType(type_FinancialText, X)))).

fof(axMid_level_ontology479, axiom, 
 ( ! [X] : 
 (hasType(type_FinancialCompany, X) => hasType(type_CommercialAgent, X)))).

fof(axMid_level_ontology480, axiom, 
 ( ! [X] : 
 (hasType(type_FinancialService, X) => hasType(type_CommercialService, X)))).

fof(axMid_level_ontology481, axiom, 
 ( ! [X] : 
 (hasType(type_FinancialText, X) => hasType(type_Report, X)))).

fof(axMid_level_ontology482, axiom, 
 ( ! [X] : 
 (hasType(type_Financing, X) => hasType(type_FinancialService, X)))).

fof(axMid_level_ontology483, axiom, 
 ( ! [X] : 
 (hasType(type_Financing, X) => hasType(type_Funding, X)))).

fof(axMid_level_ontology484, axiom, 
 ( ! [X] : 
 (hasType(type_Finger, X) => hasType(type_DigitAppendage, X)))).

fof(axMid_level_ontology485, axiom, 
 ( ! [X] : 
 (hasType(type_Fingerprint, X) => hasType(type_BiologicalAttribute, X)))).

fof(axMid_level_ontology486, axiom, 
 ( ! [X] : 
 (hasType(type_Fingerprint, X) => hasType(type_ShapeAttribute, X)))).

fof(axMid_level_ontology487, axiom, 
 ( ! [X] : 
 (hasType(type_FiniteQuantity, X) => hasType(type_Quantity, X)))).

fof(axMid_level_ontology488, axiom, 
 ( ! [X] : 
 (hasType(type_Firearm, X) => hasType(type_Gun, X)))).

fof(axMid_level_ontology489, axiom, 
 ( ! [X] : 
 (hasType(type_Fireplace, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology490, axiom, 
 ( ! [X] : 
 (hasType(type_Fireplace, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology491, axiom, 
 ( ! [X] : 
 (hasType(type_FishMeat, X) => hasType(type_Meat, X)))).

fof(axMid_level_ontology492, axiom, 
 ( ! [X] : 
 (hasType(type_Flag, X) => hasType(type_Icon, X)))).

fof(axMid_level_ontology493, axiom, 
 ( ! [X] : 
 (hasType(type_Flooding, X) => hasType(type_LiquidMotion, X)))).

fof(axMid_level_ontology494, axiom, 
 ( ! [X] : 
 (hasType(type_Floor, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology495, axiom, 
 ( ! [X] : 
 (hasType(type_Flour, X) => hasType(type_Powder, X)))).

fof(axMid_level_ontology496, axiom, 
 ( ! [X] : 
 (hasType(type_Flour, X) => hasType(type_PreparedFood, X)))).

fof(axMid_level_ontology497, axiom, 
 ( ! [X] : 
 (hasType(type_Flower, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology498, axiom, 
 ( ! [X] : 
 (hasType(type_Flower, X) => hasType(type_PlantAnatomicalStructure, X)))).

fof(axMid_level_ontology499, axiom, 
 ( ! [X] : 
 (hasType(type_FluidContainer, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology500, axiom, 
 ( ! [X] : 
 (hasType(type_FlyInsect, X) => hasType(type_Insect, X)))).

fof(axMid_level_ontology501, axiom, 
 ( ! [X] : 
 (hasType(type_Flying, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology502, axiom, 
 ( ! [X] : 
 (hasType(type_Focusing, X) => hasType(type_QuantityChange, X)))).

fof(axMid_level_ontology503, axiom, 
 ( ! [X] : 
 (hasType(type_Fodder, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology504, axiom, 
 ( ! [X] : 
 (hasType(type_Fog, X) => hasType(type_WaterCloud, X)))).

fof(axMid_level_ontology505, axiom, 
 ( ! [X] : 
 (hasType(type_Folding, X) => hasType(type_ShapeChange, X)))).

fof(axMid_level_ontology506, axiom, 
 ( ! [X] : 
 (hasType(type_Foot, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology507, axiom, 
 ( ! [X] : 
 (hasType(type_Foot, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology508, axiom, 
 ( ! [X] : 
 (hasType(type_FormOfGovernment, X) => hasType(type_PoliticoEconomicAttribute, X)))).

fof(axMid_level_ontology509, axiom, 
 ( ! [X] : 
 (hasType(type_FormText, X) => hasType(type_Text, X)))).

fof(axMid_level_ontology510, axiom, 
 ( ! [X] : 
 (hasType(type_FormalMeeting, X) => hasType(type_Meeting, X)))).

fof(axMid_level_ontology511, axiom, 
 ( ! [X] : 
 (hasType(type_FossilFuel, X) => hasType(type_Fuel, X)))).

fof(axMid_level_ontology512, axiom, 
 ( ! [X] : 
 (hasType(type_FossilFuel, X) => hasType(type_PetroleumProduct, X)))).

fof(axMid_level_ontology513, axiom, 
 ( ! [X] : 
 (hasType(type_Founding, X) => hasType(type_Declaring, X)))).

fof(axMid_level_ontology514, axiom, 
 ( ! [X] : 
 (hasType(type_Founding, X) => hasType(type_OrganizationalProcess, X)))).

fof(axMid_level_ontology515, axiom, 
 ( ! [X] : 
 (hasType(type_Fox, X) => hasType(type_Canine, X)))).

fof(axMid_level_ontology516, axiom, 
 ( ! [X] : 
 (hasType(type_FreeAtom, X) => hasType(type_Atom, X)))).

fof(axMid_level_ontology517, axiom, 
 ( ! [X] : 
 (hasType(type_Frightening, X) => hasType(type_PsychologicalProcess, X)))).

fof(axMid_level_ontology518, axiom, 
 ( ! [X] : 
 (hasType(type_Frowning, X) => hasType(type_FacialExpression, X)))).

fof(axMid_level_ontology519, axiom, 
 ( ! [X] : 
 (hasType(type_Fuel, X) => hasType(type_Substance, X)))).

fof(axMid_level_ontology520, axiom, 
 ( ! [X] : 
 (hasType(type_FullTimePosition, X) => hasType(type_Position, X)))).

fof(axMid_level_ontology521, axiom, 
 ( ! [X] : 
 (hasType(type_Funeral, X) => hasType(type_FormalMeeting, X)))).

fof(axMid_level_ontology522, axiom, 
 ( ! [X] : 
 (hasType(type_Furniture, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology523, axiom, 
 ( ! [X] : 
 (hasType(type_GainingConsciousness, X) => hasType(type_PsychologicalProcess, X)))).

fof(axMid_level_ontology524, axiom, 
 ( ! [X] : 
 (hasType(type_GameArtifact, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology525, axiom, 
 ( ! [X] : 
 (hasType(type_GameAttribute, X) => hasType(type_ContestAttribute, X)))).

fof(axMid_level_ontology526, axiom, 
 ( ! [X] : 
 (hasType(type_GameBoard, X) => hasType(type_GameArtifact, X)))).

fof(axMid_level_ontology527, axiom, 
 ( ! [X] : 
 (hasType(type_GameCall, X) => hasType(type_Deciding, X)))).

fof(axMid_level_ontology528, axiom, 
 ( ! [X] : 
 (hasType(type_GameCall, X) => hasType(type_Declaring, X)))).

fof(axMid_level_ontology529, axiom, 
 ( ! [X] : 
 (hasType(type_GameDie, X) => hasType(type_GamePiece, X)))).

fof(axMid_level_ontology530, axiom, 
 ( ! [X] : 
 (hasType(type_GameGoal, X) => hasType(type_GameArtifact, X)))).

fof(axMid_level_ontology531, axiom, 
 ( ! [X] : 
 (hasType(type_GamePiece, X) => hasType(type_GameArtifact, X)))).

fof(axMid_level_ontology532, axiom, 
 ( ! [X] : 
 (hasType(type_GameReferee, X) => hasType(type_SkilledOccupation, X)))).

fof(axMid_level_ontology533, axiom, 
 ( ! [X] : 
 (hasType(type_GameShot, X) => hasType(type_Impelling, X)))).

fof(axMid_level_ontology534, axiom, 
 ( ! [X] : 
 (hasType(type_GameShot, X) => hasType(type_Maneuver, X)))).

fof(axMid_level_ontology535, axiom, 
 ( ! [X] : 
 (hasType(type_Garage, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology536, axiom, 
 ( ! [X] : 
 (hasType(type_GasolineEngine, X) => hasType(type_InternalCombustionEngine, X)))).

fof(axMid_level_ontology537, axiom, 
 ( ! [X] : 
 (hasType(type_Gastropod, X) => hasType(type_Mollusk, X)))).

fof(axMid_level_ontology538, axiom, 
 ( ! [X] : 
 (hasType(type_Girl, X) => hasType(type_HumanChild, X)))).

fof(axMid_level_ontology539, axiom, 
 ( ! [X] : 
 (hasType(type_Girl, X) => hasType(type_Woman, X)))).

fof(axMid_level_ontology540, axiom, 
 ( ! [X] : 
 (hasType(type_Glass, X) => hasType(type_Mixture, X)))).

fof(axMid_level_ontology541, axiom, 
 ( ! [X] : 
 (hasType(type_Glove, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology542, axiom, 
 ( ! [X] : 
 (hasType(type_Glue, X) => hasType(type_Mixture, X)))).

fof(axMid_level_ontology543, axiom, 
 ( ! [X] : 
 (hasType(type_Goose, X) => hasType(type_Poultry, X)))).

fof(axMid_level_ontology544, axiom, 
 ( ! [X] : 
 (hasType(type_GovernmentBuilding, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology545, axiom, 
 ( ! [X] : 
 (hasType(type_GovernmentOfficer, X) => hasType(type_Profession, X)))).

fof(axMid_level_ontology546, axiom, 
 ( ! [X] : 
 (hasType(type_GovernmentSecretary, X) => hasType(type_SkilledOccupation, X)))).

fof(axMid_level_ontology547, axiom, 
 ( ! [X] : 
 (hasType(type_GraduateSchool, X) => hasType(type_PostSecondarySchool, X)))).

fof(axMid_level_ontology548, axiom, 
 ( ! [X] : 
 (hasType(type_GraphDiagram, X) => hasType(type_Icon, X)))).

fof(axMid_level_ontology549, axiom, 
 ( ! [X] : 
 (hasType(type_Grass, X) => hasType(type_FloweringPlant, X)))).

fof(axMid_level_ontology550, axiom, 
 ( ! [X] : 
 (hasType(type_Grasshopper, X) => hasType(type_Insect, X)))).

fof(axMid_level_ontology551, axiom, 
 ( ! [X] : 
 (hasType(type_Greeting, X) => hasType(type_Expressing, X)))).

fof(axMid_level_ontology552, axiom, 
 ( ! [X] : 
 (hasType(type_GroceryStore, X) => hasType(type_RetailStore, X)))).

fof(axMid_level_ontology553, axiom, 
 ( ! [X] : 
 (hasType(type_GroupOfAnimals, X) => hasType(type_Group, X)))).

fof(axMid_level_ontology554, axiom, 
 ( ! [X] : 
 (hasType(type_Guitar, X) => hasType(type_StringInstrument, X)))).

fof(axMid_level_ontology555, axiom, 
 ( ! [X] : 
 (hasType(type_GunBarrel, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology556, axiom, 
 ( ! [X] : 
 (hasType(type_GunPowder, X) => hasType(type_Mixture, X)))).

fof(axMid_level_ontology557, axiom, 
 ( ! [X] : 
 (hasType(type_GunStock, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology558, axiom, 
 ( ! [X] : 
 (hasType(type_GunTrigger, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology559, axiom, 
 ( ! [X] : 
 (hasType(type_Gun, X) => hasType(type_ProjectileLauncher, X)))).

fof(axMid_level_ontology560, axiom, 
 ( ! [X] : 
 (hasType(type_Gun, X) => hasType(type_Weapon, X)))).

fof(axMid_level_ontology561, axiom, 
 ( ! [X] : 
 (hasType(type_HairRemoval, X) => hasType(type_Removing, X)))).

fof(axMid_level_ontology562, axiom, 
 ( ! [X] : 
 (hasType(type_Hair, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology563, axiom, 
 ( ! [X] : 
 (hasType(type_Hammer, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology564, axiom, 
 ( ! [X] : 
 (hasType(type_HandGesture, X) => hasType(type_Gesture, X)))).

fof(axMid_level_ontology565, axiom, 
 ( ! [X] : 
 (hasType(type_HandGrenade, X) => hasType(type_Bomb, X)))).

fof(axMid_level_ontology566, axiom, 
 ( ! [X] : 
 (hasType(type_Hand, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology567, axiom, 
 ( ! [X] : 
 (hasType(type_Hand, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology568, axiom, 
 ( ! [X] : 
 (hasType(type_HandgrenadeAttack, X) => hasType(type_Bombing, X)))).

fof(axMid_level_ontology569, axiom, 
 ( ! [X] : 
 (hasType(type_Handle, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology570, axiom, 
 ( ! [X] : 
 (hasType(type_Hanging, X) => hasType(type_Suffocating, X)))).

fof(axMid_level_ontology571, axiom, 
 ( ! [X] : 
 (hasType(type_Harvesting, X) => hasType(type_Removing, X)))).

fof(axMid_level_ontology572, axiom, 
 ( ! [X] : 
 (hasType(type_Hat, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology573, axiom, 
 ( ! [X] : 
 (hasType(type_Hay, X) => hasType(type_Fodder, X)))).

fof(axMid_level_ontology574, axiom, 
 ( ! [X] : 
 (hasType(type_Head, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology575, axiom, 
 ( ! [X] : 
 (hasType(type_Head, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology576, axiom, 
 ( ! [X] : 
 (hasType(type_Headlight, X) => hasType(type_VehicleLight, X)))).

fof(axMid_level_ontology577, axiom, 
 ( ! [X] : 
 (hasType(type_Heart, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology578, axiom, 
 ( ! [X] : 
 (hasType(type_Heart, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology579, axiom, 
 ( ! [X] : 
 (hasType(type_HeatingDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology580, axiom, 
 ( ! [X] : 
 (hasType(type_Helicopter, X) => hasType(type_Aircraft, X)))).

fof(axMid_level_ontology581, axiom, 
 (! [Var_H] : 
 (((hasType(type_Chicken, Var_H)) & ( f_attribute(Var_H,inst_Female))) <=> (hasType(type_Hen, Var_H))))).

fof(axMid_level_ontology582, axiom, 
 ( ! [X] : 
 (hasType(type_Herbivore, X) => hasType(type_Mammal, X)))).

fof(axMid_level_ontology583, axiom, 
 ( ! [X] : 
 (hasType(type_HighSchool, X) => hasType(type_School, X)))).

fof(axMid_level_ontology584, axiom, 
 ( ! [X] : 
 (hasType(type_Hijacking, X) => hasType(type_Robbing, X)))).

fof(axMid_level_ontology585, axiom, 
 ( ! [X] : 
 (hasType(type_Hinge, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology586, axiom, 
 ( ! [X] : 
 (hasType(type_HistoricalAccount, X) => hasType(type_FactualText, X)))).

fof(axMid_level_ontology587, axiom, 
 ( ! [X] : 
 (hasType(type_HistoricalAccount, X) => hasType(type_NarrativeText, X)))).

fof(axMid_level_ontology588, axiom, 
 ( ! [X] : 
 (hasType(type_HoistingDevice, X) => hasType(type_MaterialHandlingEquipment, X)))).

fof(axMid_level_ontology589, axiom, 
 ( ! [X] : 
 (hasType(type_Holder, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology590, axiom, 
 ( ! [X] : 
 (hasType(type_HolidayCard, X) => hasType(type_ContentBearingObject, X)))).

fof(axMid_level_ontology591, axiom, 
 ( ! [X] : 
 (hasType(type_Holster, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology592, axiom, 
 ( ! [X] : 
 (hasType(type_HomeBase, X) => hasType(type_BaseballBase, X)))).

fof(axMid_level_ontology593, axiom, 
 ( ! [X] : 
 (hasType(type_Honey, X) => hasType(type_AnimalSubstance, X)))).

fof(axMid_level_ontology594, axiom, 
 ( ! [X] : 
 (hasType(type_Honey, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology595, axiom, 
 ( ! [X] : 
 (hasType(type_Hoof, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology596, axiom, 
 ( ! [X] : 
 (hasType(type_Hoof, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology597, axiom, 
 ( ! [X] : 
 (hasType(type_HormoneTSH, X) => hasType(type_Hormone, X)))).

fof(axMid_level_ontology598, axiom, 
 ( ! [X] : 
 (hasType(type_HornInstrument, X) => hasType(type_MusicalInstrument, X)))).

fof(axMid_level_ontology599, axiom, 
 ( ! [X] : 
 (hasType(type_Horn, X) => hasType(type_Bone, X)))).

fof(axMid_level_ontology600, axiom, 
 ( ! [X] : 
 (hasType(type_HorseRiding, X) => hasType(type_Carrying, X)))).

fof(axMid_level_ontology601, axiom, 
 ( ! [X] : 
 (hasType(type_Horse, X) => hasType(type_HoofedMammal, X)))).

fof(axMid_level_ontology602, axiom, 
 ( ! [X] : 
 (hasType(type_Horse, X) => hasType(type_Livestock, X)))).

fof(axMid_level_ontology603, axiom, 
 ( ! [X] : 
 (hasType(type_HospitalBuilding, X) => hasType(type_TemporaryResidence, X)))).

fof(axMid_level_ontology604, axiom, 
 ( ! [X] : 
 (hasType(type_HospitalOrganization, X) => hasType(type_CareOrganization, X)))).

fof(axMid_level_ontology605, axiom, 
 ( ! [X] : 
 (hasType(type_HostageTaking, X) => hasType(type_UnilateralGetting, X)))).

fof(axMid_level_ontology606, axiom, 
 ( ! [X] : 
 (hasType(type_Hotel, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology607, axiom, 
 ( ! [X] : 
 (hasType(type_Hotel, X) => hasType(type_TemporaryResidence, X)))).

fof(axMid_level_ontology608, axiom, 
 ( ! [X] : 
 (hasType(type_HumanAdult, X) => hasType(type_Human, X)))).

fof(axMid_level_ontology609, axiom, 
 ( ! [X] : 
 (hasType(type_HumanBaby, X) => hasType(type_HumanChild, X)))).

fof(axMid_level_ontology610, axiom, 
 ( ! [X] : 
 (hasType(type_HumanChild, X) => hasType(type_HumanYouth, X)))).

fof(axMid_level_ontology611, axiom, 
 ( ! [X] : 
 (hasType(type_HumanCorpse, X) => hasType(type_OrganicObject, X)))).

fof(axMid_level_ontology612, axiom, 
 ( ! [X] : 
 (hasType(type_HumanYouth, X) => hasType(type_Human, X)))).

fof(axMid_level_ontology613, axiom, 
 ( ! [X] : 
 (hasType(type_Hydrocarbon, X) => hasType(type_OrganicCompound, X)))).

fof(axMid_level_ontology614, axiom, 
 ( ! [X] : 
 (hasType(type_Hypothalamus, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology615, axiom, 
 ( ! [X] : 
 (hasType(type_Hypothalamus, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology616, axiom, 
 (! [Var_ICE] : 
 (((hasType(type_Water, Var_ICE)) & ( f_attribute(Var_ICE,inst_Solid))) <=> (hasType(type_Ice, Var_ICE))))).

fof(axMid_level_ontology617, axiom, 
 ( ! [X] : 
 (hasType(type_Imagining, X) => hasType(type_PsychologicalProcess, X)))).

fof(axMid_level_ontology618, axiom, 
 ( ! [X] : 
 (hasType(type_Immigrating, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology619, axiom, 
 ( ! [X] : 
 (hasType(type_Imprisoning, X) => hasType(type_Confining, X)))).

fof(axMid_level_ontology620, axiom, 
 ( ! [X] : 
 (hasType(type_IncendiaryDeviceAttack, X) => hasType(type_Combustion, X)))).

fof(axMid_level_ontology621, axiom, 
 ( ! [X] : 
 (hasType(type_IncendiaryDeviceAttack, X) => hasType(type_ViolentContest, X)))).

fof(axMid_level_ontology622, axiom, 
 ( ! [X] : 
 (hasType(type_Inclining, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology623, axiom, 
 ( ! [X] : 
 (hasType(type_Inclining, X) => hasType(type_MotionDownward, X)))).

fof(axMid_level_ontology624, axiom, 
 ( ! [X] : 
 (hasType(type_IncomeTax, X) => hasType(type_Tax, X)))).

fof(axMid_level_ontology625, axiom, 
 ( ! [X] : 
 (hasType(type_Indicating, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology626, axiom, 
 ( ! [X] : 
 (hasType(type_Indicating, X) => hasType(type_Communication, X)))).

fof(axMid_level_ontology627, axiom, 
 ( ! [X] : 
 (hasType(type_IndustrialPlant, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology628, axiom, 
 ( ! [X] : 
 (hasType(type_Industry, X) => hasType(type_Collection, X)))).

fof(axMid_level_ontology629, axiom, 
 ( ! [X] : 
 (hasType(type_InfectiousDisease, X) => hasType(type_DiseaseOrSyndrome, X)))).

fof(axMid_level_ontology630, axiom, 
 ( ! [X] : 
 (hasType(type_Infiltration, X) => hasType(type_JoiningAnOrganization, X)))).

fof(axMid_level_ontology631, axiom, 
 ( ! [X] : 
 (hasType(type_InfiniteQuantity, X) => hasType(type_Quantity, X)))).

fof(axMid_level_ontology632, axiom, 
 ( ! [X] : 
 (hasType(type_Inhaling, X) => hasType(type_Breathing, X)))).

fof(axMid_level_ontology633, axiom, 
 ( ! [X] : 
 (hasType(type_Inheriting, X) => hasType(type_UnilateralGetting, X)))).

fof(axMid_level_ontology634, axiom, 
 ( ! [X] : 
 (hasType(type_Installing, X) => hasType(type_Putting, X)))).

fof(axMid_level_ontology635, axiom, 
 ( ! [X] : 
 (hasType(type_InstrumentalMusic, X) => hasType(type_Music, X)))).

fof(axMid_level_ontology636, axiom, 
 ( ! [X] : 
 (hasType(type_Insulin, X) => hasType(type_Hormone, X)))).

fof(axMid_level_ontology637, axiom, 
 ( ! [X] : 
 (hasType(type_InsuranceCompany, X) => hasType(type_CommercialAgent, X)))).

fof(axMid_level_ontology638, axiom, 
 ( ! [X] : 
 (hasType(type_InsurancePolicy, X) => hasType(type_Certificate, X)))).

fof(axMid_level_ontology639, axiom, 
 ( ! [X] : 
 (hasType(type_InternalCombustionEngine, X) => hasType(type_Engine, X)))).

fof(axMid_level_ontology640, axiom, 
 ( ! [X] : 
 (hasType(type_Interviewing, X) => hasType(type_FormalMeeting, X)))).

fof(axMid_level_ontology641, axiom, 
 ( ! [X] : 
 (hasType(type_Intestine, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology642, axiom, 
 ( ! [X] : 
 (hasType(type_Intestine, X) => hasType(type_BodyVessel, X)))).

fof(axMid_level_ontology643, axiom, 
 ( ! [X] : 
 (hasType(type_Ion, X) => hasType(type_PureSubstance, X)))).

fof(axMid_level_ontology644, axiom, 
 ( ! [X] : 
 (hasType(type_Ivory, X) => hasType(type_Bone, X)))).

fof(axMid_level_ontology645, axiom, 
 ( ! [X] : 
 (hasType(type_Janitor, X) => hasType(type_UnskilledOccupation, X)))).

fof(axMid_level_ontology646, axiom, 
 ( ! [X] : 
 (hasType(type_Journalist, X) => hasType(type_Profession, X)))).

fof(axMid_level_ontology647, axiom, 
 ( ! [X] : 
 (hasType(type_Judge, X) => hasType(type_Attorney, X)))).

fof(axMid_level_ontology648, axiom, 
 ( ! [X] : 
 (hasType(type_Judge, X) => hasType(type_GovernmentOfficer, X)))).

fof(axMid_level_ontology649, axiom, 
 ( ! [X] : 
 (hasType(type_Jumping, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology650, axiom, 
 ( ! [X] : 
 (hasType(type_Jumping, X) => hasType(type_MotionUpward, X)))).

fof(axMid_level_ontology651, axiom, 
 ( ! [X] : 
 (hasType(type_JuniorCollege, X) => hasType(type_PostSecondarySchool, X)))).

fof(axMid_level_ontology652, axiom, 
 ( ! [X] : 
 (hasType(type_Jury, X) => hasType(type_GroupOfPeople, X)))).

fof(axMid_level_ontology653, axiom, 
 ( ! [X] : 
 (hasType(type_Key, X) => hasType(type_SecurityDevice, X)))).

fof(axMid_level_ontology654, axiom, 
 ( ! [X] : 
 (hasType(type_Kicking, X) => hasType(type_Impelling, X)))).

fof(axMid_level_ontology655, axiom, 
 ( ! [X] : 
 (hasType(type_Kidnapping, X) => hasType(type_Robbing, X)))).

fof(axMid_level_ontology656, axiom, 
 ( ! [X] : 
 (hasType(type_Kidney, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology657, axiom, 
 ( ! [X] : 
 (hasType(type_Kidney, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology658, axiom, 
 ( ! [X] : 
 (hasType(type_Kissing, X) => hasType(type_Touching, X)))).

fof(axMid_level_ontology659, axiom, 
 ( ! [X] : 
 (hasType(type_Kitchen, X) => hasType(type_Room, X)))).

fof(axMid_level_ontology660, axiom, 
 ( ! [X] : 
 (hasType(type_Knee, X) => hasType(type_BodyJoint, X)))).

fof(axMid_level_ontology661, axiom, 
 ( ! [X] : 
 (hasType(type_KnifeAttack, X) => hasType(type_ViolentContest, X)))).

fof(axMid_level_ontology662, axiom, 
 ( ! [X] : 
 (hasType(type_Knife, X) => hasType(type_CuttingDevice, X)))).

fof(axMid_level_ontology663, axiom, 
 ( ! [X] : 
 (hasType(type_Knuckle, X) => hasType(type_BodyJoint, X)))).

fof(axMid_level_ontology664, axiom, 
 ( ! [X] : 
 (hasType(type_Label, X) => hasType(type_Text, X)))).

fof(axMid_level_ontology665, axiom, 
 ( ! [X] : 
 (hasType(type_LaborStriking, X) => hasType(type_OrganizationalProcess, X)))).

fof(axMid_level_ontology666, axiom, 
 ( ! [X] : 
 (hasType(type_Laboratory, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology667, axiom, 
 ( ! [X] : 
 (hasType(type_Ladder, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology668, axiom, 
 (! [Var_L] : 
 (((hasType(type_Sheep, Var_L)) & ( f_attribute(Var_L,inst_NonFullyFormed))) <=> (hasType(type_Lamb, Var_L))))).

fof(axMid_level_ontology669, axiom, 
 ( ! [X] : 
 (hasType(type_LandTransportation, X) => hasType(type_Transportation, X)))).

fof(axMid_level_ontology670, axiom, 
 ( ! [X] : 
 (hasType(type_LandVehicle, X) => hasType(type_Vehicle, X)))).

fof(axMid_level_ontology671, axiom, 
 ( ! [X] : 
 (hasType(type_Landing, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology672, axiom, 
 ( ! [X] : 
 (hasType(type_Laughing, X) => hasType(type_FacialExpression, X)))).

fof(axMid_level_ontology673, axiom, 
 ( ! [X] : 
 (hasType(type_Laughing, X) => hasType(type_Vocalizing, X)))).

fof(axMid_level_ontology674, axiom, 
 ( ! [X] : 
 (hasType(type_LawEnforcement, X) => hasType(type_PoliticalProcess, X)))).

fof(axMid_level_ontology675, axiom, 
 ( ! [X] : 
 (hasType(type_LawEnforcement, X) => hasType(type_RegulatoryProcess, X)))).

fof(axMid_level_ontology676, axiom, 
 ( ! [X] : 
 (hasType(type_Lawn, X) => hasType(type_CultivatedLandArea, X)))).

fof(axMid_level_ontology677, axiom, 
 ( ! [X] : 
 (hasType(type_Lawn, X) => hasType(type_Field, X)))).

fof(axMid_level_ontology678, axiom, 
 ( ! [X] : 
 (hasType(type_LayingEggs, X) => hasType(type_OrganismProcess, X)))).

fof(axMid_level_ontology679, axiom, 
 ( ! [X] : 
 (hasType(type_Leather, X) => hasType(type_Fabric, X)))).

fof(axMid_level_ontology680, axiom, 
 ( ! [X] : 
 (hasType(type_Leaving, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology681, axiom, 
 ( ! [X] : 
 (hasType(type_Lecture, X) => hasType(type_Demonstrating, X)))).

fof(axMid_level_ontology682, axiom, 
 ( ! [X] : 
 (hasType(type_Lecture, X) => hasType(type_Speaking, X)))).

fof(axMid_level_ontology683, axiom, 
 ( ! [X] : 
 (hasType(type_Leg, X) => hasType(type_Limb, X)))).

fof(axMid_level_ontology684, axiom, 
 ( ! [X] : 
 (hasType(type_LegalAppeal, X) => hasType(type_JudicialProcess, X)))).

fof(axMid_level_ontology685, axiom, 
 ( ! [X] : 
 (hasType(type_LegalAppeal, X) => hasType(type_Requesting, X)))).

fof(axMid_level_ontology686, axiom, 
 ( ! [X] : 
 (hasType(type_LegalAquittal, X) => hasType(type_LegalDecision, X)))).

fof(axMid_level_ontology687, axiom, 
 ( ! [X] : 
 (hasType(type_LegalAward, X) => hasType(type_LegalDecision, X)))).

fof(axMid_level_ontology688, axiom, 
 ( ! [X] : 
 (hasType(type_LegalCharge, X) => hasType(type_LegalAction, X)))).

fof(axMid_level_ontology689, axiom, 
 ( ! [X] : 
 (hasType(type_LegalConviction, X) => hasType(type_LegalDecision, X)))).

fof(axMid_level_ontology690, axiom, 
 ( ! [X] : 
 (hasType(type_LegalDismissal, X) => hasType(type_LegalDecision, X)))).

fof(axMid_level_ontology691, axiom, 
 ( ! [X] : 
 (hasType(type_LegalOpinion, X) => hasType(type_Argument, X)))).

fof(axMid_level_ontology692, axiom, 
 ( ! [X] : 
 (hasType(type_LegalSummons, X) => hasType(type_JudicialProcess, X)))).

fof(axMid_level_ontology693, axiom, 
 ( ! [X] : 
 (hasType(type_LegalSummons, X) => hasType(type_Ordering, X)))).

fof(axMid_level_ontology694, axiom, 
 ( ! [X] : 
 (hasType(type_LemonFruit, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology695, axiom, 
 ( ! [X] : 
 (hasType(type_LemonFruit, X) => hasType(type_FruitOrVegetable, X)))).

fof(axMid_level_ontology696, axiom, 
 ( ! [X] : 
 (hasType(type_Lengthening, X) => hasType(type_Increasing, X)))).

fof(axMid_level_ontology697, axiom, 
 ( ! [X] : 
 (hasType(type_Lens, X) => hasType(type_OpticalDevice, X)))).

fof(axMid_level_ontology698, axiom, 
 ( ! [X] : 
 (hasType(type_Lesion, X) => hasType(type_AbnormalAnatomicalStructure, X)))).

fof(axMid_level_ontology699, axiom, 
 ( ! [X] : 
 (hasType(type_LetterBombAttack, X) => hasType(type_Bombing, X)))).

fof(axMid_level_ontology700, axiom, 
 ( ! [X] : 
 (hasType(type_Letter, X) => hasType(type_FactualText, X)))).

fof(axMid_level_ontology701, axiom, 
 ( ! [X] : 
 (hasType(type_Library, X) => hasType(type_EducationalOrganization, X)))).

fof(axMid_level_ontology702, axiom, 
 ( ! [X] : 
 (hasType(type_License, X) => hasType(type_Certificate, X)))).

fof(axMid_level_ontology703, axiom, 
 ( ! [X] : 
 (hasType(type_Licking, X) => hasType(type_Touching, X)))).

fof(axMid_level_ontology704, axiom, 
 ( ! [X] : 
 (hasType(type_Lieutenant, X) => hasType(type_MilitaryOfficer, X)))).

fof(axMid_level_ontology705, axiom, 
 ( ! [X] : 
 (hasType(type_LightFixture, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology706, axiom, 
 ( ! [X] : 
 (hasType(type_Lightning, X) => hasType(type_Radiating, X)))).

fof(axMid_level_ontology707, axiom, 
 ( ! [X] : 
 (hasType(type_Lightning, X) => hasType(type_WeatherProcess, X)))).

fof(axMid_level_ontology708, axiom, 
 ( ! [X] : 
 (hasType(type_Lilac, X) => hasType(type_FloweringPlant, X)))).

fof(axMid_level_ontology709, axiom, 
 ( ! [X] : 
 (hasType(type_Limb, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology710, axiom, 
 ( ! [X] : 
 (hasType(type_Limb, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology711, axiom, 
 ( ! [X] : 
 (hasType(type_LinguisticAttribute, X) => hasType(type_InternalAttribute, X)))).

fof(axMid_level_ontology712, axiom, 
 ( ! [X] : 
 (hasType(type_Lip, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology713, axiom, 
 ( ! [X] : 
 (hasType(type_Lip, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology714, axiom, 
 ( ! [X] : 
 (hasType(type_LiquefiedPetroleumGas, X) => hasType(type_FossilFuel, X)))).

fof(axMid_level_ontology715, axiom, 
 ( ! [X] : 
 (hasType(type_LiquefiedPetroleumGas, X) => hasType(type_RefinedPetroleumProduct, X)))).

fof(axMid_level_ontology716, axiom, 
 ( ! [X] : 
 (hasType(type_LiquidBodySubstance, X) => hasType(type_BodySubstance, X)))).

fof(axMid_level_ontology717, axiom, 
 ( ! [X] : 
 (hasType(type_Liver, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology718, axiom, 
 ( ! [X] : 
 (hasType(type_Liver, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology719, axiom, 
 ( ! [X] : 
 (hasType(type_LoadingWeapon, X) => hasType(type_Inserting, X)))).

fof(axMid_level_ontology720, axiom, 
 ( ! [X] : 
 (hasType(type_Lock, X) => hasType(type_SecurityDevice, X)))).

fof(axMid_level_ontology721, axiom, 
 ( ! [X] : 
 (hasType(type_LosingConsciousness, X) => hasType(type_PsychologicalProcess, X)))).

fof(axMid_level_ontology722, axiom, 
 ( ! [X] : 
 (hasType(type_Lung, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology723, axiom, 
 ( ! [X] : 
 (hasType(type_Lung, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology724, axiom, 
 ( ! [X] : 
 (hasType(type_LyingDown, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology725, axiom, 
 ( ! [X] : 
 (hasType(type_LyingDown, X) => hasType(type_MotionDownward, X)))).

fof(axMid_level_ontology726, axiom, 
 ( ! [X] : 
 (hasType(type_Lynching, X) => hasType(type_Killing, X)))).

fof(axMid_level_ontology727, axiom, 
 ( ! [X] : 
 (hasType(type_Lyrics, X) => hasType(type_Text, X)))).

fof(axMid_level_ontology728, axiom, 
 ( ! [X] : 
 (hasType(type_Magazine, X) => hasType(type_Periodical, X)))).

fof(axMid_level_ontology729, axiom, 
 ( ! [X] : 
 (hasType(type_Magnetism, X) => hasType(type_RadiatingElectromagnetic, X)))).

fof(axMid_level_ontology730, axiom, 
 ( ! [X] : 
 (hasType(type_Maid, X) => hasType(type_ServicePosition, X)))).

fof(axMid_level_ontology731, axiom, 
 ( ! [X] : 
 (hasType(type_Mailbox, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology732, axiom, 
 ( ! [X] : 
 (hasType(type_Mailing, X) => hasType(type_Transfer, X)))).

fof(axMid_level_ontology733, axiom, 
 ( ! [X] : 
 (hasType(type_MaizeGrain, X) => hasType(type_CerealGrain, X)))).

fof(axMid_level_ontology734, axiom, 
 ( ! [X] : 
 (hasType(type_MaizeGrain, X) => hasType(type_GroceryProduce, X)))).

fof(axMid_level_ontology735, axiom, 
 ( ! [X] : 
 (hasType(type_MajorGeneral, X) => hasType(type_MilitaryGeneral, X)))).

fof(axMid_level_ontology736, axiom, 
 ( ! [X] : 
 (hasType(type_Manifold, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology737, axiom, 
 ( ! [X] : 
 (hasType(type_ManualLabor, X) => hasType(type_Position, X)))).

fof(axMid_level_ontology738, axiom, 
 ( ! [X] : 
 (hasType(type_Map, X) => hasType(type_Icon, X)))).

fof(axMid_level_ontology739, axiom, 
 ( ! [X] : 
 (hasType(type_Marble, X) => hasType(type_Rock, X)))).

fof(axMid_level_ontology740, axiom, 
 ( ! [X] : 
 (hasType(type_Marketplace, X) => hasType(type_GeographicArea, X)))).

fof(axMid_level_ontology741, axiom, 
 ( ! [X] : 
 (hasType(type_Marshal, X) => hasType(type_PoliceOfficer, X)))).

fof(axMid_level_ontology742, axiom, 
 ( ! [X] : 
 (hasType(type_Massaging, X) => hasType(type_TherapeuticProcess, X)))).

fof(axMid_level_ontology743, axiom, 
 ( ! [X] : 
 (hasType(type_Massaging, X) => hasType(type_Touching, X)))).

fof(axMid_level_ontology744, axiom, 
 ( ! [X] : 
 (hasType(type_Mast, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology745, axiom, 
 ( ! [X] : 
 (hasType(type_MatchDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology746, axiom, 
 ( ! [X] : 
 (hasType(type_MaterialHandlingEquipment, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology747, axiom, 
 ( ! [X] : 
 (hasType(type_Mating, X) => hasType(type_OrganismProcess, X)))).

fof(axMid_level_ontology748, axiom, 
 ( ! [X] : 
 (hasType(type_MediaOrganization, X) => hasType(type_Organization, X)))).

fof(axMid_level_ontology749, axiom, 
 ( ! [X] : 
 (hasType(type_MedicalClinicBuilding, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology750, axiom, 
 ( ! [X] : 
 (hasType(type_MedicalClinic, X) => hasType(type_CareOrganization, X)))).

fof(axMid_level_ontology751, axiom, 
 ( ! [X] : 
 (hasType(type_MedicalSchool, X) => hasType(type_GraduateSchool, X)))).

fof(axMid_level_ontology752, axiom, 
 ( ! [X] : 
 (hasType(type_Medicine, X) => hasType(type_BiologicallyActiveSubstance, X)))).

fof(axMid_level_ontology753, axiom, 
 ( ! [X] : 
 (hasType(type_Memorizing, X) => hasType(type_Learning, X)))).

fof(axMid_level_ontology754, axiom, 
 ( ! [X] : 
 (hasType(type_Menstruation, X) => hasType(type_OrganOrTissueProcess, X)))).

fof(axMid_level_ontology755, axiom, 
 ( ! [X] : 
 (hasType(type_Message, X) => hasType(type_FactualText, X)))).

fof(axMid_level_ontology756, axiom, 
 ( ! [X] : 
 (hasType(type_Messaging, X) => hasType(type_Transfer, X)))).

fof(axMid_level_ontology757, axiom, 
 ( ! [X] : 
 (hasType(type_MetallicAlloy, X) => hasType(type_Mixture, X)))).

fof(axMid_level_ontology758, axiom, 
 ( ! [X] : 
 (hasType(type_Meteorite, X) => hasType(type_Meteoroid, X)))).

fof(axMid_level_ontology759, axiom, 
 ( ! [X] : 
 (hasType(type_Meteoroid, X) => hasType(type_AstronomicalBody, X)))).

fof(axMid_level_ontology760, axiom, 
 ( ! [X] : 
 (hasType(type_Microphone, X) => hasType(type_CommunicationDevice, X)))).

fof(axMid_level_ontology761, axiom, 
 ( ! [X] : 
 (hasType(type_Microphone, X) => hasType(type_ElectricDevice, X)))).

fof(axMid_level_ontology762, axiom, 
 ( ! [X] : 
 (hasType(type_Microscope, X) => hasType(type_OpticalDevice, X)))).

fof(axMid_level_ontology763, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryAircraft, X) => hasType(type_Aircraft, X)))).

fof(axMid_level_ontology764, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryAircraft, X) => hasType(type_MilitaryVehicle, X)))).

fof(axMid_level_ontology765, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryArtifact, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology766, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryCorps, X) => hasType(type_MilitaryUnit, X)))).

fof(axMid_level_ontology767, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryFront, X) => hasType(type_GeographicArea, X)))).

fof(axMid_level_ontology768, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryInfiltration, X) => hasType(type_MilitaryProcess, X)))).

fof(axMid_level_ontology769, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryInfiltration, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology770, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryInstallation, X) => hasType(type_MilitaryArtifact, X)))).

fof(axMid_level_ontology771, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryInstallation, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology772, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryManeuver, X) => hasType(type_Maneuver, X)))).

fof(axMid_level_ontology773, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryOfficer, X) => hasType(type_Soldier, X)))).

fof(axMid_level_ontology774, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryPrivate, X) => hasType(type_Soldier, X)))).

fof(axMid_level_ontology775, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryReserveForce, X) => hasType(type_MilitaryOrganization, X)))).

fof(axMid_level_ontology776, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryService, X) => hasType(type_MilitaryOrganization, X)))).

fof(axMid_level_ontology777, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryShip, X) => hasType(type_MilitaryWaterVehicle, X)))).

fof(axMid_level_ontology778, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryShip, X) => hasType(type_Ship, X)))).

fof(axMid_level_ontology779, axiom, 
 ( ! [X] : 
 (hasType(type_MilitarySquad, X) => hasType(type_MilitaryUnit, X)))).

fof(axMid_level_ontology780, axiom, 
 ( ! [X] : 
 (hasType(type_MilitarySurplus, X) => hasType(type_MilitaryArtifact, X)))).

fof(axMid_level_ontology781, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryTank, X) => hasType(type_ArtilleryGun, X)))).

fof(axMid_level_ontology782, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryTank, X) => hasType(type_MilitaryVehicle, X)))).

fof(axMid_level_ontology783, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryTank, X) => hasType(type_RoadVehicle, X)))).

fof(axMid_level_ontology784, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryUnit, X) => hasType(type_MilitaryOrganization, X)))).

fof(axMid_level_ontology785, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryVehicle, X) => hasType(type_Vehicle, X)))).

fof(axMid_level_ontology786, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryWaterVehicle, X) => hasType(type_WaterVehicle, X)))).

fof(axMid_level_ontology787, axiom, 
 ( ! [X] : 
 (hasType(type_Milk, X) => hasType(type_Beverage, X)))).

fof(axMid_level_ontology788, axiom, 
 ( ! [X] : 
 (hasType(type_Milk, X) => hasType(type_LiquidBodySubstance, X)))).

fof(axMid_level_ontology789, axiom, 
 ( ! [X] : 
 (hasType(type_Mine, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology790, axiom, 
 ( ! [X] : 
 (hasType(type_Mirror, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology791, axiom, 
 ( ! [X] : 
 (hasType(type_Missile, X) => hasType(type_Projectile, X)))).

fof(axMid_level_ontology792, axiom, 
 ( ! [X] : 
 (hasType(type_Missile, X) => hasType(type_SelfPoweredDevice, X)))).

fof(axMid_level_ontology793, axiom, 
 ( ! [X] : 
 (hasType(type_MissionOrganization, X) => hasType(type_ReligiousOrganization, X)))).

fof(axMid_level_ontology794, axiom, 
 ( ! [X] : 
 (hasType(type_MobileResidence, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology795, axiom, 
 ( ! [X] : 
 (hasType(type_ModellingPosition, X) => hasType(type_Position, X)))).

fof(axMid_level_ontology796, axiom, 
 ( ! [X] : 
 (hasType(type_MonophonicMusic, X) => hasType(type_Music, X)))).

fof(axMid_level_ontology797, axiom, 
 ( ! [X] : 
 (hasType(type_Monument, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology798, axiom, 
 ( ! [X] : 
 (hasType(type_Morning, X) => hasType(type_DayTime, X)))).

fof(axMid_level_ontology799, axiom, 
 ( ! [X] : 
 (hasType(type_MortarAttack, X) => hasType(type_Bombing, X)))).

fof(axMid_level_ontology800, axiom, 
 ( ! [X] : 
 (hasType(type_MortarGun, X) => hasType(type_ArtilleryGun, X)))).

fof(axMid_level_ontology801, axiom, 
 ( ! [X] : 
 (hasType(type_Mortar, X) => hasType(type_Weapon, X)))).

fof(axMid_level_ontology802, axiom, 
 ( ! [X] : 
 (hasType(type_Moth, X) => hasType(type_Insect, X)))).

fof(axMid_level_ontology803, axiom, 
 ( ! [X] : 
 (hasType(type_MotionPictureScene, X) => hasType(type_MotionPicture, X)))).

fof(axMid_level_ontology804, axiom, 
 ( ! [X] : 
 (hasType(type_MotionPictureShot, X) => hasType(type_MotionPicture, X)))).

fof(axMid_level_ontology805, axiom, 
 ( ! [X] : 
 (hasType(type_Motorcycle, X) => hasType(type_SelfPoweredRoadVehicle, X)))).

fof(axMid_level_ontology806, axiom, 
 ( ! [X] : 
 (hasType(type_MotorizedRailwayCar, X) => hasType(type_PoweredVehicle, X)))).

fof(axMid_level_ontology807, axiom, 
 ( ! [X] : 
 (hasType(type_MotorizedRailwayCar, X) => hasType(type_RollingStock, X)))).

fof(axMid_level_ontology808, axiom, 
 ( ! [X] : 
 (hasType(type_Mounting, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology809, axiom, 
 ( ! [X] : 
 (hasType(type_Mouse, X) => hasType(type_Rodent, X)))).

fof(axMid_level_ontology810, axiom, 
 ( ! [X] : 
 (hasType(type_Mouth, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology811, axiom, 
 ( ! [X] : 
 (hasType(type_Mouth, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology812, axiom, 
 ( ! [X] : 
 (hasType(type_MovingResidence, X) => hasType(type_Transfer, X)))).

fof(axMid_level_ontology813, axiom, 
 ( ! [X] : 
 (hasType(type_Mule, X) => hasType(type_DomesticAnimal, X)))).

fof(axMid_level_ontology814, axiom, 
 ( ! [X] : 
 (hasType(type_Mule, X) => hasType(type_HoofedMammal, X)))).

fof(axMid_level_ontology815, axiom, 
 ( ! [X] : 
 (hasType(type_Murder, X) => hasType(type_CriminalAction, X)))).

fof(axMid_level_ontology816, axiom, 
 ( ! [X] : 
 (hasType(type_Murder, X) => hasType(type_Killing, X)))).

fof(axMid_level_ontology817, axiom, 
 ( ! [X] : 
 (hasType(type_Museum, X) => hasType(type_EducationalOrganization, X)))).

fof(axMid_level_ontology818, axiom, 
 ( ! [X] : 
 (hasType(type_MusicRecording, X) => hasType(type_AudioRecording, X)))).

fof(axMid_level_ontology819, axiom, 
 ( ! [X] : 
 (hasType(type_MusicText, X) => hasType(type_Text, X)))).

fof(axMid_level_ontology820, axiom, 
 ( ! [X] : 
 (hasType(type_MusicalComposition, X) => hasType(type_Text, X)))).

fof(axMid_level_ontology821, axiom, 
 ( ! [X] : 
 (hasType(type_MusicalGroup, X) => hasType(type_GroupOfPeople, X)))).

fof(axMid_level_ontology822, axiom, 
 ( ! [X] : 
 (hasType(type_MusicalPerformance, X) => hasType(type_Performance, X)))).

fof(axMid_level_ontology823, axiom, 
 ( ! [X] : 
 (hasType(type_MusicalTone, X) => hasType(type_RadiatingSound, X)))).

fof(axMid_level_ontology824, axiom, 
 ( ! [X] : 
 (hasType(type_MysteryStory, X) => hasType(type_FictionalText, X)))).

fof(axMid_level_ontology825, axiom, 
 ( ! [X] : 
 (hasType(type_NailDigit, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology826, axiom, 
 ( ! [X] : 
 (hasType(type_Nail, X) => hasType(type_AttachingDevice, X)))).

fof(axMid_level_ontology827, axiom, 
 ( ! [X] : 
 (hasType(type_NarrativeText, X) => hasType(type_Text, X)))).

fof(axMid_level_ontology828, axiom, 
 ( ! [X] : 
 (hasType(type_NationalFlag, X) => hasType(type_Flag, X)))).

fof(axMid_level_ontology829, axiom, 
 ( ! [X] : 
 (hasType(type_Neck, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology830, axiom, 
 ( ! [X] : 
 (hasType(type_Neck, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology831, axiom, 
 ( ! [X] : 
 (hasType(type_Nectar, X) => hasType(type_PlantSubstance, X)))).

fof(axMid_level_ontology832, axiom, 
 ( ! [X] : 
 (hasType(type_Negotiating, X) => hasType(type_Contest, X)))).

fof(axMid_level_ontology833, axiom, 
 ( ! [X] : 
 (hasType(type_Negotiating, X) => hasType(type_LinguisticCommunication, X)))).

fof(axMid_level_ontology834, axiom, 
 ( ! [X] : 
 (hasType(type_NerveCell, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology835, axiom, 
 ( ! [X] : 
 (hasType(type_NerveCell, X) => hasType(type_Cell, X)))).

fof(axMid_level_ontology836, axiom, 
 ( ! [X] : 
 (hasType(type_Nest, X) => hasType(type_CorpuscularObject, X)))).

fof(axMid_level_ontology837, axiom, 
 ( ! [X] : 
 (hasType(type_Neurosis, X) => hasType(type_PsychologicalDysfunction, X)))).

fof(axMid_level_ontology838, axiom, 
 ( ! [X] : 
 (hasType(type_NewTestament, X) => hasType(type_Book, X)))).

fof(axMid_level_ontology839, axiom, 
 ( ! [X] : 
 (hasType(type_NewsProgram, X) => hasType(type_BroadcastProgram, X)))).

fof(axMid_level_ontology840, axiom, 
 ( ! [X] : 
 (hasType(type_Newspaper, X) => hasType(type_Periodical, X)))).

fof(axMid_level_ontology841, axiom, 
 ( ! [X] : 
 (hasType(type_NightTime, X) => hasType(type_TimeInterval, X)))).

fof(axMid_level_ontology842, axiom, 
 ( ! [X] : 
 (hasType(type_Nodding, X) => hasType(type_Gesture, X)))).

fof(axMid_level_ontology843, axiom, 
 ( ! [X] : 
 (hasType(type_NonprofitOrganization, X) => hasType(type_Organization, X)))).

fof(axMid_level_ontology844, axiom, 
 ( ! [X] : 
 (hasType(type_NonspecificDisease, X) => hasType(type_DiseaseOrSyndrome, X)))).

fof(axMid_level_ontology845, axiom, 
 ( ! [X] : 
 (hasType(type_Nose, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology846, axiom, 
 ( ! [X] : 
 (hasType(type_Nose, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology847, axiom, 
 ( ! [X] : 
 (hasType(type_Nostril, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology848, axiom, 
 ( ! [X] : 
 (hasType(type_Nostril, X) => hasType(type_BodyVessel, X)))).

fof(axMid_level_ontology849, axiom, 
 ( ! [X] : 
 (hasType(type_Novel, X) => hasType(type_Book, X)))).

fof(axMid_level_ontology850, axiom, 
 ( ! [X] : 
 (hasType(type_Novel, X) => hasType(type_FictionalText, X)))).

fof(axMid_level_ontology851, axiom, 
 ( ! [X] : 
 (hasType(type_NuclearFamily, X) => hasType(type_FamilyGroup, X)))).

fof(axMid_level_ontology852, axiom, 
 ( ! [X] : 
 (hasType(type_NuclearFamily, X) => hasType(type_SocialUnit, X)))).

fof(axMid_level_ontology853, axiom, 
 ( ! [X] : 
 (hasType(type_NuclearWeapon, X) => hasType(type_ExplosiveDevice, X)))).

fof(axMid_level_ontology854, axiom, 
 ( ! [X] : 
 (hasType(type_NuclearWeapon, X) => hasType(type_RadioactiveWeapon, X)))).

fof(axMid_level_ontology855, axiom, 
 ( ! [X] : 
 (hasType(type_NuclearWeapon, X) => hasType(type_Weapon, X)))).

fof(axMid_level_ontology856, axiom, 
 ( ! [X] : 
 (hasType(type_OakWood, X) => hasType(type_WoodArtifact, X)))).

fof(axMid_level_ontology857, axiom, 
 ( ! [X] : 
 (hasType(type_Oar, X) => hasType(type_TransportationDevice, X)))).

fof(axMid_level_ontology858, axiom, 
 ( ! [X] : 
 (hasType(type_ObliqueAngle, X) => hasType(type_TwoDimensionalAngle, X)))).

fof(axMid_level_ontology859, axiom, 
 ( ! [X] : 
 (hasType(type_OccupationalRole, X) => hasType(type_Position, X)))).

fof(axMid_level_ontology860, axiom, 
 ( ! [X] : 
 (hasType(type_OccupationalTrade, X) => hasType(type_ManualLabor, X)))).

fof(axMid_level_ontology861, axiom, 
 ( ! [X] : 
 (hasType(type_OccupationalTrade, X) => hasType(type_SkilledOccupation, X)))).

fof(axMid_level_ontology862, axiom, 
 ( ! [X] : 
 (hasType(type_OfferingForSale, X) => hasType(type_Offering, X)))).

fof(axMid_level_ontology863, axiom, 
 ( ! [X] : 
 (hasType(type_OfferingToPurchase, X) => hasType(type_Offering, X)))).

fof(axMid_level_ontology864, axiom, 
 ( ! [X] : 
 (hasType(type_OfficeBuilding, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology865, axiom, 
 ( ! [X] : 
 (hasType(type_OilPaint, X) => hasType(type_Paint, X)))).

fof(axMid_level_ontology866, axiom, 
 ( ! [X] : 
 (hasType(type_OilPicture, X) => hasType(type_PaintedPicture, X)))).

fof(axMid_level_ontology867, axiom, 
 ( ! [X] : 
 (hasType(type_Oil, X) => hasType(type_Solution, X)))).

fof(axMid_level_ontology868, axiom, 
 ( ! [X] : 
 (hasType(type_OldTestament, X) => hasType(type_Book, X)))).

fof(axMid_level_ontology869, axiom, 
 ( ! [X] : 
 (hasType(type_Ontology, X) => hasType(type_ClassificationScheme, X)))).

fof(axMid_level_ontology870, axiom, 
 ( ! [X] : 
 (hasType(type_OpeningEyes, X) => hasType(type_EyeMotion, X)))).

fof(axMid_level_ontology871, axiom, 
 ( ! [X] : 
 (hasType(type_OpeningEyes, X) => hasType(type_Opening, X)))).

fof(axMid_level_ontology872, axiom, 
 ( ! [X] : 
 (hasType(type_Opening, X) => hasType(type_Motion, X)))).

fof(axMid_level_ontology873, axiom, 
 ( ! [X] : 
 (hasType(type_Opera, X) => hasType(type_DramaticPlay, X)))).

fof(axMid_level_ontology874, axiom, 
 ( ! [X] : 
 (hasType(type_Opium, X) => hasType(type_BiologicallyActiveSubstance, X)))).

fof(axMid_level_ontology875, axiom, 
 ( ! [X] : 
 (hasType(type_Opium, X) => hasType(type_Depressant, X)))).

fof(axMid_level_ontology876, axiom, 
 ( ! [X] : 
 (hasType(type_Opium, X) => hasType(type_PlantSubstance, X)))).

fof(axMid_level_ontology877, axiom, 
 ( ! [X] : 
 (hasType(type_OpticalDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology878, axiom, 
 ( ! [X] : 
 (hasType(type_OrangeFruit, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology879, axiom, 
 ( ! [X] : 
 (hasType(type_OrangeFruit, X) => hasType(type_FruitOrVegetable, X)))).

fof(axMid_level_ontology880, axiom, 
 ( ! [X] : 
 (hasType(type_Orchestra, X) => hasType(type_MusicalGroup, X)))).

fof(axMid_level_ontology881, axiom, 
 ( ! [X] : 
 (hasType(type_OrchestralConducting, X) => hasType(type_Guiding, X)))).

fof(axMid_level_ontology882, axiom, 
 (! [Var_SENTENCE] : 
 (((hasType(type_Sentence, Var_SENTENCE)) & ( ( ? [Var_ORDER] : 
 (hasType(type_Ordering, Var_ORDER) &  
(f_result(Var_ORDER,Var_SENTENCE)))))) <=> (hasType(type_Order, Var_SENTENCE))))).

fof(axMid_level_ontology883, axiom, 
 ( ! [X] : 
 (hasType(type_OrganicCompound, X) => hasType(type_CompoundSubstance, X)))).

fof(axMid_level_ontology884, axiom, 
 ( ! [X] : 
 (hasType(type_Organification, X) => hasType(type_OrganOrTissueProcess, X)))).

fof(axMid_level_ontology885, axiom, 
 ( ! [X] : 
 (hasType(type_OrganizationalBoard, X) => hasType(type_Organization, X)))).

fof(axMid_level_ontology886, axiom, 
 ( ! [X] : 
 (hasType(type_OrganizationalMerging, X) => hasType(type_OrganizationalProcess, X)))).

fof(axMid_level_ontology887, axiom, 
 ( ! [X] : 
 (hasType(type_Orthography, X) => hasType(type_Procedure, X)))).

fof(axMid_level_ontology888, axiom, 
 ( ! [X] : 
 (hasType(type_Ossification, X) => hasType(type_OrganOrTissueProcess, X)))).

fof(axMid_level_ontology889, axiom, 
 ( ! [X] : 
 (hasType(type_OutdoorClothing, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology890, axiom, 
 ( ! [X] : 
 (hasType(type_OuterSpaceRegion, X) => hasType(type_SpaceRegion, X)))).

fof(axMid_level_ontology891, axiom, 
 ( ! [X] : 
 (hasType(type_Oven, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology892, axiom, 
 ( ! [X] : 
 (hasType(type_Oven, X) => hasType(type_HeatingDevice, X)))).

fof(axMid_level_ontology893, axiom, 
 ( ! [X] : 
 (hasType(type_Owl, X) => hasType(type_Bird, X)))).

fof(axMid_level_ontology894, axiom, 
 ( ! [X] : 
 (hasType(type_Oxidation, X) => hasType(type_ChemicalDecomposition, X)))).

fof(axMid_level_ontology895, axiom, 
 ( ! [X] : 
 (hasType(type_Paint, X) => hasType(type_Solution, X)))).

fof(axMid_level_ontology896, axiom, 
 ( ! [X] : 
 (hasType(type_PaintedPicture, X) => hasType(type_ArtWork, X)))).

fof(axMid_level_ontology897, axiom, 
 ( ! [X] : 
 (hasType(type_Painting, X) => hasType(type_Coloring, X)))).

fof(axMid_level_ontology898, axiom, 
 ( ! [X] : 
 (hasType(type_Painting, X) => hasType(type_Covering, X)))).

fof(axMid_level_ontology899, axiom, 
 ( ! [X] : 
 (hasType(type_Pancreas, X) => hasType(type_Gland, X)))).

fof(axMid_level_ontology900, axiom, 
 ( ! [X] : 
 (hasType(type_Paper, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology901, axiom, 
 ( ! [X] : 
 (hasType(type_Paragraph, X) => hasType(type_Text, X)))).

fof(axMid_level_ontology902, axiom, 
 ( ! [X] : 
 (hasType(type_Park, X) => hasType(type_LandArea, X)))).

fof(axMid_level_ontology903, axiom, 
 ( ! [X] : 
 (hasType(type_ParkingLot, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology904, axiom, 
 ( ! [X] : 
 (hasType(type_PartTimePosition, X) => hasType(type_Position, X)))).

fof(axMid_level_ontology905, axiom, 
 ( ! [X] : 
 (hasType(type_Partnership, X) => hasType(type_CommercialAgent, X)))).

fof(axMid_level_ontology906, axiom, 
 ( ! [X] : 
 (hasType(type_PartyPlatform, X) => hasType(type_FactualText, X)))).

fof(axMid_level_ontology907, axiom, 
 ( ! [X] : 
 (hasType(type_PassCertificate, X) => hasType(type_Certificate, X)))).

fof(axMid_level_ontology908, axiom, 
 ( ! [X] : 
 (hasType(type_PassingABill, X) => hasType(type_Declaring, X)))).

fof(axMid_level_ontology909, axiom, 
 ( ! [X] : 
 (hasType(type_PassingABill, X) => hasType(type_PoliticalProcess, X)))).

fof(axMid_level_ontology910, axiom, 
 ( ! [X] : 
 (hasType(type_Passport, X) => hasType(type_License, X)))).

fof(axMid_level_ontology911, axiom, 
 ( ! [X] : 
 (hasType(type_Pea, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology912, axiom, 
 ( ! [X] : 
 (hasType(type_Pea, X) => hasType(type_Seed, X)))).

fof(axMid_level_ontology913, axiom, 
 ( ! [X] : 
 (hasType(type_PeaceKeepingMission, X) => hasType(type_MilitaryOrganization, X)))).

fof(axMid_level_ontology914, axiom, 
 ( ! [X] : 
 (hasType(type_PearFruit, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology915, axiom, 
 ( ! [X] : 
 (hasType(type_PearFruit, X) => hasType(type_FruitOrVegetable, X)))).

fof(axMid_level_ontology916, axiom, 
 ( ! [X] : 
 (hasType(type_Peeling, X) => hasType(type_Removing, X)))).

fof(axMid_level_ontology917, axiom, 
 ( ! [X] : 
 (hasType(type_Pencil, X) => hasType(type_WritingDevice, X)))).

fof(axMid_level_ontology918, axiom, 
 ( ! [X] : 
 (hasType(type_PensionPlan, X) => hasType(type_FinancialAccount, X)))).

fof(axMid_level_ontology919, axiom, 
 ( ! [X] : 
 (hasType(type_PercussionInstrument, X) => hasType(type_MusicalInstrument, X)))).

fof(axMid_level_ontology920, axiom, 
 ( ! [X] : 
 (hasType(type_PerformanceAct, X) => hasType(type_Performance, X)))).

fof(axMid_level_ontology921, axiom, 
 ( ! [X] : 
 (hasType(type_PerformanceProgram, X) => hasType(type_FactualText, X)))).

fof(axMid_level_ontology922, axiom, 
 ( ! [X] : 
 (hasType(type_PerformanceStageWing, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology923, axiom, 
 ( ! [X] : 
 (hasType(type_PerformanceStage, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology924, axiom, 
 ( ! [X] : 
 (hasType(type_Performance, X) => hasType(type_Demonstrating, X)))).

fof(axMid_level_ontology925, axiom, 
 ( ! [X] : 
 (hasType(type_PeriodicalPublisher, X) => hasType(type_Publisher, X)))).

fof(axMid_level_ontology926, axiom, 
 ( ! [X] : 
 (hasType(type_PetroleumProduct, X) => hasType(type_MiningProduct, X)))).

fof(axMid_level_ontology927, axiom, 
 ( ! [X] : 
 (hasType(type_PetroleumProduct, X) => hasType(type_Oil, X)))).

fof(axMid_level_ontology928, axiom, 
 ( ! [X] : 
 (hasType(type_Pharmacist, X) => hasType(type_Profession, X)))).

fof(axMid_level_ontology929, axiom, 
 ( ! [X] : 
 (hasType(type_Photograph, X) => hasType(type_Icon, X)))).

fof(axMid_level_ontology930, axiom, 
 ( ! [X] : 
 (hasType(type_PhotographicFilm, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology931, axiom, 
 ( ! [X] : 
 (hasType(type_Photographing, X) => hasType(type_ContentDevelopment, X)))).

fof(axMid_level_ontology932, axiom, 
 ( ! [X] : 
 (hasType(type_Piano, X) => hasType(type_StringInstrument, X)))).

fof(axMid_level_ontology933, axiom, 
 ( ! [X] : 
 (hasType(type_PictureFrame, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology934, axiom, 
 ( ! [X] : 
 (hasType(type_Pig, X) => hasType(type_HoofedMammal, X)))).

fof(axMid_level_ontology935, axiom, 
 ( ! [X] : 
 (hasType(type_Pig, X) => hasType(type_Livestock, X)))).

fof(axMid_level_ontology936, axiom, 
 ( ! [X] : 
 (hasType(type_Pigeon, X) => hasType(type_Bird, X)))).

fof(axMid_level_ontology937, axiom, 
 ( ! [X] : 
 (hasType(type_Pillow, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology938, axiom, 
 ( ! [X] : 
 (hasType(type_Pistol, X) => hasType(type_Firearm, X)))).

fof(axMid_level_ontology939, axiom, 
 ( ! [X] : 
 (hasType(type_PitchersMound, X) => hasType(type_GameArtifact, X)))).

fof(axMid_level_ontology940, axiom, 
 ( ! [X] : 
 (hasType(type_Pitching, X) => hasType(type_GameShot, X)))).

fof(axMid_level_ontology941, axiom, 
 ( ! [X] : 
 (hasType(type_Pitching, X) => hasType(type_Throwing, X)))).

fof(axMid_level_ontology942, axiom, 
 ( ! [X] : 
 (hasType(type_PituitaryGland, X) => hasType(type_Gland, X)))).

fof(axMid_level_ontology943, axiom, 
 ( ! [X] : 
 (hasType(type_PlaceOfCommerce, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology944, axiom, 
 ( ! [X] : 
 (hasType(type_PlaceOfWorship, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology945, axiom, 
 ( ! [X] : 
 (hasType(type_PlacingUnderArrest, X) => hasType(type_Capturing, X)))).

fof(axMid_level_ontology946, axiom, 
 ( ! [X] : 
 (hasType(type_PlacingUnderArrest, X) => hasType(type_LawEnforcement, X)))).

fof(axMid_level_ontology947, axiom, 
 ( ! [X] : 
 (hasType(type_PlacingUnderArrest, X) => hasType(type_LegalAction, X)))).

fof(axMid_level_ontology948, axiom, 
 ( ! [X] : 
 (hasType(type_PlacingUnderArrest, X) => hasType(type_SocialInteraction, X)))).

fof(axMid_level_ontology949, axiom, 
 ( ! [X] : 
 (hasType(type_PlantBranch, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology950, axiom, 
 ( ! [X] : 
 (hasType(type_PlantBranch, X) => hasType(type_PlantAnatomicalStructure, X)))).

fof(axMid_level_ontology951, axiom, 
 ( ! [X] : 
 (hasType(type_PlantLeaf, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology952, axiom, 
 ( ! [X] : 
 (hasType(type_PlantLeaf, X) => hasType(type_PlantAnatomicalStructure, X)))).

fof(axMid_level_ontology953, axiom, 
 ( ! [X] : 
 (hasType(type_PlantRoot, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology954, axiom, 
 ( ! [X] : 
 (hasType(type_PlantRoot, X) => hasType(type_PlantAnatomicalStructure, X)))).

fof(axMid_level_ontology955, axiom, 
 ( ! [X] : 
 (hasType(type_PlayingCard, X) => hasType(type_ContentBearingObject, X)))).

fof(axMid_level_ontology956, axiom, 
 ( ! [X] : 
 (hasType(type_PlayingCard, X) => hasType(type_GameArtifact, X)))).

fof(axMid_level_ontology957, axiom, 
 ( ! [X] : 
 (hasType(type_Pleading, X) => hasType(type_Stating, X)))).

fof(axMid_level_ontology958, axiom, 
 ( ! [X] : 
 (hasType(type_Plug, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology959, axiom, 
 ( ! [X] : 
 (hasType(type_Pocket, X) => hasType(type_Fabric, X)))).

fof(axMid_level_ontology960, axiom, 
 ( ! [X] : 
 (hasType(type_PoliceCaptain, X) => hasType(type_PoliceOfficer, X)))).

fof(axMid_level_ontology961, axiom, 
 ( ! [X] : 
 (hasType(type_PoliceFacility, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology962, axiom, 
 ( ! [X] : 
 (hasType(type_PoliceSergeant, X) => hasType(type_PoliceOfficer, X)))).

fof(axMid_level_ontology963, axiom, 
 ( ! [X] : 
 (hasType(type_PoliticalCrime, X) => hasType(type_CriminalAction, X)))).

fof(axMid_level_ontology964, axiom, 
 ( ! [X] : 
 (hasType(type_PoliticalCrime, X) => hasType(type_PoliticalProcess, X)))).

fof(axMid_level_ontology965, axiom, 
 ( ! [X] : 
 (hasType(type_PoliticalFigure, X) => hasType(type_Celebrity, X)))).

fof(axMid_level_ontology966, axiom, 
 ( ! [X] : 
 (hasType(type_PoliticalRevolution, X) => hasType(type_PoliticalProcess, X)))).

fof(axMid_level_ontology967, axiom, 
 ( ! [X] : 
 (hasType(type_PoliticalRevolution, X) => hasType(type_ViolentContest, X)))).

fof(axMid_level_ontology968, axiom, 
 ( ! [X] : 
 (hasType(type_PoliticoEconomicAttribute, X) => hasType(type_RelationalAttribute, X)))).

fof(axMid_level_ontology969, axiom, 
 ( ! [X] : 
 (hasType(type_Polling, X) => hasType(type_Investigating, X)))).

fof(axMid_level_ontology970, axiom, 
 ( ! [X] : 
 (hasType(type_Polygon, X) => hasType(type_ClosedTwoDimensionalFigure, X)))).

fof(axMid_level_ontology971, axiom, 
 (! [Var_MUSIC] : 
 (((hasType(type_Music, Var_MUSIC)) & ( ( ? [Var_PART1] : 
 (hasType(type_Music, Var_PART1) &  
(( ? [Var_PART2] : 
 (hasType(type_Music, Var_PART2) &  
(((((((((f_subProcess(Var_PART1,Var_MUSIC)) & (f_subProcess(Var_PART2,Var_MUSIC)))) & (Var_PART1 = Var_PART2))) & (f_cooccur(Var_PART1,Var_MUSIC)))) & (f_cooccur(Var_PART2,Var_MUSIC))))))))))) <=> (hasType(type_PolyphonicMusic, Var_MUSIC))))).

fof(axMid_level_ontology972, axiom, 
 ( ! [X] : 
 (hasType(type_PopularElection, X) => hasType(type_GeneralElection, X)))).

fof(axMid_level_ontology973, axiom, 
 ( ! [X] : 
 (hasType(type_Porch, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology974, axiom, 
 ( ! [X] : 
 (hasType(type_Pork, X) => hasType(type_Meat, X)))).

fof(axMid_level_ontology975, axiom, 
 ( ! [X] : 
 (hasType(type_Portrait, X) => hasType(type_PaintedPicture, X)))).

fof(axMid_level_ontology976, axiom, 
 ( ! [X] : 
 (hasType(type_PostMeridiem, X) => hasType(type_TimeInterval, X)))).

fof(axMid_level_ontology977, axiom, 
 ( ! [X] : 
 (hasType(type_PostSecondarySchool, X) => hasType(type_School, X)))).

fof(axMid_level_ontology978, axiom, 
 ( ! [X] : 
 (hasType(type_PotOrPan, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology979, axiom, 
 ( ! [X] : 
 (hasType(type_Pottery, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology980, axiom, 
 ( ! [X] : 
 (hasType(type_Poultry, X) => hasType(type_Bird, X)))).

fof(axMid_level_ontology981, axiom, 
 ( ! [X] : 
 (hasType(type_Poultry, X) => hasType(type_Livestock, X)))).

fof(axMid_level_ontology982, axiom, 
 ( ! [X] : 
 (hasType(type_Pouring, X) => hasType(type_LiquidMotion, X)))).

fof(axMid_level_ontology983, axiom, 
 ( ! [X] : 
 (hasType(type_Pouring, X) => hasType(type_Transfer, X)))).

fof(axMid_level_ontology984, axiom, 
 ( ! [X] : 
 (hasType(type_Powder, X) => hasType(type_Substance, X)))).

fof(axMid_level_ontology985, axiom, 
 ( ! [X] : 
 (hasType(type_Praying, X) => hasType(type_ReligiousProcess, X)))).

fof(axMid_level_ontology986, axiom, 
 ( ! [X] : 
 (hasType(type_Praying, X) => hasType(type_Requesting, X)))).

fof(axMid_level_ontology987, axiom, 
 ( ! [X] : 
 (hasType(type_PreparedFood, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology988, axiom, 
 ( ! [X] : 
 (hasType(type_PressureMeasuringDevice, X) => hasType(type_MeasuringDevice, X)))).

fof(axMid_level_ontology989, axiom, 
 ( ! [X] : 
 (hasType(type_Prison, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology990, axiom, 
 ( ! [X] : 
 (hasType(type_PrivateSchool, X) => hasType(type_School, X)))).

fof(axMid_level_ontology991, axiom, 
 ( ! [X] : 
 (hasType(type_Proclaiming, X) => hasType(type_Declaring, X)))).

fof(axMid_level_ontology992, axiom, 
 ( ! [X] : 
 (hasType(type_Proclaiming, X) => hasType(type_Lecture, X)))).

fof(axMid_level_ontology993, axiom, 
 ( ! [X] : 
 (hasType(type_Profession, X) => hasType(type_SkilledOccupation, X)))).

fof(axMid_level_ontology994, axiom, 
 ( ! [X] : 
 (hasType(type_ProfitSharingPlan, X) => hasType(type_PensionPlan, X)))).

fof(axMid_level_ontology995, axiom, 
 ( ! [X] : 
 (hasType(type_ProjectileLauncher, X) => hasType(type_Weapon, X)))).

fof(axMid_level_ontology996, axiom, 
 ( ! [X] : 
 (hasType(type_ProjectileShell, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology997, axiom, 
 ( ! [X] : 
 (hasType(type_Projectile, X) => hasType(type_Weapon, X)))).

fof(axMid_level_ontology998, axiom, 
 ( ! [X] : 
 (hasType(type_ProjectionScreen, X) => hasType(type_CommunicationDevice, X)))).

fof(axMid_level_ontology999, axiom, 
 ( ! [X] : 
 (hasType(type_Proprietorship, X) => hasType(type_CommercialAgent, X)))).

fof(axMid_level_ontology1000, axiom, 
 ( ! [X] : 
 (hasType(type_Protozoa, X) => hasType(type_Microorganism, X)))).

fof(axMid_level_ontology1001, axiom, 
 ( ! [X] : 
 (hasType(type_Psychosis, X) => hasType(type_PsychologicalDysfunction, X)))).

fof(axMid_level_ontology1002, axiom, 
 ( ! [X] : 
 (hasType(type_PublicDefender, X) => hasType(type_Attorney, X)))).

fof(axMid_level_ontology1003, axiom, 
 ( ! [X] : 
 (hasType(type_PublicDefender, X) => hasType(type_GovernmentOfficer, X)))).

fof(axMid_level_ontology1004, axiom, 
 ( ! [X] : 
 (hasType(type_PublicLibrary, X) => hasType(type_GovernmentOrganization, X)))).

fof(axMid_level_ontology1005, axiom, 
 ( ! [X] : 
 (hasType(type_PublicLibrary, X) => hasType(type_Library, X)))).

fof(axMid_level_ontology1006, axiom, 
 ( ! [X] : 
 (hasType(type_PublicPark, X) => hasType(type_Park, X)))).

fof(axMid_level_ontology1007, axiom, 
 ( ! [X] : 
 (hasType(type_PublicProsecutor, X) => hasType(type_Attorney, X)))).

fof(axMid_level_ontology1008, axiom, 
 ( ! [X] : 
 (hasType(type_PublicProsecutor, X) => hasType(type_GovernmentOfficer, X)))).

fof(axMid_level_ontology1009, axiom, 
 ( ! [X] : 
 (hasType(type_PublicSchool, X) => hasType(type_GovernmentOrganization, X)))).

fof(axMid_level_ontology1010, axiom, 
 ( ! [X] : 
 (hasType(type_PublicSchool, X) => hasType(type_School, X)))).

fof(axMid_level_ontology1011, axiom, 
 ( ! [X] : 
 (hasType(type_Publisher, X) => hasType(type_CommercialAgent, X)))).

fof(axMid_level_ontology1012, axiom, 
 ( ! [X] : 
 (hasType(type_Pulling, X) => hasType(type_LandTransportation, X)))).

fof(axMid_level_ontology1013, axiom, 
 ( ! [X] : 
 (hasType(type_PulmonaryArtery, X) => hasType(type_Artery, X)))).

fof(axMid_level_ontology1014, axiom, 
 ( ! [X] : 
 (hasType(type_PulmonaryVein, X) => hasType(type_Vein, X)))).

fof(axMid_level_ontology1015, axiom, 
 ( ! [X] : 
 (hasType(type_Pump, X) => hasType(type_TransportationDevice, X)))).

fof(axMid_level_ontology1016, axiom, 
 ( ! [X] : 
 (hasType(type_Punching, X) => hasType(type_Impelling, X)))).

fof(axMid_level_ontology1017, axiom, 
 ( ! [X] : 
 (hasType(type_Punishing, X) => hasType(type_RegulatoryProcess, X)))).

fof(axMid_level_ontology1018, axiom, 
 ( ! [X] : 
 (hasType(type_Quadrilateral, X) => hasType(type_Polygon, X)))).

fof(axMid_level_ontology1019, axiom, 
 ( ! [X] : 
 (hasType(type_QueenInsect, X) => hasType(type_Insect, X)))).

fof(axMid_level_ontology1020, axiom, 
 (! [Var_SENTENCE] : 
 (((hasType(type_Sentence, Var_SENTENCE)) & ( ( ? [Var_QUESTION] : 
 (hasType(type_Questioning, Var_QUESTION) &  
(f_result(Var_QUESTION,Var_SENTENCE)))))) <=> (hasType(type_Question, Var_SENTENCE))))).

fof(axMid_level_ontology1021, axiom, 
 ( ! [X] : 
 (hasType(type_Rabbit, X) => hasType(type_Rodent, X)))).

fof(axMid_level_ontology1022, axiom, 
 ( ! [X] : 
 (hasType(type_Racing, X) => hasType(type_Sport, X)))).

fof(axMid_level_ontology1023, axiom, 
 ( ! [X] : 
 (hasType(type_Radar, X) => hasType(type_ElectricDevice, X)))).

fof(axMid_level_ontology1024, axiom, 
 ( ! [X] : 
 (hasType(type_RadiatingInfrared, X) => hasType(type_Radiating, X)))).

fof(axMid_level_ontology1025, axiom, 
 ( ! [X] : 
 (hasType(type_RadiatingSoundUltrasonic, X) => hasType(type_RadiatingSound, X)))).

fof(axMid_level_ontology1026, axiom, 
 ( ! [X] : 
 (hasType(type_RadiatingUltraviolet, X) => hasType(type_RadiatingElectromagnetic, X)))).

fof(axMid_level_ontology1027, axiom, 
 (! [Var_R] : 
 (((hasType(type_RadiatingLight, Var_R)) & ( ( ? [Var_H] : 
 (hasType(type_Human, Var_H) &  
(( ? [Var_S] : 
 (hasType(type_Seeing, Var_S) &  
(((f_agent(Var_S,Var_H)) & (f_patient(Var_S,Var_R))))))))))) <=> (hasType(type_RadiatingVisibleLight, Var_R))))).

fof(axMid_level_ontology1028, axiom, 
 ( ! [X] : 
 (hasType(type_RadioBroadcasting, X) => hasType(type_Broadcasting, X)))).

fof(axMid_level_ontology1029, axiom, 
 ( ! [X] : 
 (hasType(type_RadioEmission, X) => hasType(type_RadiatingElectromagnetic, X)))).

fof(axMid_level_ontology1030, axiom, 
 ( ! [X] : 
 (hasType(type_RadioReceiver, X) => hasType(type_ReceiverDevice, X)))).

fof(axMid_level_ontology1031, axiom, 
 ( ! [X] : 
 (hasType(type_RadioactiveWeapon, X) => hasType(type_WeaponOfMassDestruction, X)))).

fof(axMid_level_ontology1032, axiom, 
 ( ! [X] : 
 (hasType(type_RadiologicalWeapon, X) => hasType(type_RadioactiveWeapon, X)))).

fof(axMid_level_ontology1033, axiom, 
 ( ! [X] : 
 (hasType(type_Radish, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology1034, axiom, 
 ( ! [X] : 
 (hasType(type_Radish, X) => hasType(type_PlantRoot, X)))).

fof(axMid_level_ontology1035, axiom, 
 ( ! [X] : 
 (hasType(type_RailroadCompany, X) => hasType(type_TransportationCompany, X)))).

fof(axMid_level_ontology1036, axiom, 
 ( ! [X] : 
 (hasType(type_Ramp, X) => hasType(type_SelfConnectedObject, X)))).

fof(axMid_level_ontology1037, axiom, 
 ( ! [X] : 
 (hasType(type_Raping, X) => hasType(type_CriminalAction, X)))).

fof(axMid_level_ontology1038, axiom, 
 ( ! [X] : 
 (hasType(type_Raping, X) => hasType(type_Mating, X)))).

fof(axMid_level_ontology1039, axiom, 
 ( ! [X] : 
 (hasType(type_Rat, X) => hasType(type_Rodent, X)))).

fof(axMid_level_ontology1040, axiom, 
 ( ! [X] : 
 (hasType(type_Rattlesnake, X) => hasType(type_Snake, X)))).

fof(axMid_level_ontology1041, axiom, 
 ( ! [X] : 
 (hasType(type_RawFood, X) => hasType(type_Food, X)))).

fof(axMid_level_ontology1042, axiom, 
 ( ! [X] : 
 (hasType(type_RearWindow, X) => hasType(type_VehicleWindow, X)))).

fof(axMid_level_ontology1043, axiom, 
 ( ! [X] : 
 (hasType(type_ReceiverDevice, X) => hasType(type_CommunicationDevice, X)))).

fof(axMid_level_ontology1044, axiom, 
 ( ! [X] : 
 (hasType(type_ReceiverDevice, X) => hasType(type_ElectricDevice, X)))).

fof(axMid_level_ontology1045, axiom, 
 ( ! [X] : 
 (hasType(type_Reciting, X) => hasType(type_Speaking, X)))).

fof(axMid_level_ontology1046, axiom, 
 ( ! [X] : 
 (hasType(type_RecoveringFromIllness, X) => hasType(type_OrganismProcess, X)))).

fof(axMid_level_ontology1047, axiom, 
 ( ! [X] : 
 (hasType(type_RecreationOrExerciseDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1048, axiom, 
 ( ! [X] : 
 (hasType(type_Rectangle, X) => hasType(type_Quadrilateral, X)))).

fof(axMid_level_ontology1049, axiom, 
 ( ! [X] : 
 (hasType(type_RedBloodCell, X) => hasType(type_BloodCell, X)))).

fof(axMid_level_ontology1050, axiom, 
 ( ! [X] : 
 (hasType(type_RedcoatSoldier, X) => hasType(type_Soldier, X)))).

fof(axMid_level_ontology1051, axiom, 
 ( ! [X] : 
 (hasType(type_ReferenceBook, X) => hasType(type_Book, X)))).

fof(axMid_level_ontology1052, axiom, 
 ( ! [X] : 
 (hasType(type_ReferenceBook, X) => hasType(type_FactualText, X)))).

fof(axMid_level_ontology1053, axiom, 
 ( ! [X] : 
 (hasType(type_ReferenceText, X) => hasType(type_FactualText, X)))).

fof(axMid_level_ontology1054, axiom, 
 ( ! [X] : 
 (hasType(type_ReflectingLight, X) => hasType(type_RadiatingLight, X)))).

fof(axMid_level_ontology1055, axiom, 
 ( ! [X] : 
 (hasType(type_ReflectingLight, X) => hasType(type_Reflecting, X)))).

fof(axMid_level_ontology1056, axiom, 
 ( ! [X] : 
 (hasType(type_Reflecting, X) => hasType(type_Radiating, X)))).

fof(axMid_level_ontology1057, axiom, 
 ( ! [X] : 
 (hasType(type_ReflexiveProcess, X) => hasType(type_AutonomicProcess, X)))).

fof(axMid_level_ontology1058, axiom, 
 ( ! [X] : 
 (hasType(type_Refrigerator, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology1059, axiom, 
 ( ! [X] : 
 (hasType(type_Refrigerator, X) => hasType(type_CoolingDevice, X)))).

fof(axMid_level_ontology1060, axiom, 
 ( ! [X] : 
 (hasType(type_Refrigerator, X) => hasType(type_ElectricDevice, X)))).

fof(axMid_level_ontology1061, axiom, 
 ( ! [X] : 
 (hasType(type_Registering, X) => hasType(type_PoliticalProcess, X)))).

fof(axMid_level_ontology1062, axiom, 
 ( ! [X] : 
 (hasType(type_Registering, X) => hasType(type_Stating, X)))).

fof(axMid_level_ontology1063, axiom, 
 ( ! [X] : 
 (hasType(type_Regretting, X) => hasType(type_ExpressingDisapproval, X)))).

fof(axMid_level_ontology1064, axiom, 
 ( ! [X] : 
 (hasType(type_RelievingPain, X) => hasType(type_TherapeuticProcess, X)))).

fof(axMid_level_ontology1065, axiom, 
 ( ! [X] : 
 (hasType(type_ReligiousBuilding, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology1066, axiom, 
 ( ! [X] : 
 (hasType(type_ReligiousFigure, X) => hasType(type_Celebrity, X)))).

fof(axMid_level_ontology1067, axiom, 
 ( ! [X] : 
 (hasType(type_ReligiousPosition, X) => hasType(type_Position, X)))).

fof(axMid_level_ontology1068, axiom, 
 ( ! [X] : 
 (hasType(type_ReligiousService, X) => hasType(type_Demonstrating, X)))).

fof(axMid_level_ontology1069, axiom, 
 ( ! [X] : 
 (hasType(type_ReligiousService, X) => hasType(type_ReligiousProcess, X)))).

fof(axMid_level_ontology1070, axiom, 
 ( ! [X] : 
 (hasType(type_Reminding, X) => hasType(type_Requesting, X)))).

fof(axMid_level_ontology1071, axiom, 
 ( ! [X] : 
 (hasType(type_RemovingClothing, X) => hasType(type_Uncovering, X)))).

fof(axMid_level_ontology1072, axiom, 
 ( ! [X] : 
 (hasType(type_Renting, X) => hasType(type_Borrowing, X)))).

fof(axMid_level_ontology1073, axiom, 
 ( ! [X] : 
 (hasType(type_Renting, X) => hasType(type_FinancialTransaction, X)))).

fof(axMid_level_ontology1074, axiom, 
 ( ! [X] : 
 (hasType(type_Report, X) => hasType(type_Article, X)))).

fof(axMid_level_ontology1075, axiom, 
 ( ! [X] : 
 (hasType(type_Report, X) => hasType(type_FactualText, X)))).

fof(axMid_level_ontology1076, axiom, 
 (! [Var_SENTENCE] : 
 (((hasType(type_Sentence, Var_SENTENCE)) & ( ( ? [Var_REQUEST] : 
 (hasType(type_Requesting, Var_REQUEST) &  
(f_result(Var_REQUEST,Var_SENTENCE)))))) <=> (hasType(type_Request, Var_SENTENCE))))).

fof(axMid_level_ontology1077, axiom, 
 ( ! [X] : 
 (hasType(type_Researcher, X) => hasType(type_Profession, X)))).

fof(axMid_level_ontology1078, axiom, 
 ( ! [X] : 
 (hasType(type_Resigning, X) => hasType(type_TerminatingEmployment, X)))).

fof(axMid_level_ontology1079, axiom, 
 ( ! [X] : 
 (hasType(type_Resolution, X) => hasType(type_Deciding, X)))).

fof(axMid_level_ontology1080, axiom, 
 ( ! [X] : 
 (hasType(type_RestaurantBuilding, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology1081, axiom, 
 ( ! [X] : 
 (hasType(type_Restaurant, X) => hasType(type_CommercialAgent, X)))).

fof(axMid_level_ontology1082, axiom, 
 ( ! [X] : 
 (hasType(type_RetailStore, X) => hasType(type_MercantileOrganization, X)))).

fof(axMid_level_ontology1083, axiom, 
 ( ! [X] : 
 (hasType(type_Retina, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology1084, axiom, 
 ( ! [X] : 
 (hasType(type_Retina, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology1085, axiom, 
 ( ! [X] : 
 (hasType(type_Retiring, X) => hasType(type_Resigning, X)))).

fof(axMid_level_ontology1086, axiom, 
 ( ! [X] : 
 (hasType(type_Returning, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology1087, axiom, 
 ( ! [X] : 
 (hasType(type_Reversing, X) => hasType(type_Motion, X)))).

fof(axMid_level_ontology1088, axiom, 
 ( ! [X] : 
 (hasType(type_RevolverGun, X) => hasType(type_Pistol, X)))).

fof(axMid_level_ontology1089, axiom, 
 ( ! [X] : 
 (hasType(type_RiceGrain, X) => hasType(type_CerealGrain, X)))).

fof(axMid_level_ontology1090, axiom, 
 ( ! [X] : 
 (hasType(type_Rifle, X) => hasType(type_Firearm, X)))).

fof(axMid_level_ontology1091, axiom, 
 ( ! [X] : 
 (hasType(type_RightAngle, X) => hasType(type_TwoDimensionalAngle, X)))).

fof(axMid_level_ontology1092, axiom, 
 ( ! [X] : 
 (hasType(type_RightTriangle, X) => hasType(type_Triangle, X)))).

fof(axMid_level_ontology1093, axiom, 
 ( ! [X] : 
 (hasType(type_Ringing, X) => hasType(type_RadiatingSound, X)))).

fof(axMid_level_ontology1094, axiom, 
 ( ! [X] : 
 (hasType(type_RoadTransportationSystem, X) => hasType(type_TransitSystem, X)))).

fof(axMid_level_ontology1095, axiom, 
 ( ! [X] : 
 (hasType(type_RoadVehicle, X) => hasType(type_LandVehicle, X)))).

fof(axMid_level_ontology1096, axiom, 
 ( ! [X] : 
 (hasType(type_Road, X) => hasType(type_Region, X)))).

fof(axMid_level_ontology1097, axiom, 
 ( ! [X] : 
 (hasType(type_Robbing, X) => hasType(type_Stealing, X)))).

fof(axMid_level_ontology1098, axiom, 
 ( ! [X] : 
 (hasType(type_RocketMissileAttack, X) => hasType(type_Bombing, X)))).

fof(axMid_level_ontology1099, axiom, 
 ( ! [X] : 
 (hasType(type_Rocket, X) => hasType(type_Projectile, X)))).

fof(axMid_level_ontology1100, axiom, 
 ( ! [X] : 
 (hasType(type_Rocket, X) => hasType(type_Spacecraft, X)))).

fof(axMid_level_ontology1101, axiom, 
 ( ! [X] : 
 (hasType(type_Roof, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1102, axiom, 
 (! [Var_R] : 
 (((hasType(type_Chicken, Var_R)) & ( f_attribute(Var_R,inst_Male))) <=> (hasType(type_Rooster, Var_R))))).

fof(axMid_level_ontology1103, axiom, 
 ( ! [X] : 
 (hasType(type_Rotating, X) => hasType(type_Motion, X)))).

fof(axMid_level_ontology1104, axiom, 
 ( ! [X] : 
 (hasType(type_Rotor, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology1105, axiom, 
 ( ! [X] : 
 (hasType(type_Rowing, X) => hasType(type_WaterTransportation, X)))).

fof(axMid_level_ontology1106, axiom, 
 ( ! [X] : 
 (hasType(type_Rubber, X) => hasType(type_PlantSubstance, X)))).

fof(axMid_level_ontology1107, axiom, 
 ( ! [X] : 
 (hasType(type_Rug, X) => hasType(type_Fabric, X)))).

fof(axMid_level_ontology1108, axiom, 
 ( ! [X] : 
 (hasType(type_Saddle, X) => hasType(type_Holder, X)))).

fof(axMid_level_ontology1109, axiom, 
 ( ! [X] : 
 (hasType(type_SafeContainer, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology1110, axiom, 
 ( ! [X] : 
 (hasType(type_SafeContainer, X) => hasType(type_SecurityDevice, X)))).

fof(axMid_level_ontology1111, axiom, 
 ( ! [X] : 
 (hasType(type_Sailor, X) => hasType(type_SkilledOccupation, X)))).

fof(axMid_level_ontology1112, axiom, 
 ( ! [X] : 
 (hasType(type_SalesPosition, X) => hasType(type_SkilledOccupation, X)))).

fof(axMid_level_ontology1113, axiom, 
 ( ! [X] : 
 (hasType(type_Sales, X) => hasType(type_Working, X)))).

fof(axMid_level_ontology1114, axiom, 
 ( ! [X] : 
 (hasType(type_SalineSolution, X) => hasType(type_Solution, X)))).

fof(axMid_level_ontology1115, axiom, 
 ( ! [X] : 
 (hasType(type_Sandal, X) => hasType(type_Shoe, X)))).

fof(axMid_level_ontology1116, axiom, 
 ( ! [X] : 
 (hasType(type_Sandwich, X) => hasType(type_PreparedFood, X)))).

fof(axMid_level_ontology1117, axiom, 
 ( ! [X] : 
 (hasType(type_Saving, X) => hasType(type_Increasing, X)))).

fof(axMid_level_ontology1118, axiom, 
 ( ! [X] : 
 (hasType(type_SavingsAndLoan, X) => hasType(type_FinancialCompany, X)))).

fof(axMid_level_ontology1119, axiom, 
 ( ! [X] : 
 (hasType(type_Scar, X) => hasType(type_AbnormalAnatomicalStructure, X)))).

fof(axMid_level_ontology1120, axiom, 
 ( ! [X] : 
 (hasType(type_Scholarship, X) => hasType(type_Funding, X)))).

fof(axMid_level_ontology1121, axiom, 
 ( ! [X] : 
 (hasType(type_School, X) => hasType(type_EducationalOrganization, X)))).

fof(axMid_level_ontology1122, axiom, 
 ( ! [X] : 
 (hasType(type_Science, X) => hasType(type_FieldOfStudy, X)))).

fof(axMid_level_ontology1123, axiom, 
 ( ! [X] : 
 (hasType(type_Score, X) => hasType(type_GameShot, X)))).

fof(axMid_level_ontology1124, axiom, 
 ( ! [X] : 
 (hasType(type_Screw, X) => hasType(type_AttachingDevice, X)))).

fof(axMid_level_ontology1125, axiom, 
 ( ! [X] : 
 (hasType(type_Screwdriver, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1126, axiom, 
 ( ! [X] : 
 (hasType(type_Script, X) => hasType(type_Collection, X)))).

fof(axMid_level_ontology1127, axiom, 
 ( ! [X] : 
 (hasType(type_Sculpture, X) => hasType(type_ArtWork, X)))).

fof(axMid_level_ontology1128, axiom, 
 ( ! [X] : 
 (hasType(type_SeasonOfYear, X) => hasType(type_TimeInterval, X)))).

fof(axMid_level_ontology1129, axiom, 
 ( ! [X] : 
 (hasType(type_Seat, X) => hasType(type_Furniture, X)))).

fof(axMid_level_ontology1130, axiom, 
 ( ! [X] : 
 (hasType(type_Seating, X) => hasType(type_Guiding, X)))).

fof(axMid_level_ontology1131, axiom, 
 ( ! [X] : 
 (hasType(type_SecondaryColor, X) => hasType(type_ColorAttribute, X)))).

fof(axMid_level_ontology1132, axiom, 
 ( ! [X] : 
 (hasType(type_SecondarySchool, X) => hasType(type_School, X)))).

fof(axMid_level_ontology1133, axiom, 
 ( ! [X] : 
 (hasType(type_SecurityAlarm, X) => hasType(type_ElectricDevice, X)))).

fof(axMid_level_ontology1134, axiom, 
 ( ! [X] : 
 (hasType(type_SecurityAlarm, X) => hasType(type_SecurityDevice, X)))).

fof(axMid_level_ontology1135, axiom, 
 ( ! [X] : 
 (hasType(type_SecurityDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1136, axiom, 
 ( ! [X] : 
 (hasType(type_SecurityUnit, X) => hasType(type_Organization, X)))).

fof(axMid_level_ontology1137, axiom, 
 ( ! [X] : 
 (hasType(type_SeizingProperty, X) => hasType(type_UnilateralGetting, X)))).

fof(axMid_level_ontology1138, axiom, 
 (! [Var_O] : 
 (((hasType(type_Device, Var_O)) & ( ( ? [Var_G] : 
 (hasType(type_Artifact, Var_G) &  
(f_powerPlant(Var_O,Var_G)))))) <=> (hasType(type_SelfPoweredDevice, Var_O))))).

fof(axMid_level_ontology1139, axiom, 
 ( ! [X] : 
 (hasType(type_SelfPoweredRoadVehicle, X) => hasType(type_PoweredVehicle, X)))).

fof(axMid_level_ontology1140, axiom, 
 ( ! [X] : 
 (hasType(type_SelfPoweredRoadVehicle, X) => hasType(type_RoadVehicle, X)))).

fof(axMid_level_ontology1141, axiom, 
 ( ! [X] : 
 (hasType(type_Sentencing, X) => hasType(type_LegalDecision, X)))).

fof(axMid_level_ontology1142, axiom, 
 ( ! [X] : 
 (hasType(type_Sergeant, X) => hasType(type_MilitaryOfficer, X)))).

fof(axMid_level_ontology1143, axiom, 
 ( ! [X] : 
 (hasType(type_Sermon, X) => hasType(type_Lecture, X)))).

fof(axMid_level_ontology1144, axiom, 
 ( ! [X] : 
 (hasType(type_Serum, X) => hasType(type_LiquidBodySubstance, X)))).

fof(axMid_level_ontology1145, axiom, 
 ( ! [X] : 
 (hasType(type_ServiceOrganization, X) => hasType(type_Organization, X)))).

fof(axMid_level_ontology1146, axiom, 
 ( ! [X] : 
 (hasType(type_ServicePosition, X) => hasType(type_SkilledOccupation, X)))).

fof(axMid_level_ontology1147, axiom, 
 ( ! [X] : 
 (hasType(type_Serving, X) => hasType(type_Working, X)))).

fof(axMid_level_ontology1148, axiom, 
 ( ! [X] : 
 (hasType(type_SewageSystem, X) => hasType(type_Pipeline, X)))).

fof(axMid_level_ontology1149, axiom, 
 ( ! [X] : 
 (hasType(type_Sewing, X) => hasType(type_Attaching, X)))).

fof(axMid_level_ontology1150, axiom, 
 ( ! [X] : 
 (hasType(type_Sharing, X) => hasType(type_ChangeOfPossession, X)))).

fof(axMid_level_ontology1151, axiom, 
 ( ! [X] : 
 (hasType(type_Sheep, X) => hasType(type_DomesticAnimal, X)))).

fof(axMid_level_ontology1152, axiom, 
 ( ! [X] : 
 (hasType(type_Sheep, X) => hasType(type_HoofedMammal, X)))).

fof(axMid_level_ontology1153, axiom, 
 ( ! [X] : 
 (hasType(type_Shelf, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology1154, axiom, 
 ( ! [X] : 
 (hasType(type_Sheriff, X) => hasType(type_PoliceOfficer, X)))).

fof(axMid_level_ontology1155, axiom, 
 ( ! [X] : 
 (hasType(type_Shield, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology1156, axiom, 
 ( ! [X] : 
 (hasType(type_ShipCaptain, X) => hasType(type_Sailor, X)))).

fof(axMid_level_ontology1157, axiom, 
 ( ! [X] : 
 (hasType(type_ShipMate, X) => hasType(type_Sailor, X)))).

fof(axMid_level_ontology1158, axiom, 
 ( ! [X] : 
 (hasType(type_ShipOfficer, X) => hasType(type_Sailor, X)))).

fof(axMid_level_ontology1159, axiom, 
 ( ! [X] : 
 (hasType(type_Shipping, X) => hasType(type_Transportation, X)))).

fof(axMid_level_ontology1160, axiom, 
 ( ! [X] : 
 (hasType(type_Shirt, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology1161, axiom, 
 ( ! [X] : 
 (hasType(type_ShoeSole, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology1162, axiom, 
 ( ! [X] : 
 (hasType(type_Shoe, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology1163, axiom, 
 ( ! [X] : 
 (hasType(type_ShoppingMall, X) => hasType(type_MercantileOrganization, X)))).

fof(axMid_level_ontology1164, axiom, 
 ( ! [X] : 
 (hasType(type_ShortStory, X) => hasType(type_Article, X)))).

fof(axMid_level_ontology1165, axiom, 
 ( ! [X] : 
 (hasType(type_ShortStory, X) => hasType(type_FictionalText, X)))).

fof(axMid_level_ontology1166, axiom, 
 ( ! [X] : 
 (hasType(type_Shortening, X) => hasType(type_Decreasing, X)))).

fof(axMid_level_ontology1167, axiom, 
 ( ! [X] : 
 (hasType(type_ShotBall, X) => hasType(type_Ball, X)))).

fof(axMid_level_ontology1168, axiom, 
 ( ! [X] : 
 (hasType(type_Shoulder, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology1169, axiom, 
 ( ! [X] : 
 (hasType(type_Shoulder, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology1170, axiom, 
 ( ! [X] : 
 (hasType(type_Shrugging, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology1171, axiom, 
 ( ! [X] : 
 (hasType(type_Shrugging, X) => hasType(type_Gesture, X)))).

fof(axMid_level_ontology1172, axiom, 
 ( ! [X] : 
 (hasType(type_Sidewalk, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1173, axiom, 
 ( ! [X] : 
 (hasType(type_Signalling, X) => hasType(type_Guiding, X)))).

fof(axMid_level_ontology1174, axiom, 
 ( ! [X] : 
 (hasType(type_Silk, X) => hasType(type_Fabric, X)))).

fof(axMid_level_ontology1175, axiom, 
 ( ! [X] : 
 (hasType(type_Sinking, X) => hasType(type_Falling, X)))).

fof(axMid_level_ontology1176, axiom, 
 ( ! [X] : 
 (hasType(type_SittingDown, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology1177, axiom, 
 ( ! [X] : 
 (hasType(type_SittingDown, X) => hasType(type_MotionDownward, X)))).

fof(axMid_level_ontology1178, axiom, 
 ( ! [X] : 
 (hasType(type_Sketch, X) => hasType(type_ArtWork, X)))).

fof(axMid_level_ontology1179, axiom, 
 ( ! [X] : 
 (hasType(type_SkilledOccupation, X) => hasType(type_Position, X)))).

fof(axMid_level_ontology1180, axiom, 
 ( ! [X] : 
 (hasType(type_Skin, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology1181, axiom, 
 ( ! [X] : 
 (hasType(type_Skin, X) => hasType(type_BodyCovering, X)))).

fof(axMid_level_ontology1182, axiom, 
 ( ! [X] : 
 (hasType(type_Skull, X) => hasType(type_Bone, X)))).

fof(axMid_level_ontology1183, axiom, 
 ( ! [X] : 
 (hasType(type_Skylight, X) => hasType(type_Window, X)))).

fof(axMid_level_ontology1184, axiom, 
 ( ! [X] : 
 (hasType(type_Sleeve, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology1185, axiom, 
 ( ! [X] : 
 (hasType(type_Smiling, X) => hasType(type_FacialExpression, X)))).

fof(axMid_level_ontology1186, axiom, 
 ( ! [X] : 
 (hasType(type_SmokingDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1187, axiom, 
 ( ! [X] : 
 (hasType(type_SmokingPipe, X) => hasType(type_SmokingDevice, X)))).

fof(axMid_level_ontology1188, axiom, 
 ( ! [X] : 
 (hasType(type_Smoking, X) => hasType(type_RecreationOrExercise, X)))).

fof(axMid_level_ontology1189, axiom, 
 ( ! [X] : 
 (hasType(type_Smuggling, X) => hasType(type_CriminalAction, X)))).

fof(axMid_level_ontology1190, axiom, 
 ( ! [X] : 
 (hasType(type_Smuggling, X) => hasType(type_Transportation, X)))).

fof(axMid_level_ontology1191, axiom, 
 ( ! [X] : 
 (hasType(type_Snake, X) => hasType(type_Reptile, X)))).

fof(axMid_level_ontology1192, axiom, 
 ( ! [X] : 
 (hasType(type_SoberingUp, X) => hasType(type_PsychologicalProcess, X)))).

fof(axMid_level_ontology1193, axiom, 
 ( ! [X] : 
 (hasType(type_SocialParty, X) => hasType(type_Meeting, X)))).

fof(axMid_level_ontology1194, axiom, 
 ( ! [X] : 
 (hasType(type_SocialParty, X) => hasType(type_RecreationOrExercise, X)))).

fof(axMid_level_ontology1195, axiom, 
 ( ! [X] : 
 (hasType(type_SocialScience, X) => hasType(type_Science, X)))).

fof(axMid_level_ontology1196, axiom, 
 ( ! [X] : 
 (hasType(type_Sock, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology1197, axiom, 
 ( ! [X] : 
 (hasType(type_SodiumChloride, X) => hasType(type_ChemicalSalt, X)))).

fof(axMid_level_ontology1198, axiom, 
 ( ! [X] : 
 (hasType(type_Sofa, X) => hasType(type_Seat, X)))).

fof(axMid_level_ontology1199, axiom, 
 ( ! [X] : 
 (hasType(type_Soldering, X) => hasType(type_Attaching, X)))).

fof(axMid_level_ontology1200, axiom, 
 ( ! [X] : 
 (hasType(type_Soldier, X) => hasType(type_SkilledOccupation, X)))).

fof(axMid_level_ontology1201, axiom, 
 ( ! [X] : 
 (hasType(type_Somersaulting, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology1202, axiom, 
 ( ! [X] : 
 (hasType(type_Sonar, X) => hasType(type_CorpuscularObject, X)))).

fof(axMid_level_ontology1203, axiom, 
 ( ! [X] : 
 (hasType(type_Song, X) => hasType(type_MusicalComposition, X)))).

fof(axMid_level_ontology1204, axiom, 
 ( ! [X] : 
 (hasType(type_SoupStock, X) => hasType(type_PreparedFood, X)))).

fof(axMid_level_ontology1205, axiom, 
 ( ! [X] : 
 (hasType(type_SpaceRegion, X) => hasType(type_Region, X)))).

fof(axMid_level_ontology1206, axiom, 
 ( ! [X] : 
 (hasType(type_SpaceTransportation, X) => hasType(type_Transportation, X)))).

fof(axMid_level_ontology1207, axiom, 
 ( ! [X] : 
 (hasType(type_Spacecraft, X) => hasType(type_Vehicle, X)))).

fof(axMid_level_ontology1208, axiom, 
 ( ! [X] : 
 (hasType(type_Spear, X) => hasType(type_Weapon, X)))).

fof(axMid_level_ontology1209, axiom, 
 ( ! [X] : 
 (hasType(type_Sphere, X) => hasType(type_ThreeDimensionalFigure, X)))).

fof(axMid_level_ontology1210, axiom, 
 ( ! [X] : 
 (hasType(type_SpinalCord, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology1211, axiom, 
 ( ! [X] : 
 (hasType(type_Spitting, X) => hasType(type_Impelling, X)))).

fof(axMid_level_ontology1212, axiom, 
 ( ! [X] : 
 (hasType(type_Spleen, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology1213, axiom, 
 ( ! [X] : 
 (hasType(type_Spleen, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology1214, axiom, 
 ( ! [X] : 
 (hasType(type_SportServe, X) => hasType(type_GameShot, X)))).

fof(axMid_level_ontology1215, axiom, 
 ( ! [X] : 
 (hasType(type_SportsAttribute, X) => hasType(type_GameAttribute, X)))).

fof(axMid_level_ontology1216, axiom, 
 ( ! [X] : 
 (hasType(type_SportsFacility, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1217, axiom, 
 ( ! [X] : 
 (hasType(type_SportsGround, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1218, axiom, 
 ( ! [X] : 
 (hasType(type_SportsLeague, X) => hasType(type_Organization, X)))).

fof(axMid_level_ontology1219, axiom, 
 ( ! [X] : 
 (hasType(type_SportsPlay, X) => hasType(type_Plan, X)))).

fof(axMid_level_ontology1220, axiom, 
 ( ! [X] : 
 (hasType(type_SportsPosition, X) => hasType(type_SkilledOccupation, X)))).

fof(axMid_level_ontology1221, axiom, 
 ( ! [X] : 
 (hasType(type_SportsTeam, X) => hasType(type_GroupOfPeople, X)))).

fof(axMid_level_ontology1222, axiom, 
 ( ! [X] : 
 (hasType(type_Spraying, X) => hasType(type_LiquidMotion, X)))).

fof(axMid_level_ontology1223, axiom, 
 ( ! [X] : 
 (hasType(type_Spraying, X) => hasType(type_Transfer, X)))).

fof(axMid_level_ontology1224, axiom, 
 ( ! [X] : 
 (hasType(type_SpringSeason, X) => hasType(type_SeasonOfYear, X)))).

fof(axMid_level_ontology1225, axiom, 
 ( ! [X] : 
 (hasType(type_Square, X) => hasType(type_Rectangle, X)))).

fof(axMid_level_ontology1226, axiom, 
 ( ! [X] : 
 (hasType(type_Squirrel, X) => hasType(type_Rodent, X)))).

fof(axMid_level_ontology1227, axiom, 
 ( ! [X] : 
 (hasType(type_StageCoach, X) => hasType(type_Wagon, X)))).

fof(axMid_level_ontology1228, axiom, 
 ( ! [X] : 
 (hasType(type_Stairway, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1229, axiom, 
 ( ! [X] : 
 (hasType(type_StandingUp, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology1230, axiom, 
 ( ! [X] : 
 (hasType(type_StandingUp, X) => hasType(type_MotionUpward, X)))).

fof(axMid_level_ontology1231, axiom, 
 ( ! [X] : 
 (hasType(type_Starch, X) => hasType(type_Carbohydrate, X)))).

fof(axMid_level_ontology1232, axiom, 
 ( ! [X] : 
 (hasType(type_Starving, X) => hasType(type_Killing, X)))).

fof(axMid_level_ontology1233, axiom, 
 ( ! [X] : 
 (hasType(type_StateGovernment, X) => hasType(type_Government, X)))).

fof(axMid_level_ontology1234, axiom, 
 (! [Var_SENTENCE] : 
 (((hasType(type_Sentence, Var_SENTENCE)) & ( ( ? [Var_STATE] : 
 (hasType(type_Stating, Var_STATE) &  
(f_result(Var_STATE,Var_SENTENCE)))))) <=> (hasType(type_Statement, Var_SENTENCE))))).

fof(axMid_level_ontology1235, axiom, 
 ( ! [X] : 
 (hasType(type_Stealing, X) => hasType(type_CriminalAction, X)))).

fof(axMid_level_ontology1236, axiom, 
 ( ! [X] : 
 (hasType(type_Stealing, X) => hasType(type_UnilateralGetting, X)))).

fof(axMid_level_ontology1237, axiom, 
 ( ! [X] : 
 (hasType(type_SteamEngine, X) => hasType(type_Engine, X)))).

fof(axMid_level_ontology1238, axiom, 
 ( ! [X] : 
 (hasType(type_Steel, X) => hasType(type_MetallicAlloy, X)))).

fof(axMid_level_ontology1239, axiom, 
 ( ! [X] : 
 (hasType(type_Steeple, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1240, axiom, 
 ( ! [X] : 
 (hasType(type_SteeringWheel, X) => hasType(type_VehicleController, X)))).

fof(axMid_level_ontology1241, axiom, 
 ( ! [X] : 
 (hasType(type_Stepping, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology1242, axiom, 
 ( ! [X] : 
 (hasType(type_Steps, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1243, axiom, 
 ( ! [X] : 
 (hasType(type_Steroid, X) => hasType(type_BiologicallyActiveSubstance, X)))).

fof(axMid_level_ontology1244, axiom, 
 ( ! [X] : 
 (hasType(type_Steroid, X) => hasType(type_OrganicCompound, X)))).

fof(axMid_level_ontology1245, axiom, 
 ( ! [X] : 
 (hasType(type_Stimulant, X) => hasType(type_BiologicallyActiveSubstance, X)))).

fof(axMid_level_ontology1246, axiom, 
 ( ! [X] : 
 (hasType(type_Stirring, X) => hasType(type_Combining, X)))).

fof(axMid_level_ontology1247, axiom, 
 ( ! [X] : 
 (hasType(type_Stirring, X) => hasType(type_LiquidMotion, X)))).

fof(axMid_level_ontology1248, axiom, 
 ( ! [X] : 
 (hasType(type_Stomach, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology1249, axiom, 
 ( ! [X] : 
 (hasType(type_Stomach, X) => hasType(type_Organ, X)))).

fof(axMid_level_ontology1250, axiom, 
 ( ! [X] : 
 (hasType(type_Stoning, X) => hasType(type_ViolentContest, X)))).

fof(axMid_level_ontology1251, axiom, 
 ( ! [X] : 
 (hasType(type_Store, X) => hasType(type_Building, X)))).

fof(axMid_level_ontology1252, axiom, 
 ( ! [X] : 
 (hasType(type_StormFront, X) => hasType(type_AtmosphericRegion, X)))).

fof(axMid_level_ontology1253, axiom, 
 ( ! [X] : 
 (hasType(type_Stove, X) => hasType(type_HeatingDevice, X)))).

fof(axMid_level_ontology1254, axiom, 
 ( ! [X] : 
 (hasType(type_Strangling, X) => hasType(type_Grabbing, X)))).

fof(axMid_level_ontology1255, axiom, 
 ( ! [X] : 
 (hasType(type_Streetcar, X) => hasType(type_ElectrifiedRailwayCar, X)))).

fof(axMid_level_ontology1256, axiom, 
 ( ! [X] : 
 (hasType(type_Stretching, X) => hasType(type_Lengthening, X)))).

fof(axMid_level_ontology1257, axiom, 
 ( ! [X] : 
 (hasType(type_Stretching, X) => hasType(type_Motion, X)))).

fof(axMid_level_ontology1258, axiom, 
 ( ! [X] : 
 (hasType(type_StringInstrument, X) => hasType(type_MusicalInstrument, X)))).

fof(axMid_level_ontology1259, axiom, 
 ( ! [X] : 
 (hasType(type_String, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology1260, axiom, 
 ( ! [X] : 
 (hasType(type_Submarine, X) => hasType(type_WaterVehicle, X)))).

fof(axMid_level_ontology1261, axiom, 
 ( ! [X] : 
 (hasType(type_SubwaySystem, X) => hasType(type_RailTransportationSystem, X)))).

fof(axMid_level_ontology1262, axiom, 
 ( ! [X] : 
 (hasType(type_Subway, X) => hasType(type_Hole, X)))).

fof(axMid_level_ontology1263, axiom, 
 ( ! [X] : 
 (hasType(type_Suffocating, X) => hasType(type_Killing, X)))).

fof(axMid_level_ontology1264, axiom, 
 ( ! [X] : 
 (hasType(type_Sugar, X) => hasType(type_Carbohydrate, X)))).

fof(axMid_level_ontology1265, axiom, 
 ( ! [X] : 
 (hasType(type_SuicideBombing, X) => hasType(type_Bombing, X)))).

fof(axMid_level_ontology1266, axiom, 
 ( ! [X] : 
 (hasType(type_SuicideBombing, X) => hasType(type_Killing, X)))).

fof(axMid_level_ontology1267, axiom, 
 ( ! [X] : 
 (hasType(type_Suicide, X) => hasType(type_Killing, X)))).

fof(axMid_level_ontology1268, axiom, 
 ( ! [X] : 
 (hasType(type_SummerSeason, X) => hasType(type_SeasonOfYear, X)))).

fof(axMid_level_ontology1269, axiom, 
 ( ! [X] : 
 (hasType(type_Sunlight, X) => hasType(type_RadiatingLight, X)))).

fof(axMid_level_ontology1270, axiom, 
 ( ! [X] : 
 (hasType(type_Sunrise, X) => hasType(type_TimeInterval, X)))).

fof(axMid_level_ontology1271, axiom, 
 ( ! [X] : 
 (hasType(type_Sunset, X) => hasType(type_TimeInterval, X)))).

fof(axMid_level_ontology1272, axiom, 
 (! [Var_SENTENCE] : 
 (((hasType(type_Sentence, Var_SENTENCE)) & ( ( ? [Var_SUPPOSE] : 
 (hasType(type_Supposing, Var_SUPPOSE) &  
(f_result(Var_SUPPOSE,Var_SENTENCE)))))) <=> (hasType(type_Supposition, Var_SENTENCE))))).

fof(axMid_level_ontology1273, axiom, 
 ( ! [X] : 
 (hasType(type_Surfactant, X) => hasType(type_Substance, X)))).

fof(axMid_level_ontology1274, axiom, 
 ( ! [X] : 
 (hasType(type_Surgeon, X) => hasType(type_MedicalDoctor, X)))).

fof(axMid_level_ontology1275, axiom, 
 ( ! [X] : 
 (hasType(type_Sweat, X) => hasType(type_AnimalSubstance, X)))).

fof(axMid_level_ontology1276, axiom, 
 ( ! [X] : 
 (hasType(type_Sweeping, X) => hasType(type_Removing, X)))).

fof(axMid_level_ontology1277, axiom, 
 ( ! [X] : 
 (hasType(type_SwimmingPool, X) => hasType(type_FluidContainer, X)))).

fof(axMid_level_ontology1278, axiom, 
 ( ! [X] : 
 (hasType(type_SwimmingPool, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1279, axiom, 
 ( ! [X] : 
 (hasType(type_SwitchDevice, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology1280, axiom, 
 ( ! [X] : 
 (hasType(type_Sword, X) => hasType(type_Weapon, X)))).

fof(axMid_level_ontology1281, axiom, 
 ( ! [X] : 
 (hasType(type_Syllable, X) => hasType(type_SymbolicString, X)))).

fof(axMid_level_ontology1282, axiom, 
 ( ! [X] : 
 (hasType(type_Table, X) => hasType(type_Furniture, X)))).

fof(axMid_level_ontology1283, axiom, 
 ( ! [X] : 
 (hasType(type_Tableware, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1284, axiom, 
 ( ! [X] : 
 (hasType(type_Tail, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology1285, axiom, 
 ( ! [X] : 
 (hasType(type_Taillight, X) => hasType(type_VehicleLight, X)))).

fof(axMid_level_ontology1286, axiom, 
 ( ! [X] : 
 (hasType(type_TakingIll, X) => hasType(type_PathologicProcess, X)))).

fof(axMid_level_ontology1287, axiom, 
 ( ! [X] : 
 (hasType(type_TakingOff, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology1288, axiom, 
 ( ! [X] : 
 (hasType(type_Tape, X) => hasType(type_AttachingDevice, X)))).

fof(axMid_level_ontology1289, axiom, 
 ( ! [X] : 
 (hasType(type_Tavern, X) => hasType(type_Restaurant, X)))).

fof(axMid_level_ontology1290, axiom, 
 ( ! [X] : 
 (hasType(type_TaxReturn, X) => hasType(type_FormText, X)))).

fof(axMid_level_ontology1291, axiom, 
 ( ! [X] : 
 (hasType(type_Taxicab, X) => hasType(type_Automobile, X)))).

fof(axMid_level_ontology1292, axiom, 
 ( ! [X] : 
 (hasType(type_Taxonomy, X) => hasType(type_ClassificationScheme, X)))).

fof(axMid_level_ontology1293, axiom, 
 ( ! [X] : 
 (hasType(type_Tea, X) => hasType(type_Beverage, X)))).

fof(axMid_level_ontology1294, axiom, 
 ( ! [X] : 
 (hasType(type_Tea, X) => hasType(type_PreparedFood, X)))).

fof(axMid_level_ontology1295, axiom, 
 ( ! [X] : 
 (hasType(type_TeamSport, X) => hasType(type_Sport, X)))).

fof(axMid_level_ontology1296, axiom, 
 ( ! [X] : 
 (hasType(type_TearSubstance, X) => hasType(type_LiquidBodySubstance, X)))).

fof(axMid_level_ontology1297, axiom, 
 ( ! [X] : 
 (hasType(type_TearSubstance, X) => hasType(type_SalineSolution, X)))).

fof(axMid_level_ontology1298, axiom, 
 ( ! [X] : 
 (hasType(type_Teenager, X) => hasType(type_HumanYouth, X)))).

fof(axMid_level_ontology1299, axiom, 
 ( ! [X] : 
 (hasType(type_Telegraph, X) => hasType(type_CommunicationDevice, X)))).

fof(axMid_level_ontology1300, axiom, 
 ( ! [X] : 
 (hasType(type_Telegraph, X) => hasType(type_ElectricDevice, X)))).

fof(axMid_level_ontology1301, axiom, 
 ( ! [X] : 
 (hasType(type_TelephoneLine, X) => hasType(type_WireLine, X)))).

fof(axMid_level_ontology1302, axiom, 
 ( ! [X] : 
 (hasType(type_Telephone, X) => hasType(type_CommunicationDevice, X)))).

fof(axMid_level_ontology1303, axiom, 
 ( ! [X] : 
 (hasType(type_Telephone, X) => hasType(type_ElectricDevice, X)))).

fof(axMid_level_ontology1304, axiom, 
 ( ! [X] : 
 (hasType(type_Telephoning, X) => hasType(type_Speaking, X)))).

fof(axMid_level_ontology1305, axiom, 
 ( ! [X] : 
 (hasType(type_TelevisionBroadcasting, X) => hasType(type_Broadcasting, X)))).

fof(axMid_level_ontology1306, axiom, 
 ( ! [X] : 
 (hasType(type_TelevisionReceiver, X) => hasType(type_ReceiverDevice, X)))).

fof(axMid_level_ontology1307, axiom, 
 ( ! [X] : 
 (hasType(type_TellingALie, X) => hasType(type_Stating, X)))).

fof(axMid_level_ontology1308, axiom, 
 ( ! [X] : 
 (hasType(type_Tendon, X) => hasType(type_AnimalSubstance, X)))).

fof(axMid_level_ontology1309, axiom, 
 ( ! [X] : 
 (hasType(type_Tendon, X) => hasType(type_Tissue, X)))).

fof(axMid_level_ontology1310, axiom, 
 ( ! [X] : 
 (hasType(type_Tent, X) => hasType(type_MobileResidence, X)))).

fof(axMid_level_ontology1311, axiom, 
 ( ! [X] : 
 (hasType(type_TerroristOrganization, X) => hasType(type_PoliticalOrganization, X)))).

fof(axMid_level_ontology1312, axiom, 
 ( ! [X] : 
 (hasType(type_TestForm, X) => hasType(type_FormText, X)))).

fof(axMid_level_ontology1313, axiom, 
 ( ! [X] : 
 (hasType(type_TestForm, X) => hasType(type_MeasuringDevice, X)))).

fof(axMid_level_ontology1314, axiom, 
 ( ! [X] : 
 (hasType(type_Testament, X) => hasType(type_Certificate, X)))).

fof(axMid_level_ontology1315, axiom, 
 ( ! [X] : 
 (hasType(type_Testifying, X) => hasType(type_Stating, X)))).

fof(axMid_level_ontology1316, axiom, 
 ( ! [X] : 
 (hasType(type_Thanking, X) => hasType(type_ExpressingApproval, X)))).

fof(axMid_level_ontology1317, axiom, 
 ( ! [X] : 
 (hasType(type_TheaterProfession, X) => hasType(type_EntertainmentProfession, X)))).

fof(axMid_level_ontology1318, axiom, 
 ( ! [X] : 
 (hasType(type_Thermometer, X) => hasType(type_MeasuringDevice, X)))).

fof(axMid_level_ontology1319, axiom, 
 ( ! [X] : 
 (hasType(type_Threatening, X) => hasType(type_Committing, X)))).

fof(axMid_level_ontology1320, axiom, 
 ( ! [X] : 
 (hasType(type_Throat, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology1321, axiom, 
 ( ! [X] : 
 (hasType(type_Throat, X) => hasType(type_BodyVessel, X)))).

fof(axMid_level_ontology1322, axiom, 
 ( ! [X] : 
 (hasType(type_Throwing, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology1323, axiom, 
 ( ! [X] : 
 (hasType(type_Throwing, X) => hasType(type_Impelling, X)))).

fof(axMid_level_ontology1324, axiom, 
 ( ! [X] : 
 (hasType(type_Thumb, X) => hasType(type_Finger, X)))).

fof(axMid_level_ontology1325, axiom, 
 ( ! [X] : 
 (hasType(type_Thunder, X) => hasType(type_RadiatingSound, X)))).

fof(axMid_level_ontology1326, axiom, 
 ( ! [X] : 
 (hasType(type_Thunder, X) => hasType(type_WeatherProcess, X)))).

fof(axMid_level_ontology1327, axiom, 
 ( ! [X] : 
 (hasType(type_ThyroidGland, X) => hasType(type_Gland, X)))).

fof(axMid_level_ontology1328, axiom, 
 ( ! [X] : 
 (hasType(type_ThyroidHormone, X) => hasType(type_Hormone, X)))).

fof(axMid_level_ontology1329, axiom, 
 ( ! [X] : 
 (hasType(type_Ticket, X) => hasType(type_Certificate, X)))).

fof(axMid_level_ontology1330, axiom, 
 ( ! [X] : 
 (hasType(type_TieClothing, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology1331, axiom, 
 ( ! [X] : 
 (hasType(type_Tilling, X) => hasType(type_Digging, X)))).

fof(axMid_level_ontology1332, axiom, 
 ( ! [X] : 
 (hasType(type_Tilling, X) => hasType(type_IntentionalProcess, X)))).

fof(axMid_level_ontology1333, axiom, 
 ( ! [X] : 
 (hasType(type_Tilling, X) => hasType(type_SurfaceChange, X)))).

fof(axMid_level_ontology1334, axiom, 
 ( ! [X] : 
 (hasType(type_Toad, X) => hasType(type_Amphibian, X)))).

fof(axMid_level_ontology1335, axiom, 
 ( ! [X] : 
 (hasType(type_Tobacco, X) => hasType(type_FloweringPlant, X)))).

fof(axMid_level_ontology1336, axiom, 
 ( ! [X] : 
 (hasType(type_Toe, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology1337, axiom, 
 ( ! [X] : 
 (hasType(type_Toe, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology1338, axiom, 
 ( ! [X] : 
 (hasType(type_Toe, X) => hasType(type_DigitAppendage, X)))).

fof(axMid_level_ontology1339, axiom, 
 ( ! [X] : 
 (hasType(type_Toilet, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1340, axiom, 
 ( ! [X] : 
 (hasType(type_Tomb, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1341, axiom, 
 ( ! [X] : 
 (hasType(type_TonalLanguage, X) => hasType(type_SpokenHumanLanguage, X)))).

fof(axMid_level_ontology1342, axiom, 
 ( ! [X] : 
 (hasType(type_Tongue, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology1343, axiom, 
 ( ! [X] : 
 (hasType(type_Tongue, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology1344, axiom, 
 ( ! [X] : 
 (hasType(type_Tooth, X) => hasType(type_Bone, X)))).

fof(axMid_level_ontology1345, axiom, 
 ( ! [X] : 
 (hasType(type_Toothbrush, X) => hasType(type_BrushOrComb, X)))).

fof(axMid_level_ontology1346, axiom, 
 ( ! [X] : 
 (hasType(type_Torso, X) => hasType(type_AnimalAnatomicalStructure, X)))).

fof(axMid_level_ontology1347, axiom, 
 ( ! [X] : 
 (hasType(type_Torso, X) => hasType(type_BodyPart, X)))).

fof(axMid_level_ontology1348, axiom, 
 ( ! [X] : 
 (hasType(type_TouristSite, X) => hasType(type_GeographicArea, X)))).

fof(axMid_level_ontology1349, axiom, 
 ( ! [X] : 
 (hasType(type_Towel, X) => hasType(type_Fabric, X)))).

fof(axMid_level_ontology1350, axiom, 
 ( ! [X] : 
 (hasType(type_Tracing, X) => hasType(type_ContentDevelopment, X)))).

fof(axMid_level_ontology1351, axiom, 
 ( ! [X] : 
 (hasType(type_Tracing, X) => hasType(type_SurfaceChange, X)))).

fof(axMid_level_ontology1352, axiom, 
 ( ! [X] : 
 (hasType(type_TractorTrailer, X) => hasType(type_RoadVehicle, X)))).

fof(axMid_level_ontology1353, axiom, 
 ( ! [X] : 
 (hasType(type_TransferringPosition, X) => hasType(type_OrganizationalProcess, X)))).

fof(axMid_level_ontology1354, axiom, 
 ( ! [X] : 
 (hasType(type_TransportViaRoadVehicle, X) => hasType(type_LandTransportation, X)))).

fof(axMid_level_ontology1355, axiom, 
 (! [Var_TRANSPORT] : 
 (((hasType(type_Transportation, Var_TRANSPORT)) & ( ( ? [Var_VEHICLE] : 
 (hasType(type_RoadVehicle, Var_VEHICLE) &  
(f_instrument(Var_TRANSPORT,Var_VEHICLE)))))) <=> (hasType(type_TransportViaRoadVehicle, Var_TRANSPORT))))).

fof(axMid_level_ontology1356, axiom, 
 ( ! [X] : 
 (hasType(type_TransportationCompany, X) => hasType(type_CommercialAgent, X)))).

fof(axMid_level_ontology1357, axiom, 
 ( ! [X] : 
 (hasType(type_TrapOrCage, X) => hasType(type_Holder, X)))).

fof(axMid_level_ontology1358, axiom, 
 ( ! [X] : 
 (hasType(type_TravelContainer, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology1359, axiom, 
 ( ! [X] : 
 (hasType(type_Tray, X) => hasType(type_Holder, X)))).

fof(axMid_level_ontology1360, axiom, 
 ( ! [X] : 
 (hasType(type_Treasurer, X) => hasType(type_SkilledOccupation, X)))).

fof(axMid_level_ontology1361, axiom, 
 ( ! [X] : 
 (hasType(type_TreeBranch, X) => hasType(type_PlantBranch, X)))).

fof(axMid_level_ontology1362, axiom, 
 ( ! [X] : 
 (hasType(type_Trembling, X) => hasType(type_AutonomicProcess, X)))).

fof(axMid_level_ontology1363, axiom, 
 ( ! [X] : 
 (hasType(type_Trembling, X) => hasType(type_BodyMotion, X)))).

fof(axMid_level_ontology1364, axiom, 
 ( ! [X] : 
 (hasType(type_Trembling, X) => hasType(type_Tremor, X)))).

fof(axMid_level_ontology1365, axiom, 
 ( ! [X] : 
 (hasType(type_Tremor, X) => hasType(type_Rotating, X)))).

fof(axMid_level_ontology1366, axiom, 
 ( ! [X] : 
 (hasType(type_Trespassing, X) => hasType(type_CriminalAction, X)))).

fof(axMid_level_ontology1367, axiom, 
 ( ! [X] : 
 (hasType(type_Trespassing, X) => hasType(type_Translocation, X)))).

fof(axMid_level_ontology1368, axiom, 
 ( ! [X] : 
 (hasType(type_Triangle, X) => hasType(type_Polygon, X)))).

fof(axMid_level_ontology1369, axiom, 
 ( ! [X] : 
 (hasType(type_Trousers, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology1370, axiom, 
 ( ! [X] : 
 (hasType(type_TruckTractor, X) => hasType(type_Truck, X)))).

fof(axMid_level_ontology1371, axiom, 
 ( ! [X] : 
 (hasType(type_TruckTrailer, X) => hasType(type_Wagon, X)))).

fof(axMid_level_ontology1372, axiom, 
 ( ! [X] : 
 (hasType(type_Truck, X) => hasType(type_CargoVehicle, X)))).

fof(axMid_level_ontology1373, axiom, 
 ( ! [X] : 
 (hasType(type_Truck, X) => hasType(type_SelfPoweredRoadVehicle, X)))).

fof(axMid_level_ontology1374, axiom, 
 ( ! [X] : 
 (hasType(type_Tube, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology1375, axiom, 
 ( ! [X] : 
 (hasType(type_Tumor, X) => hasType(type_AbnormalAnatomicalStructure, X)))).

fof(axMid_level_ontology1376, axiom, 
 ( ! [X] : 
 (hasType(type_Turbine, X) => hasType(type_Engine, X)))).

fof(axMid_level_ontology1377, axiom, 
 ( ! [X] : 
 (hasType(type_TurningOffDevice, X) => hasType(type_InternalChange, X)))).

fof(axMid_level_ontology1378, axiom, 
 ( ! [X] : 
 (hasType(type_TurningOnDevice, X) => hasType(type_InternalChange, X)))).

fof(axMid_level_ontology1379, axiom, 
 ( ! [X] : 
 (hasType(type_TwoDimensionalObject, X) => hasType(type_Object, X)))).

fof(axMid_level_ontology1380, axiom, 
 ( ! [X] : 
 (hasType(type_Tying, X) => hasType(type_Attaching, X)))).

fof(axMid_level_ontology1381, axiom, 
 ( ! [X] : 
 (hasType(type_UnionOrganization, X) => hasType(type_Organization, X)))).

fof(axMid_level_ontology1382, axiom, 
 ( ! [X] : 
 (hasType(type_UnionSoldier, X) => hasType(type_Soldier, X)))).

fof(axMid_level_ontology1383, axiom, 
 ( ! [X] : 
 (hasType(type_University, X) => hasType(type_PostSecondarySchool, X)))).

fof(axMid_level_ontology1384, axiom, 
 ( ! [X] : 
 (hasType(type_UnskilledOccupation, X) => hasType(type_ManualLabor, X)))).

fof(axMid_level_ontology1385, axiom, 
 ( ! [X] : 
 (hasType(type_Untying, X) => hasType(type_Detaching, X)))).

fof(axMid_level_ontology1386, axiom, 
 ( ! [X] : 
 (hasType(type_Urea, X) => hasType(type_OrganicCompound, X)))).

fof(axMid_level_ontology1387, axiom, 
 ( ! [X] : 
 (hasType(type_Vacationing, X) => hasType(type_RecreationOrExercise, X)))).

fof(axMid_level_ontology1388, axiom, 
 ( ! [X] : 
 (hasType(type_Vandalism, X) => hasType(type_Destruction, X)))).

fof(axMid_level_ontology1389, axiom, 
 ( ! [X] : 
 (hasType(type_VehicleAttack, X) => hasType(type_ViolentContest, X)))).

fof(axMid_level_ontology1390, axiom, 
 ( ! [X] : 
 (hasType(type_VehicleBrake, X) => hasType(type_VehicleController, X)))).

fof(axMid_level_ontology1391, axiom, 
 ( ! [X] : 
 (hasType(type_VehicleController, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1392, axiom, 
 ( ! [X] : 
 (hasType(type_VehicleLight, X) => hasType(type_LightFixture, X)))).

fof(axMid_level_ontology1393, axiom, 
 ( ! [X] : 
 (hasType(type_VehicleThrottle, X) => hasType(type_VehicleController, X)))).

fof(axMid_level_ontology1394, axiom, 
 ( ! [X] : 
 (hasType(type_VehicleTire, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology1395, axiom, 
 ( ! [X] : 
 (hasType(type_VehicleWheel, X) => hasType(type_Wheel, X)))).

fof(axMid_level_ontology1396, axiom, 
 ( ! [X] : 
 (hasType(type_VehicleWindow, X) => hasType(type_Window, X)))).

fof(axMid_level_ontology1397, axiom, 
 ( ! [X] : 
 (hasType(type_Veil, X) => hasType(type_Clothing, X)))).

fof(axMid_level_ontology1398, axiom, 
 ( ! [X] : 
 (hasType(type_Vein, X) => hasType(type_BloodVessel, X)))).

fof(axMid_level_ontology1399, axiom, 
 ( ! [X] : 
 (hasType(type_VendingDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1400, axiom, 
 ( ! [X] : 
 (hasType(type_VideoRecording, X) => hasType(type_ContentBearingObject, X)))).

fof(axMid_level_ontology1401, axiom, 
 ( ! [X] : 
 (hasType(type_Violin, X) => hasType(type_StringInstrument, X)))).

fof(axMid_level_ontology1402, axiom, 
 ( ! [X] : 
 (hasType(type_ViralDisease, X) => hasType(type_InfectiousDisease, X)))).

fof(axMid_level_ontology1403, axiom, 
 ( ! [X] : 
 (hasType(type_VocalMusic, X) => hasType(type_Music, X)))).

fof(axMid_level_ontology1404, axiom, 
 ( ! [X] : 
 (hasType(type_VocationalSchool, X) => hasType(type_School, X)))).

fof(axMid_level_ontology1405, axiom, 
 ( ! [X] : 
 (hasType(type_VotingPoll, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1406, axiom, 
 ( ! [X] : 
 (hasType(type_Vowel, X) => hasType(type_AlphabeticCharacter, X)))).

fof(axMid_level_ontology1407, axiom, 
 ( ! [X] : 
 (hasType(type_Vulture, X) => hasType(type_Bird, X)))).

fof(axMid_level_ontology1408, axiom, 
 ( ! [X] : 
 (hasType(type_Wading, X) => hasType(type_Walking, X)))).

fof(axMid_level_ontology1409, axiom, 
 ( ! [X] : 
 (hasType(type_Wagon, X) => hasType(type_LandVehicle, X)))).

fof(axMid_level_ontology1410, axiom, 
 ( ! [X] : 
 (hasType(type_WakingUp, X) => hasType(type_PsychologicalProcess, X)))).

fof(axMid_level_ontology1411, axiom, 
 ( ! [X] : 
 (hasType(type_WalkingCane, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1412, axiom, 
 ( ! [X] : 
 (hasType(type_Wall, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1413, axiom, 
 ( ! [X] : 
 (hasType(type_Wallpaper, X) => hasType(type_ArtWork, X)))).

fof(axMid_level_ontology1414, axiom, 
 ( ! [X] : 
 (hasType(type_Warehouse, X) => hasType(type_CommercialBuilding, X)))).

fof(axMid_level_ontology1415, axiom, 
 ( ! [X] : 
 (hasType(type_WashBasin, X) => hasType(type_WashingDevice, X)))).

fof(axMid_level_ontology1416, axiom, 
 ( ! [X] : 
 (hasType(type_WashingDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1417, axiom, 
 ( ! [X] : 
 (hasType(type_Washing, X) => hasType(type_Removing, X)))).

fof(axMid_level_ontology1418, axiom, 
 ( ! [X] : 
 (hasType(type_Wastebasket, X) => hasType(type_Container, X)))).

fof(axMid_level_ontology1419, axiom, 
 (! [Var_C] : 
 (((hasType(type_Clock, Var_C)) & ( ( ? [Var_P] : 
 (hasType(type_Human, Var_P) &  
(( ? [Var_W] : 
 (hasType(type_Wrist, Var_W) &  
(((f_wears(Var_P,Var_C)) & (f_located(Var_C,Var_W))))))))))) <=> (hasType(type_WatchClock, Var_C))))).

fof(axMid_level_ontology1420, axiom, 
 ( ! [X] : 
 (hasType(type_WaterTransportation, X) => hasType(type_Transportation, X)))).

fof(axMid_level_ontology1421, axiom, 
 ( ! [X] : 
 (hasType(type_WaterWave, X) => hasType(type_LiquidMotion, X)))).

fof(axMid_level_ontology1422, axiom, 
 ( ! [X] : 
 (hasType(type_WatercolorPaint, X) => hasType(type_Paint, X)))).

fof(axMid_level_ontology1423, axiom, 
 ( ! [X] : 
 (hasType(type_WatercolorPicture, X) => hasType(type_PaintedPicture, X)))).

fof(axMid_level_ontology1424, axiom, 
 ( ! [X] : 
 (hasType(type_Waving, X) => hasType(type_HandGesture, X)))).

fof(axMid_level_ontology1425, axiom, 
 ( ! [X] : 
 (hasType(type_Wax, X) => hasType(type_Substance, X)))).

fof(axMid_level_ontology1426, axiom, 
 ( ! [X] : 
 (hasType(type_WeaponOfMassDestruction, X) => hasType(type_Weapon, X)))).

fof(axMid_level_ontology1427, axiom, 
 ( ! [X] : 
 (hasType(type_Weekend, X) => hasType(type_TimeInterval, X)))).

fof(axMid_level_ontology1428, axiom, 
 ( ! [X] : 
 (hasType(type_Weeping, X) => hasType(type_FacialExpression, X)))).

fof(axMid_level_ontology1429, axiom, 
 ( ! [X] : 
 (hasType(type_Welfare, X) => hasType(type_Funding, X)))).

fof(axMid_level_ontology1430, axiom, 
 ( ! [X] : 
 (hasType(type_WheatGrain, X) => hasType(type_CerealGrain, X)))).

fof(axMid_level_ontology1431, axiom, 
 ( ! [X] : 
 (hasType(type_Wheel, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology1432, axiom, 
 ( ! [X] : 
 (hasType(type_Whip, X) => hasType(type_Weapon, X)))).

fof(axMid_level_ontology1433, axiom, 
 ( ! [X] : 
 (hasType(type_Whiskey, X) => hasType(type_DistilledAlcoholicBeverage, X)))).

fof(axMid_level_ontology1434, axiom, 
 ( ! [X] : 
 (hasType(type_WhiteBloodCell, X) => hasType(type_BloodCell, X)))).

fof(axMid_level_ontology1435, axiom, 
 ( ! [X] : 
 (hasType(type_WholesaleStore, X) => hasType(type_Agency, X)))).

fof(axMid_level_ontology1436, axiom, 
 ( ! [X] : 
 (hasType(type_WholesaleStore, X) => hasType(type_MercantileOrganization, X)))).

fof(axMid_level_ontology1437, axiom, 
 ( ! [X] : 
 (hasType(type_WillowTree, X) => hasType(type_BotanicalTree, X)))).

fof(axMid_level_ontology1438, axiom, 
 ( ! [X] : 
 (hasType(type_WindInstrument, X) => hasType(type_MusicalInstrument, X)))).

fof(axMid_level_ontology1439, axiom, 
 ( ! [X] : 
 (hasType(type_Windmill, X) => hasType(type_Engine, X)))).

fof(axMid_level_ontology1440, axiom, 
 ( ! [X] : 
 (hasType(type_WindowCovering, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology1441, axiom, 
 ( ! [X] : 
 (hasType(type_Window, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology1442, axiom, 
 ( ! [X] : 
 (hasType(type_Windshield, X) => hasType(type_VehicleWindow, X)))).

fof(axMid_level_ontology1443, axiom, 
 ( ! [X] : 
 (hasType(type_Wine, X) => hasType(type_AlcoholicBeverage, X)))).

fof(axMid_level_ontology1444, axiom, 
 ( ! [X] : 
 (hasType(type_WingDevice, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology1445, axiom, 
 ( ! [X] : 
 (hasType(type_Wing, X) => hasType(type_Limb, X)))).

fof(axMid_level_ontology1446, axiom, 
 ( ! [X] : 
 (hasType(type_Winking, X) => hasType(type_ClosingEyes, X)))).

fof(axMid_level_ontology1447, axiom, 
 ( ! [X] : 
 (hasType(type_Winking, X) => hasType(type_Gesture, X)))).

fof(axMid_level_ontology1448, axiom, 
 ( ! [X] : 
 (hasType(type_WinterSeason, X) => hasType(type_SeasonOfYear, X)))).

fof(axMid_level_ontology1449, axiom, 
 ( ! [X] : 
 (hasType(type_WireLine, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology1450, axiom, 
 ( ! [X] : 
 (hasType(type_WireLine, X) => hasType(type_Wire, X)))).

fof(axMid_level_ontology1451, axiom, 
 ( ! [X] : 
 (hasType(type_WireSpring, X) => hasType(type_EngineeringComponent, X)))).

fof(axMid_level_ontology1452, axiom, 
 ( ! [X] : 
 (hasType(type_WireSpring, X) => hasType(type_Wire, X)))).

fof(axMid_level_ontology1453, axiom, 
 ( ! [X] : 
 (hasType(type_Wire, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology1454, axiom, 
 ( ! [X] : 
 (hasType(type_WoodArtifact, X) => hasType(type_Artifact, X)))).

fof(axMid_level_ontology1455, axiom, 
 ( ! [X] : 
 (hasType(type_Wood, X) => hasType(type_PlantSubstance, X)))).

fof(axMid_level_ontology1456, axiom, 
 ( ! [X] : 
 (hasType(type_Wood, X) => hasType(type_Tissue, X)))).

fof(axMid_level_ontology1457, axiom, 
 ( ! [X] : 
 (hasType(type_Wool, X) => hasType(type_Fabric, X)))).

fof(axMid_level_ontology1458, axiom, 
 ( ! [X] : 
 (hasType(type_WorkerInsect, X) => hasType(type_Insect, X)))).

fof(axMid_level_ontology1459, axiom, 
 ( ! [X] : 
 (hasType(type_Working, X) => hasType(type_FinancialTransaction, X)))).

fof(axMid_level_ontology1460, axiom, 
 ( ! [X] : 
 (hasType(type_Workshop, X) => hasType(type_StationaryArtifact, X)))).

fof(axMid_level_ontology1461, axiom, 
 ( ! [X] : 
 (hasType(type_Wrist, X) => hasType(type_BodyJoint, X)))).

fof(axMid_level_ontology1462, axiom, 
 ( ! [X] : 
 (hasType(type_WritingDevice, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1463, axiom, 
 ( ! [X] : 
 (hasType(type_WrittenCommunication, X) => hasType(type_LinguisticCommunication, X)))).

fof(axMid_level_ontology1464, axiom, 
 ( ! [X] : 
 (hasType(type_XRayRadiation, X) => hasType(type_Radiating, X)))).

fof(axMid_level_ontology1465, axiom, 
 ( ! [X] : 
 (hasType(type_LegislativeOrganization, X) => hasType(type_Organization, X)))).

fof(axMid_level_ontology1466, axiom, 
 ( ! [X] : 
 (hasType(type_MilitaryGeneral, X) => hasType(type_MilitaryOfficer, X)))).

fof(axMid_level_ontology1467, axiom, 
 ( ! [X] : 
 (hasType(type_DairyProduct, X) => hasType(type_AnimalAgriculturalProduct, X)))).

fof(axMid_level_ontology1468, axiom, 
 ( ! [X] : 
 (hasType(type_PoliticalParty, X) => hasType(type_PoliticalOrganization, X)))).

fof(axMid_level_ontology1469, axiom, 
 ( ! [X] : 
 (hasType(type_BodyOfWater, X) => hasType(type_SelfConnectedObject, X)))).

fof(axMid_level_ontology1470, axiom, 
 ( ! [X] : 
 (hasType(type_AnimalAgriculturalProduct, X) => hasType(type_AgriculturalProduct, X)))).

fof(axMid_level_ontology1471, axiom, 
 ( ! [X] : 
 (hasType(type_Livestock, X) => hasType(type_AnimalAgriculturalProduct, X)))).

fof(axMid_level_ontology1472, axiom, 
 ( ! [X] : 
 (hasType(type_Livestock, X) => hasType(type_DomesticAnimal, X)))).

fof(axMid_level_ontology1473, axiom, 
 ( ! [X] : 
 (hasType(type_Tax, X) => hasType(type_ChargingAFee, X)))).

fof(axMid_level_ontology1474, axiom, 
 ( ! [X] : 
 (hasType(type_ChargingAFee, X) => hasType(type_FinancialTransaction, X)))).

fof(axMid_level_ontology1475, axiom, 
 ( ! [X] : 
 (hasType(type_GeneralElection, X) => hasType(type_Election, X)))).

fof(axMid_level_ontology1476, axiom, 
 ( ! [X] : 
 (hasType(type_Transducer, X) => hasType(type_Device, X)))).

fof(axMid_level_ontology1477, axiom, 
 ( ! [X] : 
 (hasType(type_RefinedPetroleumProduct, X) => hasType(type_PetroleumProduct, X)))).

fof(axMid_level_ontology1478, axiom, 
 ( ! [X] : 
 (hasType(type_GroceryProduce, X) => hasType(type_FruitOrVegetable, X)))).

fof(axMid_level_ontology1479, axiom, 
 ( ! [X] : 
 (hasType(type_GroceryProduce, X) => hasType(type_PlantAgriculturalProduct, X)))).

fof(axMid_level_ontology1480, axiom, 
 ( ! [X] : 
 (hasType(type_PlantAgriculturalProduct, X) => hasType(type_AgriculturalProduct, X)))).

fof(axMid_level_ontology1481, axiom, 
 ( ! [X] : 
 (hasType(type_Rock, X) => hasType(type_Substance, X)))).

fof(axMid_level_ontology1482, axiom, 
 ( ! [X] : 
 (hasType(type_PoliceOfficer, X) => hasType(type_Profession, X)))).

fof(axMid_level_ontology1483, axiom, 
 ( ! [X] : 
 (hasType(type_PoliceOfficer, X) => hasType(type_GovernmentOfficer, X)))).

fof(axMid_level_ontology1484, axiom, 
 ( ! [X] : 
 (hasType(type_Ship, X) => hasType(type_DisplacementHullWaterVehicle, X)))).

fof(axMid_level_ontology1485, axiom, 
 ( ! [X] : 
 (hasType(type_DisplacementHullWaterVehicle, X) => hasType(type_WaterVehicle, X)))).

fof(axMid_level_ontology1486, axiom, 
 ( ! [X] : 
 (hasType(type_WaterVehicle, X) => hasType(type_Vehicle, X)))).

fof(axMid_level_ontology1487, axiom, 
 ( ! [X] : 
 (hasType(type_PoweredVehicle, X) => hasType(type_Vehicle, X)))).

fof(axMid_level_ontology1488, axiom, 
 ( ! [X] : 
 (hasType(type_RollingStock, X) => hasType(type_RailVehicle, X)))).

fof(axMid_level_ontology1489, axiom, 
 ( ! [X] : 
 (hasType(type_RailVehicle, X) => hasType(type_LandVehicle, X)))).

fof(axMid_level_ontology1490, axiom, 
 ( ! [X] : 
 (hasType(type_MiningProduct, X) => hasType(type_Product, X)))).

fof(axMid_level_ontology1491, axiom, 
 ( ! [X] : 
 (hasType(type_TransitSystem, X) => hasType(type_PhysicalSystem, X)))).

fof(axMid_level_ontology1492, axiom, 
 ( ! [X] : 
 (hasType(type_Pipeline, X) => hasType(type_Transitway, X)))).

fof(axMid_level_ontology1493, axiom, 
 ( ! [X] : 
 (hasType(type_ElectrifiedRailwayCar, X) => hasType(type_ElectricDevice, X)))).

fof(axMid_level_ontology1494, axiom, 
 ( ! [X] : 
 (hasType(type_ElectrifiedRailwayCar, X) => hasType(type_PoweredVehicle, X)))).

fof(axMid_level_ontology1495, axiom, 
 ( ! [X] : 
 (hasType(type_ElectrifiedRailwayCar, X) => hasType(type_RollingStock, X)))).

fof(axMid_level_ontology1496, axiom, 
 ( ! [X] : 
 (hasType(type_RailTransportationSystem, X) => hasType(type_TransitSystem, X)))).

fof(axMid_level_ontology1497, axiom, 
 ( ! [X] : 
 (hasType(type_CargoVehicle, X) => hasType(type_Vehicle, X)))).

fof(axMid_level_ontology1498, axiom, 
 ( ! [X] : 
 (hasType(type_BotanicalTree, X) => hasType(type_FloweringPlant, X)))).

fof(axMid_level_ontology1499, axiom, 
 ( ! [X] : 
 (hasType(type_Stock, X) => hasType(type_FinancialInstrument, X)))).

fof(axMid_level_ontology1500, axiom, 
 ( ! [X] : 
 (hasType(type_Stock, X) => hasType(type_Investment, X)))).

fof(axMid_level_ontology1501, axiom, 
 ( ! [X] : 
 (hasType(type_Investment, X) => hasType(type_FinancialAsset, X)))).

fof(axMid_level_ontology1502, axiom, 
 (hasType(type_Profession, inst_Accountant))).

fof(axMid_level_ontology1503, axiom, 
 (hasType(type_UnitOfArea, inst_Acre))).

fof(axMid_level_ontology1504, axiom, 
 (hasType(type_SocialScience, inst_Anthropology))).

fof(axMid_level_ontology1505, axiom, 
 (hasType(type_BeliefGroup, inst_Antisemitism))).

fof(axMid_level_ontology1506, axiom, 
 (hasType(type_FieldOfStudy, inst_Architecture))).

fof(axMid_level_ontology1507, axiom, 
 (hasType(type_SkilledOccupation, inst_Banker))).

fof(axMid_level_ontology1508, axiom, 
 (hasType(type_TimeInterval, inst_BeforeCommonEra))).

fof(axMid_level_ontology1509, axiom, 
 (hasType(type_Science, inst_Biology))).

fof(axMid_level_ontology1510, axiom, 
 (hasType(type_BiologicalAttribute, inst_Blind))).

fof(axMid_level_ontology1511, axiom, 
 (hasType(type_SecondaryColor, inst_Brown))).

fof(axMid_level_ontology1512, axiom, 
 (hasType(type_OccupationalRole, inst_BusinessPerson))).

fof(axMid_level_ontology1513, axiom, 
 (hasType(type_DiseaseOrSyndrome, inst_Cancer))).

fof(axMid_level_ontology1514, axiom, 
 (hasType(type_OccupationalTrade, inst_Carpenter))).

fof(axMid_level_ontology1515, axiom, 
 (hasType(type_UnitOfDuration, inst_CenturyDuration))).

fof(axMid_level_ontology1516, axiom, 
 (hasType(type_InternalAttribute, inst_ChemicalEquilibrium))).

fof(axMid_level_ontology1517, axiom, 
 (hasType(type_Science, inst_Chemistry))).

fof(axMid_level_ontology1518, axiom, 
 (hasType(type_SkilledOccupation, inst_ClericalSecretary))).

fof(axMid_level_ontology1519, axiom, 
 (hasType(type_SkilledOccupation, inst_Coach))).

fof(axMid_level_ontology1520, axiom, 
 (hasType(type_CollegeStudentPosition, inst_CollegeFreshman))).

fof(axMid_level_ontology1521, axiom, 
 (hasType(type_CollegeStudentPosition, inst_CollegeJunior))).

fof(axMid_level_ontology1522, axiom, 
 (hasType(type_CollegeStudentPosition, inst_CollegeSenior))).

fof(axMid_level_ontology1523, axiom, 
 (hasType(type_CollegeStudentPosition, inst_CollegeSophomore))).

fof(axMid_level_ontology1524, axiom, 
 (hasType(type_EntertainmentProfession, inst_Comedian))).

fof(axMid_level_ontology1525, axiom, 
 (hasType(type_TimeInterval, inst_CommonEra))).

fof(axMid_level_ontology1526, axiom, 
 (hasType(type_GeopoliticalArea, inst_ConfederateStatesOfAmerica))).

fof(axMid_level_ontology1527, axiom, 
 (hasType(type_RelationalAttribute, inst_ContainerEmpty))).

fof(axMid_level_ontology1528, axiom, 
 (hasType(type_RelationalAttribute, inst_ContainerFull))).

fof(axMid_level_ontology1529, axiom, 
 (hasType(type_GovernmentOfficer, inst_Coroner))).

fof(axMid_level_ontology1530, axiom, 
 (hasType(type_BiologicalAttribute, inst_Deaf))).

fof(axMid_level_ontology1531, axiom, 
 (hasType(type_UnitOfDuration, inst_DecadeDuration))).

fof(axMid_level_ontology1532, axiom, 
 (hasType(type_PoliticalParty, inst_DemocraticParty))).

fof(axMid_level_ontology1533, axiom, 
 (hasType(type_Profession, inst_Dentist))).

fof(axMid_level_ontology1534, axiom, 
 (hasType(type_DiseaseOrSyndrome, inst_Diarrhea))).

fof(axMid_level_ontology1535, axiom, 
 (hasType(type_OccupationalRole, inst_Diplomat))).

fof(axMid_level_ontology1536, axiom, 
 (hasType(type_PositionalAttribute, inst_Downstairs))).

fof(axMid_level_ontology1537, axiom, 
 (hasType(type_ConsciousnessAttribute, inst_Drugged))).

fof(axMid_level_ontology1538, axiom, 
 (hasType(type_SocialScience, inst_Economics))).

fof(axMid_level_ontology1539, axiom, 
 (hasType(type_FieldOfStudy, inst_Electronics))).

fof(axMid_level_ontology1540, axiom, 
 (hasType(type_DiseaseOrSyndrome, inst_Emphysema))).

fof(axMid_level_ontology1541, axiom, 
 (hasType(type_Science, inst_Engineering))).

fof(axMid_level_ontology1542, axiom, 
 (hasType(type_OccupationalTrade, inst_FarmHand))).

fof(axMid_level_ontology1543, axiom, 
 (hasType(type_DiseaseOrSyndrome, inst_Fever))).

fof(axMid_level_ontology1544, axiom, 
 (hasType(type_FieldOfStudy, inst_FieldOfLaw))).

fof(axMid_level_ontology1545, axiom, 
 (hasType(type_BodyPosition, inst_Fist))).

fof(axMid_level_ontology1546, axiom, 
 (hasType(type_ShapeAttribute, inst_Flat))).

fof(axMid_level_ontology1547, axiom, 
 (hasType(type_SportsAttribute, inst_Foul))).

fof(axMid_level_ontology1548, axiom, 
 (hasType(type_BreakabilityAttribute, inst_Fragile))).

fof(axMid_level_ontology1549, axiom, 
 (hasType(type_DeviceAttribute, inst_Functioning))).

fof(axMid_level_ontology1550, axiom, 
 (hasType(type_DiseaseOrSyndrome, inst_Goiter))).

fof(axMid_level_ontology1551, axiom, 
 (hasType(type_OccupationalRole, inst_GovernmentPerson))).

fof(axMid_level_ontology1552, axiom, 
 (hasType(type_Position, inst_Governor))).

fof(axMid_level_ontology1553, axiom, 
 (hasType(type_SecondaryColor, inst_GrayColor))).

fof(axMid_level_ontology1554, axiom, 
 (hasType(type_SecondaryColor, inst_Green))).

fof(axMid_level_ontology1555, axiom, 
 (hasType(type_BodyPosition, inst_Handstand))).

fof(axMid_level_ontology1556, axiom, 
 (hasType(type_EmotionalState, inst_Happiness))).

fof(axMid_level_ontology1557, axiom, 
 (hasType(type_FieldOfStudy, inst_History))).

fof(axMid_level_ontology1558, axiom, 
 (hasType(type_SocialRole, inst_HumanSlave))).

fof(axMid_level_ontology1559, axiom, 
 (hasType(type_BiologicalAttribute, inst_Hungry))).

fof(axMid_level_ontology1560, axiom, 
 (hasType(type_Region, inst_Indoors))).

fof(axMid_level_ontology1561, axiom, 
 (hasType(type_PositionalAttribute, inst_Inside))).

fof(axMid_level_ontology1562, axiom, 
 (hasType(type_FieldOfStudy, inst_InteriorDesign))).

fof(axMid_level_ontology1563, axiom, 
 (hasType(type_BodyPosition, inst_Kneeling))).

fof(axMid_level_ontology1564, axiom, 
 (hasType(type_SocialRole, inst_Knight))).

fof(axMid_level_ontology1565, axiom, 
 (hasType(type_DeonticAttribute, inst_LegislativeBill))).

fof(axMid_level_ontology1566, axiom, 
 (hasType(type_ShapeAttribute, inst_LevelShape))).

fof(axMid_level_ontology1567, axiom, 
 (hasType(type_Position, inst_LieutenantGovernor))).

fof(axMid_level_ontology1568, axiom, 
 (hasType(type_ShapeAttribute, inst_LineFormation))).

fof(axMid_level_ontology1569, axiom, 
 (hasType(type_SocialScience, inst_Linguistics))).

fof(axMid_level_ontology1570, axiom, 
 (hasType(type_UnitOfVolume, inst_LiquorShot))).

fof(axMid_level_ontology1571, axiom, 
 (hasType(type_TraitAttribute, inst_LiteracyAttribute))).

fof(axMid_level_ontology1572, axiom, 
 (hasType(type_FieldOfStudy, inst_Literature))).

fof(axMid_level_ontology1573, axiom, 
 (hasType(type_ShapeAttribute, inst_LongAndThin))).

fof(axMid_level_ontology1574, axiom, 
 (hasType(type_ContestAttribute, inst_Lost))).

fof(axMid_level_ontology1575, axiom, 
 (hasType(type_DeviceAttribute, inst_Malfunctioning))).

fof(axMid_level_ontology1576, axiom, 
 (hasType(type_FieldOfStudy, inst_Mathematics))).

fof(axMid_level_ontology1577, axiom, 
 (hasType(type_Position, inst_Mayor))).

fof(axMid_level_ontology1578, axiom, 
 (hasType(type_Science, inst_MedicalScience))).

fof(axMid_level_ontology1579, axiom, 
 (hasType(type_UnitOfMass, inst_MetricTon))).

fof(axMid_level_ontology1580, axiom, 
 (hasType(type_SocialRole, inst_Militant))).

fof(axMid_level_ontology1581, axiom, 
 (hasType(type_OccupationalRole, inst_MilitaryPerson))).

fof(axMid_level_ontology1582, axiom, 
 (hasType(type_FieldOfStudy, inst_MilitaryScience))).

fof(axMid_level_ontology1583, axiom, 
 (hasType(type_UnitOfDuration, inst_MillenniumDuration))).

fof(axMid_level_ontology1584, axiom, 
 (hasType(type_SocialRole, inst_Musician))).

fof(axMid_level_ontology1585, axiom, 
 (hasType(type_PoliticalParty, inst_NaziParty))).

fof(axMid_level_ontology1586, axiom, 
 (hasType(type_Profession, inst_NewsReporter))).

fof(axMid_level_ontology1587, axiom, 
 (hasType(type_SecondaryColor, inst_OrangeColor))).

fof(axMid_level_ontology1588, axiom, 
 (hasType(type_Region, inst_Outdoors))).

fof(axMid_level_ontology1589, axiom, 
 (hasType(type_PositionalAttribute, inst_Outside))).

fof(axMid_level_ontology1590, axiom, 
 (hasType(type_UnitOfInformation, inst_Page))).

fof(axMid_level_ontology1591, axiom, 
 (hasType(type_FieldOfStudy, inst_Philosophy))).

fof(axMid_level_ontology1592, axiom, 
 (hasType(type_Science, inst_Physics))).

fof(axMid_level_ontology1593, axiom, 
 (hasType(type_Science, inst_Physiology))).

fof(axMid_level_ontology1594, axiom, 
 (hasType(type_SecondaryColor, inst_Pink))).

fof(axMid_level_ontology1595, axiom, 
 (hasType(type_OccupationalTrade, inst_Plumber))).

fof(axMid_level_ontology1596, axiom, 
 (hasType(type_OccupationalRole, inst_PolicePerson))).

fof(axMid_level_ontology1597, axiom, 
 (hasType(type_SocialScience, inst_PoliticalScience))).

fof(axMid_level_ontology1598, axiom, 
 (hasType(type_Position, inst_Pope))).

fof(axMid_level_ontology1599, axiom, 
 (hasType(type_OccupationalTrade, inst_Potter))).

fof(axMid_level_ontology1600, axiom, 
 (hasType(type_BiologicalAttribute, inst_Pregnant))).

fof(axMid_level_ontology1601, axiom, 
 (hasType(type_Position, inst_PresidentOfTheUnitedStates))).

fof(axMid_level_ontology1602, axiom, 
 (hasType(type_Profession, inst_PrivateDetective))).

fof(axMid_level_ontology1603, axiom, 
 (hasType(type_SocialScience, inst_Psychology))).

fof(axMid_level_ontology1604, axiom, 
 (hasType(type_SecondaryColor, inst_Purple))).

fof(axMid_level_ontology1605, axiom, 
 (hasType(type_PoliticalParty, inst_RepublicanParty))).

fof(axMid_level_ontology1606, axiom, 
 (hasType(type_ThreeDimensionalFigure, inst_RoundShape))).

fof(axMid_level_ontology1607, axiom, 
 (hasType(type_GovernmentSecretary, inst_SecretaryOfTheInterior))).

fof(axMid_level_ontology1608, axiom, 
 (hasType(type_GovernmentSecretary, inst_SecretaryOfTheTreasury))).

fof(axMid_level_ontology1609, axiom, 
 (hasType(type_ConsciousnessAttribute, inst_Sober))).

fof(axMid_level_ontology1610, axiom, 
 (hasType(type_BodyPosition, inst_Splitting))).

fof(axMid_level_ontology1611, axiom, 
 (hasType(type_SportsAttribute, inst_SportsOut))).

fof(axMid_level_ontology1612, axiom, 
 (hasType(type_UnitOfArea, inst_SquareMile))).

fof(axMid_level_ontology1613, axiom, 
 (hasType(type_UnitOfArea, inst_SquareYard))).

fof(axMid_level_ontology1614, axiom, 
 (hasType(type_OccupationalRole, inst_StoreOwner))).

fof(axMid_level_ontology1615, axiom, 
 (hasType(type_SoundAttribute, inst_Stressed))).

fof(axMid_level_ontology1616, axiom, 
 (hasType(type_SocialRole, inst_Student))).

fof(axMid_level_ontology1617, axiom, 
 (hasType(type_EmotionalState, inst_Surprise))).

fof(axMid_level_ontology1618, axiom, 
 (hasType(type_ShapeAttribute, inst_SymmetricShape))).

fof(axMid_level_ontology1619, axiom, 
 (hasType(type_Profession, inst_Teacher))).

fof(axMid_level_ontology1620, axiom, 
 (hasType(type_FieldOfStudy, inst_Theology))).

fof(axMid_level_ontology1621, axiom, 
 (hasType(type_ContestAttribute, inst_TieScore))).

fof(axMid_level_ontology1622, axiom, 
 (hasType(type_UnitOfMass, inst_TonMass))).

fof(axMid_level_ontology1623, axiom, 
 (hasType(type_SocialRole, inst_Tourist))).

fof(axMid_level_ontology1624, axiom, 
 (hasType(type_InternalAttribute, inst_Transparent))).

fof(axMid_level_ontology1625, axiom, 
 (hasType(type_BacterialDisease, inst_Tuberculosis))).

fof(axMid_level_ontology1626, axiom, 
 (hasType(type_BreakabilityAttribute, inst_Unbreakable))).

fof(axMid_level_ontology1627, axiom, 
 (hasType(type_EmotionalState, inst_Unhappiness))).

fof(axMid_level_ontology1628, axiom, 
 (hasType(type_GeopoliticalArea, inst_UnionStatesOfAmerica))).

fof(axMid_level_ontology1629, axiom, 
 (hasType(type_LegislativeOrganization, inst_UnitedStatesCongress))).

fof(axMid_level_ontology1630, axiom, 
 (hasType(type_GovernmentOrganization, inst_UnitedStatesDepartmentOfInterior))).

fof(axMid_level_ontology1631, axiom, 
 (hasType(type_GovernmentOrganization, inst_UnitedStatesDepartmentOfState))).

fof(axMid_level_ontology1632, axiom, 
 (hasType(type_PositionalAttribute, inst_Upstairs))).

fof(axMid_level_ontology1633, axiom, 
 (hasType(type_SocialRole, inst_Veteran))).

fof(axMid_level_ontology1634, axiom, 
 (hasType(type_SocialRole, inst_Widowed))).

fof(axMid_level_ontology1635, axiom, 
 (hasType(type_ContestAttribute, inst_Won))).

fof(axMid_level_ontology1636, axiom, 
 (hasType(type_UnitOfLength, inst_YardLength))).

fof(axMid_level_ontology1637, axiom, 
 (hasType(type_DeviceStateAttribute, inst_DeviceClosed) & hasType(type_RelationalAttribute, inst_DeviceClosed))).

fof(axMid_level_ontology1638, axiom, 
 (hasType(type_DeviceStateAttribute, inst_DeviceOff) & hasType(type_InternalAttribute, inst_DeviceOff))).

fof(axMid_level_ontology1639, axiom, 
 (hasType(type_DeviceStateAttribute, inst_DeviceOn) & hasType(type_InternalAttribute, inst_DeviceOn))).

fof(axMid_level_ontology1640, axiom, 
 (hasType(type_DeviceStateAttribute, inst_DeviceOpen) & hasType(type_RelationalAttribute, inst_DeviceOpen))).

fof(axMid_level_ontology1641, axiom, 
 (hasType(type_SpokenHumanLanguage, inst_FrenchLanguage) & hasType(type_NaturalLanguage, inst_FrenchLanguage))).

fof(axMid_level_ontology1642, axiom, 
 (hasType(type_SpokenHumanLanguage, inst_GermanLanguage) & hasType(type_NaturalLanguage, inst_GermanLanguage))).

fof(axMid_level_ontology1643, axiom, 
 (hasType(type_SpokenHumanLanguage, inst_GreekLanguage) & hasType(type_NaturalLanguage, inst_GreekLanguage))).

fof(axMid_level_ontology1644, axiom, 
 (hasType(type_SpokenHumanLanguage, inst_LatinLanguage) & hasType(type_NaturalLanguage, inst_LatinLanguage))).

fof(axMid_level_ontology1645, axiom, 
 (hasType(type_SpokenHumanLanguage, inst_RussianLanguage) & hasType(type_NaturalLanguage, inst_RussianLanguage))).

fof(axMid_level_ontology1646, axiom, 
 (hasType(type_SpokenHumanLanguage, inst_SpanishLanguage) & hasType(type_NaturalLanguage, inst_SpanishLanguage))).

fof(axMid_level_ontology1647, axiom, 
 (hasType(type_ConsciousnessAttribute, inst_Drunk))).

fof(axMid_level_ontology1648, axiom, 
 (hasType(type_DeonticAttribute, inst_InternationalLaw))).

fof(axMid_level_ontology1649, axiom, 
 (hasType(type_DeonticAttribute, inst_Illegal))).

fof(axMid_level_ontology1650, axiom, 
 (hasType(type_DeonticAttribute, inst_Legal))).

fof(axMid_level_ontology1651, axiom, 
 (hasType(type_DeonticAttribute, inst_MarriageContract))).

fof(axMid_level_ontology1652, axiom, 
 (hasType(type_DeonticAttribute, inst_Treaty))).

fof(axMid_level_ontology1653, axiom, 
 (hasType(type_EmotionalState, inst_Satisfaction))).

fof(axMid_level_ontology1654, axiom, 
 (hasType(type_EmotionalState, inst_Tranquility))).

fof(axMid_level_ontology1655, axiom, 
 (hasType(type_EmotionalState, inst_Excitement))).

fof(axMid_level_ontology1656, axiom, 
 (hasType(type_EmotionalState, inst_Anxiety))).

fof(axMid_level_ontology1657, axiom, 
 (hasType(type_EmotionalState, inst_Anger))).

fof(axMid_level_ontology1658, axiom, 
 (hasType(type_EmotionalState, inst_Pain))).

fof(axMid_level_ontology1659, axiom, 
 (hasType(type_EmotionalState, inst_Headache))).

fof(axMid_level_ontology1660, axiom, 
 (hasType(type_DevelopmentalAttribute, inst_Puberty))).

fof(axMid_level_ontology1661, axiom, 
 (hasType(type_BodyPosition, inst_Squatting))).

fof(axMid_level_ontology1662, axiom, 
 (hasType(type_SocialRole, inst_Retired))).

fof(axMid_level_ontology1663, axiom, 
 (hasType(type_SocialRole, inst_Housewife))).

fof(axMid_level_ontology1664, axiom, 
 (hasType(type_PoliceOfficer, inst_Deputy))).

fof(axMid_level_ontology1665, axiom, 
 (hasType(type_PoliceOfficer, inst_PoliceDetective))).

fof(axMid_level_ontology1666, axiom, 
 (hasType(type_Profession, inst_AttorneyGeneral) & hasType(type_GovernmentOfficer, inst_AttorneyGeneral))).

fof(axMid_level_ontology1667, axiom, 
 (hasType(type_Profession, inst_Professor))).

fof(axMid_level_ontology1668, axiom, 
 (hasType(type_Journalist, inst_ArtCritic))).

fof(axMid_level_ontology1669, axiom, 
 (hasType(type_Civilian, inst_Dissident) & hasType(type_SocialRole, inst_Dissident))).

