From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/TPTP/QoSOntologyAx.p | 553 ------------------------------------- 1 file changed, 553 deletions(-) delete mode 100644 examples/SUMO/TPTP/QoSOntologyAx.p (limited to 'examples/SUMO/TPTP/QoSOntologyAx.p') diff --git a/examples/SUMO/TPTP/QoSOntologyAx.p b/examples/SUMO/TPTP/QoSOntologyAx.p deleted file mode 100644 index 791d1f56b..000000000 --- a/examples/SUMO/TPTP/QoSOntologyAx.p +++ /dev/null @@ -1,553 +0,0 @@ -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))). - -- cgit v1.2.3