diff options
| author | krasimir <krasimir@chalmers.se> | 2010-02-17 12:21:41 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-02-17 12:21:41 +0000 |
| commit | d6627b5a5af6a82dd5316ac5d527790697615339 (patch) | |
| tree | 06c89e2cbb1212fe54c1c886ddb839e91383952f /examples/SUMO/TPTP/Mid_level_ontologyPredAx.p | |
| parent | 6690fbaf6ce1247165ce159683367982c28efeca (diff) | |
added TPTP for SUMO
Diffstat (limited to 'examples/SUMO/TPTP/Mid_level_ontologyPredAx.p')
| -rw-r--r-- | examples/SUMO/TPTP/Mid_level_ontologyPredAx.p | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/examples/SUMO/TPTP/Mid_level_ontologyPredAx.p b/examples/SUMO/TPTP/Mid_level_ontologyPredAx.p new file mode 100644 index 000000000..0064ee040 --- /dev/null +++ b/examples/SUMO/TPTP/Mid_level_ontologyPredAx.p @@ -0,0 +1,63 @@ +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)).
+
|