QoSOntologyAx.p

fof(axQoSOntology0, axiom, 
 ( ! [X] : 
 (hasType(type_Abort, X) => hasType(type_ComputerProcess, X)))).

fof(axQoSOntology1, axiom, 
 ( ! [X] : 
 (hasType(type_AbstractionLevelAttribute, X) => hasType(type_TimingRequirementAttribute, X)))).

fof(axQoSOntology2, axiom, 
 ( ! [X] : 
 (hasType(type_Assessment_DesignPattern, X) => hasType(type_DesignPatternAttribute, X)))).

fof(axQoSOntology3, axiom, 
 ( ! [X] : 
 (hasType(type_AutomaticApplication, X) => hasType(type_ComputerProgram, X)))).

fof(axQoSOntology4, axiom, 
 ( ! [X] : 
 (hasType(type_BerkeleySoftwareDistribution, X) => hasType(type_OperatingSystem, X)))).

fof(axQoSOntology5, axiom, 
 ( ! [X] : 
 (hasType(type_BusNetwork, X) => hasType(type_LAN, X)))).

fof(axQoSOntology6, axiom, 
 ( ! [X] : 
 (hasType(type_CPU, X) => hasType(type_ComputerComponent, X)))).

fof(axQoSOntology7, axiom, 
 ( ! [X] : 
 (hasType(type_CPU, X) => hasType(type_ComputerHardware, X)))).

fof(axQoSOntology8, axiom, 
 ( ! [X] : 
 (hasType(type_ComplexityAttribute, X) => hasType(type_TimingRequirementAttribute, X)))).

fof(axQoSOntology9, axiom, 
 ( ! [X] : 
 (hasType(type_ComputationalSystem, X) => hasType(type_Product, X)))).

fof(axQoSOntology10, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerComponent, X) => hasType(type_ComputerHardware, X)))).

fof(axQoSOntology11, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerData, X) => hasType(type_ContentBearingObject, X)))).

fof(axQoSOntology12, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerDirectory, X) => hasType(type_ComputerFile, X)))).

fof(axQoSOntology13, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerFile, X) => hasType(type_ComputerData, X)))).

fof(axQoSOntology14, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerHardware, X) => hasType(type_EngineeringComponent, X)))).

fof(axQoSOntology15, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerInputDevice, X) => hasType(type_ComputerHardware, X)))).

fof(axQoSOntology16, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerMemory, X) => hasType(type_ComputerComponent, X)))).

fof(axQoSOntology17, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerMemory, X) => hasType(type_ComputerHardware, X)))).

fof(axQoSOntology18, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerNetwork, X) => hasType(type_ComputationalSystem, X)))).

fof(axQoSOntology19, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerNetwork, X) => hasType(type_RealtimeSystem, X)))).

fof(axQoSOntology20, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerOutputDevice, X) => hasType(type_ComputerHardware, X)))).

fof(axQoSOntology21, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerPassword, X) => hasType(type_SymbolicString, X)))).

fof(axQoSOntology22, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerPathAttribute, X) => hasType(type_SoftwareAttribute, X)))).

fof(axQoSOntology23, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerPath, X) => hasType(type_ComputerData, X)))).

fof(axQoSOntology24, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerProcess, X) => hasType(type_InternalChange, X)))).

fof(axQoSOntology25, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerReport, X) => hasType(type_ComputerData, X)))).

fof(axQoSOntology26, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerResource, X) => hasType(type_ComputationalSystem, X)))).

fof(axQoSOntology27, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerResponse, X) => hasType(type_ComputerProcess, X)))).

fof(axQoSOntology28, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerStatus, X) => hasType(type_RelationalAttribute, X)))).

fof(axQoSOntology29, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerTask, X) => hasType(type_ComputerProcess, X)))).

fof(axQoSOntology30, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerTerminal, X) => hasType(type_ComputerOutputDevice, X)))).

fof(axQoSOntology31, axiom, 
 ( ! [X] : 
 (hasType(type_ComputerUser, X) => hasType(type_CognitiveAgent, X)))).

fof(axQoSOntology32, axiom, 
 ( ! [X] : 
 (hasType(type_Computer, X) => hasType(type_ElectricDevice, X)))).

fof(axQoSOntology33, axiom, 
 ( ! [X] : 
 (hasType(type_Concurrency_FormOfAdaptation, X) => hasType(type_FormOfAdaptationAttribute, X)))).

fof(axQoSOntology34, axiom, 
 ( ! [X] : 
 (hasType(type_ConsoleApplication, X) => hasType(type_ComputerProgram, X)))).

fof(axQoSOntology35, axiom, 
 ( ! [X] : 
 (hasType(type_ContinuousPath, X) => hasType(type_ComputerPathAttribute, X)))).

fof(axQoSOntology36, axiom, 
 ( ! [X] : 
 (hasType(type_DataCompression, X) => hasType(type_ComputerProcess, X)))).

fof(axQoSOntology37, axiom, 
 ( ! [X] : 
 (hasType(type_DataSaving, X) => hasType(type_ComputerProcess, X)))).

fof(axQoSOntology38, axiom, 
 ( ! [X] : 
 (hasType(type_DataSink, X) => hasType(type_ComputerInputDevice, X)))).

fof(axQoSOntology39, axiom, 
 ( ! [X] : 
 (hasType(type_DataTransfer, X) => hasType(type_ComputerProcess, X)))).

fof(axQoSOntology40, axiom, 
 ( ! [X] : 
 (hasType(type_Database, X) => hasType(type_ComputerData, X)))).

fof(axQoSOntology41, axiom, 
 ( ! [X] : 
 (hasType(type_DesignPatternAttribute, X) => hasType(type_RealtimeSystemAttribute, X)))).

fof(axQoSOntology42, axiom, 
 ( ! [X] : 
 (hasType(type_DeterministicDataStream, X) => hasType(type_ComputerPathAttribute, X)))).

fof(axQoSOntology43, axiom, 
 ( ! [X] : 
 (hasType(type_DynamicDataStream, X) => hasType(type_ComputerPathAttribute, X)))).

fof(axQoSOntology44, axiom, 
 ( ! [X] : 
 (hasType(type_EnvironmentSoftwareAttribute, X) => hasType(type_RelationalAttribute, X)))).

fof(axQoSOntology45, axiom, 
 ( ! [X] : 
 (hasType(type_Epoch, X) => hasType(type_TimePoint, X)))).

fof(axQoSOntology46, axiom, 
 ( ! [X] : 
 (hasType(type_Feedback, X) => hasType(type_ContentBearingObject, X)))).

fof(axQoSOntology47, axiom, 
 ( ! [X] : 
 (hasType(type_Firm_Strictness, X) => hasType(type_StrictnessAttribute, X)))).

fof(axQoSOntology48, axiom, 
 ( ! [X] : 
 (hasType(type_FormOfAdaptationAttribute, X) => hasType(type_RealtimeSystemAttribute, X)))).

fof(axQoSOntology49, axiom, 
 ( ! [X] : 
 (hasType(type_Guidance_DesignPattern, X) => hasType(type_DesignPatternAttribute, X)))).

fof(axQoSOntology50, axiom, 
 ( ! [X] : 
 (hasType(type_HardDiskDrive, X) => hasType(type_ComputerComponent, X)))).

fof(axQoSOntology51, axiom, 
 ( ! [X] : 
 (hasType(type_HardDiskDrive, X) => hasType(type_ComputerHardware, X)))).

fof(axQoSOntology52, axiom, 
 ( ! [X] : 
 (hasType(type_Hard_Strictness, X) => hasType(type_StrictnessAttribute, X)))).

fof(axQoSOntology53, axiom, 
 ( ! [X] : 
 (hasType(type_HardwareSystem, X) => hasType(type_ComputationalSystem, X)))).

fof(axQoSOntology54, axiom, 
 ( ! [X] : 
 (hasType(type_HardwareSystem, X) => hasType(type_ComputerHardware, X)))).

fof(axQoSOntology55, axiom, 
 ( ! [X] : 
 (hasType(type_HardwareSystem, X) => hasType(type_RealtimeSystem, X)))).

fof(axQoSOntology56, axiom, 
 ( ! [X] : 
 (hasType(type_Hybrid_Strictness, X) => hasType(type_StrictnessAttribute, X)))).

fof(axQoSOntology57, axiom, 
 ( ! [X] : 
 (hasType(type_Hybrid_SystemBehavior, X) => hasType(type_SystemBehaviorAttribute, X)))).

fof(axQoSOntology58, axiom, 
 ( ! [X] : 
 (hasType(type_IPAddress, X) => hasType(type_PhysicalAddress, X)))).

fof(axQoSOntology59, axiom, 
 ( ! [X] : 
 (hasType(type_ImageFile, X) => hasType(type_ComputerData, X)))).

fof(axQoSOntology60, axiom, 
 ( ! [X] : 
 (hasType(type_Importance_Strictness, X) => hasType(type_StrictnessAttribute, X)))).

fof(axQoSOntology61, axiom, 
 ( ! [X] : 
 (hasType(type_Independent_TaskRelation, X) => hasType(type_TaskRelationAttribute, X)))).

fof(axQoSOntology62, axiom, 
 ( ! [X] : 
 (hasType(type_Initiation_DesignPattern, X) => hasType(type_DesignPatternAttribute, X)))).

fof(axQoSOntology63, axiom, 
 ( ! [X] : 
 (hasType(type_Instrument_AbstractionLevel, X) => hasType(type_AbstractionLevelAttribute, X)))).

fof(axQoSOntology64, axiom, 
 ( ! [X] : 
 (hasType(type_LAN, X) => hasType(type_ComputerNetwork, X)))).

fof(axQoSOntology65, axiom, 
 ( ! [X] : 
 (hasType(type_MeasuringPerformance, X) => hasType(type_ComputerProcess, X)))).

fof(axQoSOntology66, axiom, 
 ( ! [X] : 
 (hasType(type_Method_AbstractionLevel, X) => hasType(type_AbstractionLevelAttribute, X)))).

fof(axQoSOntology67, axiom, 
 ( ! [X] : 
 (hasType(type_MonitorApplicationCmd, X) => hasType(type_MonitoringProgram, X)))).

fof(axQoSOntology68, axiom, 
 ( ! [X] : 
 (hasType(type_MonitorComponentCmd, X) => hasType(type_MonitoringProgram, X)))).

fof(axQoSOntology69, axiom, 
 ( ! [X] : 
 (hasType(type_MonitorConnectivityCmd, X) => hasType(type_MonitoringProgram, X)))).

fof(axQoSOntology70, axiom, 
 ( ! [X] : 
 (hasType(type_MonitoringProgram, X) => hasType(type_ComputerProgram, X)))).

fof(axQoSOntology71, axiom, 
 ( ! [X] : 
 (hasType(type_MultipleRequirement_Complexity, X) => hasType(type_ComplexityAttribute, X)))).

fof(axQoSOntology72, axiom, 
 ( ! [X] : 
 (hasType(type_Multitasking, X) => hasType(type_ComputerProcess, X)))).

fof(axQoSOntology73, axiom, 
 ( ! [X] : 
 (hasType(type_NetworkAdapter, X) => hasType(type_ComputerComponent, X)))).

fof(axQoSOntology74, axiom, 
 ( ! [X] : 
 (hasType(type_NetworkResource, X) => hasType(type_ComputerResource, X)))).

fof(axQoSOntology75, axiom, 
 ( ! [X] : 
 (hasType(type_Object_AbstractionLevel, X) => hasType(type_AbstractionLevelAttribute, X)))).

fof(axQoSOntology76, axiom, 
 ( ! [X] : 
 (hasType(type_OperatingSystem, X) => hasType(type_SoftwareSystem, X)))).

fof(axQoSOntology77, axiom, 
 ( ! [X] : 
 (hasType(type_Optimization, X) => hasType(type_ProcessTask, X)))).

fof(axQoSOntology78, axiom, 
 ( ! [X] : 
 (hasType(type_Packet, X) => hasType(type_ComputerData, X)))).

fof(axQoSOntology79, axiom, 
 ( ! [X] : 
 (hasType(type_Periodic_SystemBehavior, X) => hasType(type_SystemBehaviorAttribute, X)))).

fof(axQoSOntology80, axiom, 
 ( ! [X] : 
 (hasType(type_PhysicalAddress, X) => hasType(type_SymbolicString, X)))).

fof(axQoSOntology81, axiom, 
 ( ! [X] : 
 (hasType(type_Precision_FormOfAdaptation, X) => hasType(type_FormOfAdaptationAttribute, X)))).

fof(axQoSOntology82, axiom, 
 ( ! [X] : 
 (hasType(type_Printer, X) => hasType(type_ComputerOutputDevice, X)))).

fof(axQoSOntology83, axiom, 
 ( ! [X] : 
 (hasType(type_PriorityAttribute, X) => hasType(type_RelationalAttribute, X)))).

fof(axQoSOntology84, axiom, 
 ( ! [X] : 
 (hasType(type_ProcessState, X) => hasType(type_ContentBearingObject, X)))).

fof(axQoSOntology85, axiom, 
 ( ! [X] : 
 (hasType(type_ProcessStatus, X) => hasType(type_RelationalAttribute, X)))).

fof(axQoSOntology86, axiom, 
 ( ! [X] : 
 (hasType(type_ProcessTask, X) => hasType(type_Abstract, X)))).

fof(axQoSOntology87, axiom, 
 ( ! [X] : 
 (hasType(type_QuasicontinuousPath, X) => hasType(type_ComputerPathAttribute, X)))).

fof(axQoSOntology88, axiom, 
 ( ! [X] : 
 (hasType(type_RM_StartApplication, X) => hasType(type_ComputerProgram, X)))).

fof(axQoSOntology89, axiom, 
 ( ! [X] : 
 (hasType(type_RealtimeSystemAttribute, X) => hasType(type_RelationalAttribute, X)))).

fof(axQoSOntology90, axiom, 
 ( ! [X] : 
 (hasType(type_RealtimeSystem, X) => hasType(type_ComputationalSystem, X)))).

fof(axQoSOntology91, axiom, 
 ( ! [X] : 
 (hasType(type_ResourceAllocation_FormOfAdaptation, X) => hasType(type_FormOfAdaptationAttribute, X)))).

fof(axQoSOntology92, axiom, 
 ( ! [X] : 
 (hasType(type_ResourceManagementProgram, X) => hasType(type_ComputerProgram, X)))).

fof(axQoSOntology93, axiom, 
 ( ! [X] : 
 (hasType(type_ReusingAResource, X) => hasType(type_ComputerProcess, X)))).

fof(axQoSOntology94, axiom, 
 ( ! [X] : 
 (hasType(type_RingNetwork, X) => hasType(type_LAN, X)))).

fof(axQoSOntology95, axiom, 
 ( ! [X] : 
 (hasType(type_SatisfyingRequirements, X) => hasType(type_ProcessTask, X)))).

fof(axQoSOntology96, axiom, 
 ( ! [X] : 
 (hasType(type_Scalable, X) => hasType(type_ComputerPathAttribute, X)))).

fof(axQoSOntology97, axiom, 
 ( ! [X] : 
 (hasType(type_Sensor, X) => hasType(type_ComputerHardware, X)))).

fof(axQoSOntology98, axiom, 
 ( ! [X] : 
 (hasType(type_Server, X) => hasType(type_ComputationalSystem, X)))).

fof(axQoSOntology99, axiom, 
 ( ! [X] : 
 (hasType(type_ShutdownBlock, X) => hasType(type_ComputerProgram, X)))).

fof(axQoSOntology100, axiom, 
 ( ! [X] : 
 (hasType(type_SingleRequirement_Complexity, X) => hasType(type_ComplexityAttribute, X)))).

fof(axQoSOntology101, axiom, 
 ( ! [X] : 
 (hasType(type_Slack_FormOfAdaptation, X) => hasType(type_FormOfAdaptationAttribute, X)))).

fof(axQoSOntology102, axiom, 
 ( ! [X] : 
 (hasType(type_Soft_Strictness, X) => hasType(type_StrictnessAttribute, X)))).

fof(axQoSOntology103, axiom, 
 ( ! [X] : 
 (hasType(type_SoftwareAttribute, X) => hasType(type_RelationalAttribute, X)))).

fof(axQoSOntology104, axiom, 
 ( ! [X] : 
 (hasType(type_SoftwareSystem, X) => hasType(type_ComputationalSystem, X)))).

fof(axQoSOntology105, axiom, 
 ( ! [X] : 
 (hasType(type_SoftwareSystem, X) => hasType(type_RealtimeSystem, X)))).

fof(axQoSOntology106, axiom, 
 ( ! [X] : 
 (hasType(type_Solaris, X) => hasType(type_OperatingSystem, X)))).

fof(axQoSOntology107, axiom, 
 ( ! [X] : 
 (hasType(type_StarNetwork, X) => hasType(type_LAN, X)))).

fof(axQoSOntology108, axiom, 
 ( ! [X] : 
 (hasType(type_StartupBlock, X) => hasType(type_ComputerProgram, X)))).

fof(axQoSOntology109, axiom, 
 ( ! [X] : 
 (hasType(type_StochasticDataStream, X) => hasType(type_ComputerPathAttribute, X)))).

fof(axQoSOntology110, axiom, 
 ( ! [X] : 
 (hasType(type_StrictnessAttribute, X) => hasType(type_TimingRequirementAttribute, X)))).

fof(axQoSOntology111, axiom, 
 ( ! [X] : 
 (hasType(type_SystemBehaviorAttribute, X) => hasType(type_RealtimeSystemAttribute, X)))).

fof(axQoSOntology112, axiom, 
 ( ! [X] : 
 (hasType(type_TaskGroup_AbstractionLevel, X) => hasType(type_AbstractionLevelAttribute, X)))).

fof(axQoSOntology113, axiom, 
 ( ! [X] : 
 (hasType(type_TaskRelationAttribute, X) => hasType(type_RealtimeSystemAttribute, X)))).

fof(axQoSOntology114, axiom, 
 ( ! [X] : 
 (hasType(type_Task_AbstractionLevel, X) => hasType(type_AbstractionLevelAttribute, X)))).

fof(axQoSOntology115, axiom, 
 ( ! [X] : 
 (hasType(type_TimingRequirementAttribute, X) => hasType(type_RealtimeSystemAttribute, X)))).

fof(axQoSOntology116, axiom, 
 ( ! [X] : 
 (hasType(type_TransientPath, X) => hasType(type_ComputerPathAttribute, X)))).

fof(axQoSOntology117, axiom, 
 ( ! [X] : 
 (hasType(type_Transient_SystemBehavior, X) => hasType(type_SystemBehaviorAttribute, X)))).

fof(axQoSOntology118, axiom, 
 ( ! [X] : 
 (hasType(type_UniformResourceIdentifier, X) => hasType(type_ContentBearingObject, X)))).

fof(axQoSOntology119, axiom, 
 ( ! [X] : 
 (hasType(type_UniformResourceLocator, X) => hasType(type_UniformResourceIdentifier, X)))).

fof(axQoSOntology120, axiom, 
 ( ! [X] : 
 (hasType(type_UniformResourceName, X) => hasType(type_UniformResourceIdentifier, X)))).

fof(axQoSOntology121, axiom, 
 ( ! [X] : 
 (hasType(type_UserAccount, X) => hasType(type_ContentBearingObject, X)))).

fof(axQoSOntology122, axiom, 
 ( ! [X] : 
 (hasType(type_UserName, X) => hasType(type_SymbolicString, X)))).

fof(axQoSOntology123, axiom, 
 ( ! [X] : 
 (hasType(type_UserRequest, X) => hasType(type_ComputerProcess, X)))).

fof(axQoSOntology124, axiom, 
 ( ! [X] : 
 (hasType(type_UsingAResource, X) => hasType(type_ComputerProcess, X)))).

fof(axQoSOntology125, axiom, 
 ( ! [X] : 
 (hasType(type_Utility, X) => hasType(type_ComputerProgram, X)))).

fof(axQoSOntology126, axiom, 
 ( ! [X] : 
 (hasType(type_Utility_Strictness, X) => hasType(type_StrictnessAttribute, X)))).

fof(axQoSOntology127, axiom, 
 (hasType(type_TaskRelationAttribute, inst_Dependent_TaskRelation))).

fof(axQoSOntology128, axiom, 
 (hasType(type_RelationalAttribute, inst_Executable))).

fof(axQoSOntology129, axiom, 
 (hasType(type_PriorityAttribute, inst_HighPriority))).

fof(axQoSOntology130, axiom, 
 (hasType(type_ComputerStatus, inst_HostDown))).

fof(axQoSOntology131, axiom, 
 (hasType(type_ComputerStatus, inst_HostReady))).

fof(axQoSOntology132, axiom, 
 (hasType(type_PriorityAttribute, inst_LowPriority))).

fof(axQoSOntology133, axiom, 
 (hasType(type_CompositeUnitOfMeasure, inst_PacketsPerSecond))).

fof(axQoSOntology134, axiom, 
 (hasType(type_ComputerPathAttribute, inst_PathImportanceFunction))).

fof(axQoSOntology135, axiom, 
 (hasType(type_ProcessStatus, inst_ProcessFailure))).

fof(axQoSOntology136, axiom, 
 (hasType(type_ProcessStatus, inst_ProcessSuccess))).

fof(axQoSOntology137, axiom, 
 (hasType(type_SoftwareAttribute, inst_ReplicationsOnSameHostOK))).

fof(axQoSOntology138, axiom, 
 (hasType(type_SoftwareAttribute, inst_Restartable))).

fof(axQoSOntology139, axiom, 
 (hasType(type_SoftwareAttribute, inst_ScalabilityCombining))).

fof(axQoSOntology140, axiom, 
 (hasType(type_SoftwareAttribute, inst_ScalabilitySplitting))).

fof(axQoSOntology141, axiom, 
 (hasType(type_Epoch, inst_UnixEpoch))).