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/Mid_level_ontologyPredAx.p | 63 --------------------------- 1 file changed, 63 deletions(-) delete mode 100644 examples/SUMO/TPTP/Mid_level_ontologyPredAx.p (limited to 'examples/SUMO/TPTP/Mid_level_ontologyPredAx.p') diff --git a/examples/SUMO/TPTP/Mid_level_ontologyPredAx.p b/examples/SUMO/TPTP/Mid_level_ontologyPredAx.p deleted file mode 100644 index 0064ee040..000000000 --- a/examples/SUMO/TPTP/Mid_level_ontologyPredAx.p +++ /dev/null @@ -1,63 +0,0 @@ -fof(axMidP0, axiom, - f_subsumesContentClass(type_ChristianBible,type_NewTestament)). - -fof(axMidP1, axiom, - f_subsumesContentClass(type_ChristianBible,type_OldTestament)). - -fof(axMidP2, axiom, - f_subsumesContentClass(type_NewTestament,type_ChristianGospel)). - -fof(axMidP3, axiom, - f_BeginFn(inst_BeforeCommonEra) = inst_NegativeInfinity). - -fof(axMidP4, axiom, - f_EndFn(inst_CommonEra) = inst_PositiveInfinity). - -fof(axMidP5, axiom, - f_subOrganization(inst_UnitedStatesDepartmentOfState,f_GovernmentFn(inst_UnitedStates))). - -fof(axMidP6, axiom, - f_subOrganization(inst_UnitedStatesDepartmentOfInterior,f_GovernmentFn(inst_UnitedStates))). - -fof(axMidP7, axiom, - f_subOrganization(inst_UnitedStatesCongress,f_GovernmentFn(inst_UnitedStates))). - -fof(axMidP8, axiom, - f_initialPart(type_DigitAppendage,type_Limb)). - -fof(axMidP9, axiom, - f_MeasureFn(1,inst_MetricTon) = f_MeasureFn(2205,inst_PoundMass)). - -fof(axMidP10, axiom, - f_MeasureFn(1,inst_SquareMile) = f_PerFn(f_MeasureFn(1,inst_Mile),f_MeasureFn(1,inst_Mile))). - -fof(axMidP11, axiom, - f_MeasureFn(1,inst_SquareYard) = f_PerFn(f_MeasureFn(1,inst_YardLength),f_MeasureFn(1,inst_YardLength))). - -fof(axMidP12, axiom, - f_meatOfAnimal(type_Beef,type_Cow)). - -fof(axMidP13, axiom, - f_meatOfAnimal(type_ChickenMeat,type_Chicken)). - -fof(axMidP14, axiom, - f_meatOfAnimal(type_Pork,type_Pig)). - -fof(axMidP15, axiom, - f_meatOfAnimal(type_FishMeat,type_Fish)). - -fof(axMidP16, axiom, - f_subField(inst_Physiology,inst_Biology)). - -fof(axMidP17, axiom, - f_subField(inst_MedicalScience,inst_Biology)). - -fof(axMidP18, axiom, - f_subField(inst_Electronics,inst_Physics)). - -fof(axMidP19, axiom, - f_subField(inst_Electronics,inst_Engineering)). - -fof(axMidP20, axiom, - f_initialPart(type_AnimalAnatomicalStructure,type_Animal)). - -- cgit v1.2.3