diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
| commit | f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch) | |
| tree | 946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/SUMO/TPTP/CountriesAndRegionsLemAx.p | |
| parent | 8e1c6cca407c82fc09569d80c231b8d256735989 (diff) | |
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
Diffstat (limited to 'examples/SUMO/TPTP/CountriesAndRegionsLemAx.p')
| -rw-r--r-- | examples/SUMO/TPTP/CountriesAndRegionsLemAx.p | 46 |
1 files changed, 0 insertions, 46 deletions
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)))))))))))))))).
-
|