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/CountriesAndRegionsLemAx.p | 46 --------------------------- 1 file changed, 46 deletions(-) delete mode 100644 examples/SUMO/TPTP/CountriesAndRegionsLemAx.p (limited to 'examples/SUMO/TPTP/CountriesAndRegionsLemAx.p') diff --git a/examples/SUMO/TPTP/CountriesAndRegionsLemAx.p b/examples/SUMO/TPTP/CountriesAndRegionsLemAx.p deleted file mode 100644 index 47f387b79..000000000 --- a/examples/SUMO/TPTP/CountriesAndRegionsLemAx.p +++ /dev/null @@ -1,46 +0,0 @@ -fof(axCountriesLem0, axiom, - ( ! [Var_STATE] : - (hasType(type_AmericanState, Var_STATE) => -(f_part(Var_STATE,inst_UnitedStates))))). - -fof(axCountriesLem1, axiom, - ( ! [Var_CITY] : - (hasType(type_AmericanCity, Var_CITY) => -(f_part(Var_CITY,inst_UnitedStates))))). - -fof(axCountriesLem2, axiom, - ( ! [Var_CITY] : - (hasType(type_EuropeanCity, Var_CITY) => -(f_part(Var_CITY,inst_Europe))))). - -fof(axCountriesLem3, axiom, - ( ! [Var_CITY] : - (hasType(type_City, Var_CITY) => -(((f_part(Var_CITY,inst_France)) => (f_lessThanOrEqualTo(f_CardinalityFn(f_ResidentFn(Var_CITY)),f_CardinalityFn(f_ResidentFn(inst_Paris))))))))). - -fof(axCountriesLem4, axiom, - ( ! [Var_CITY] : - (hasType(type_AmericanCity, Var_CITY) => -(((((f_part(Var_CITY,inst_California)) & (Var_CITY != inst_LosAngelesCalifornia))) => (f_greaterThan(f_CardinalityFn(f_ResidentFn(inst_LosAngelesCalifornia)),f_CardinalityFn(f_ResidentFn(Var_CITY))))))))). - -fof(axCountriesLem5, axiom, - ( ! [Var_STATE] : - (hasType(type_AmericanState, Var_STATE) => -(((Var_STATE != inst_California) => (f_greaterThan(f_CardinalityFn(f_ResidentFn(inst_California)),f_CardinalityFn(f_ResidentFn(Var_STATE))))))))). - -fof(axCountriesLem6, axiom, - ( ! [Var_CITY] : - (hasType(type_AmericanCity, Var_CITY) => -(f_lessThanOrEqualTo(f_CardinalityFn(f_ResidentFn(Var_CITY)),f_CardinalityFn(f_ResidentFn(inst_NewYorkCityUnitedStates))))))). - -fof(axCountriesLem7, axiom, - ( ! [Var_UNIT] : - (hasType(type_AreaMeasure, Var_UNIT) => -(( ! [Var_NUMBER1] : - (hasType(type_Entity, Var_NUMBER1) => -(( ! [Var_STATE] : - (hasType(type_AmericanState, Var_STATE) => -(( ! [Var_NUMBER2] : - (hasType(type_Entity, Var_NUMBER2) => -(((((f_measure(inst_Alaska,f_MeasureFn(Var_NUMBER1,Var_UNIT))) & (((f_measure(Var_STATE,f_MeasureFn(Var_NUMBER2,Var_UNIT))) & (inst_Alaska != Var_STATE))))) => (f_lessThan(Var_NUMBER2,Var_NUMBER1)))))))))))))))). - -- cgit v1.2.3