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/CommunicationsLemAx.p | 68 -------------------------------- 1 file changed, 68 deletions(-) delete mode 100644 examples/SUMO/TPTP/CommunicationsLemAx.p (limited to 'examples/SUMO/TPTP/CommunicationsLemAx.p') diff --git a/examples/SUMO/TPTP/CommunicationsLemAx.p b/examples/SUMO/TPTP/CommunicationsLemAx.p deleted file mode 100644 index 1dd617446..000000000 --- a/examples/SUMO/TPTP/CommunicationsLemAx.p +++ /dev/null @@ -1,68 +0,0 @@ -fof(axCommLem0, axiom, - ( ! [Var_DEVICE] : - (hasType(type_CommunicationDevice, Var_DEVICE) => -(( ! [Var_COMMUNICATION] : - (hasType(type_Communication, Var_COMMUNICATION) => -(f_instrument(Var_COMMUNICATION,Var_DEVICE)))))))). - -fof(axCommLem1, axiom, - ( ! [Var_SYSTEM] : - (hasType(type_TelephoneSystem, Var_SYSTEM) => -(( ? [Var_PHONE] : - (hasType(type_Telephone, Var_PHONE) & -(f_engineeringSubcomponent(Var_PHONE,Var_SYSTEM)))))))). - -fof(axCommLem2, axiom, - ( ! [Var_SYSTEM] : - (hasType(type_TelephoneSystem, Var_SYSTEM) => -(( ? [Var_LINE] : - (hasType(type_MainTelephoneLine, Var_LINE) & -(f_engineeringSubcomponent(Var_LINE,Var_SYSTEM)))))))). - -fof(axCommLem3, axiom, - ( ! [Var_SAT] : - (hasType(type_CommunicationSatellite, Var_SAT) => -(( ? [Var_SYSTEM] : - (hasType(type_CommunicationSystem, Var_SYSTEM) & -(f_engineeringSubcomponent(Var_SAT,Var_SYSTEM)))))))). - -fof(axCommLem4, axiom, - ( ! [Var_SYSTEM] : - (hasType(type_RadioSystem, Var_SYSTEM) => -(( ? [Var_DEVICE] : - (hasType(type_RadioReceiver, Var_DEVICE) & -(f_engineeringSubcomponent(Var_DEVICE,Var_SYSTEM)))))))). - -fof(axCommLem5, axiom, - ( ! [Var_SYSTEM] : - (hasType(type_TelevisionSystem, Var_SYSTEM) => -(( ? [Var_STATION] : - (hasType(type_TelevisionStation, Var_STATION) & -(f_engineeringSubcomponent(Var_STATION,Var_SYSTEM)))))))). - -fof(axCommLem6, axiom, - ( ! [Var_SYSTEM] : - (hasType(type_TelevisionSystem, Var_SYSTEM) => -(( ? [Var_DEVICE] : - (hasType(type_TelevisionReceiver, Var_DEVICE) & -(f_engineeringSubcomponent(Var_DEVICE,Var_SYSTEM)))))))). - -fof(axCommLem7, axiom, - ( ! [Var_SYSTEM] : - (hasType(type_CableTelevisionSystem, Var_SYSTEM) => -(( ? [Var_DEVICE] : - (hasType(type_TelevisionReceiver, Var_DEVICE) & -(f_engineeringSubcomponent(Var_DEVICE,Var_SYSTEM)))))))). - -fof(axCommLem8, axiom, - ( ! [Var_PART] : - (hasType(type_InternetServiceProvider, Var_PART) => -(f_engineeringSubcomponent(Var_PART,inst_Internet))))). - -fof(axCommLem9, axiom, - ( ! [Var_INDIVIDUAL] : - ((hasType(type_Object, Var_INDIVIDUAL) & hasType(type_Agent, Var_INDIVIDUAL)) => -(((f_attribute(Var_INDIVIDUAL,inst_InternetUser)) => (( ? [Var_PROCESS] : - (hasType(type_Process, Var_PROCESS) & -(((f_agent(Var_PROCESS,Var_INDIVIDUAL)) & (f_instrument(Var_PROCESS,inst_Internet)))))))))))). - -- cgit v1.2.3