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_ontologySubAttAx.p | |
| parent | 6690fbaf6ce1247165ce159683367982c28efeca (diff) | |
added TPTP for SUMO
Diffstat (limited to 'examples/SUMO/TPTP/Mid_level_ontologySubAttAx.p')
| -rw-r--r-- | examples/SUMO/TPTP/Mid_level_ontologySubAttAx.p | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/examples/SUMO/TPTP/Mid_level_ontologySubAttAx.p b/examples/SUMO/TPTP/Mid_level_ontologySubAttAx.p new file mode 100644 index 000000000..7f938426e --- /dev/null +++ b/examples/SUMO/TPTP/Mid_level_ontologySubAttAx.p @@ -0,0 +1,57 @@ +fof(axMidSubAtt0, axiom,
+ f_subAttribute(inst_Drunk,inst_Drugged)).
+
+fof(axMidSubAtt1, axiom,
+ f_subAttribute(inst_InternationalLaw,inst_Law)).
+
+fof(axMidSubAtt2, axiom,
+ f_subAttribute(inst_Illegal,inst_Prohibition)).
+
+fof(axMidSubAtt3, axiom,
+ f_subAttribute(inst_Legal,inst_Permission)).
+
+fof(axMidSubAtt4, axiom,
+ f_subAttribute(inst_Satisfaction,inst_Happiness)).
+
+fof(axMidSubAtt5, axiom,
+ f_subAttribute(inst_Tranquility,inst_Happiness)).
+
+fof(axMidSubAtt6, axiom,
+ f_subAttribute(inst_Excitement,inst_Happiness)).
+
+fof(axMidSubAtt7, axiom,
+ f_subAttribute(inst_Anxiety,inst_Unhappiness)).
+
+fof(axMidSubAtt8, axiom,
+ f_subAttribute(inst_Anger,inst_Unhappiness)).
+
+fof(axMidSubAtt9, axiom,
+ f_subAttribute(inst_Pain,inst_Unhappiness)).
+
+fof(axMidSubAtt10, axiom,
+ f_subAttribute(inst_Headache,inst_Pain)).
+
+fof(axMidSubAtt11, axiom,
+ f_subAttribute(inst_Puberty,inst_NonFullyFormed)).
+
+fof(axMidSubAtt12, axiom,
+ f_subAttribute(inst_Squatting,inst_Sitting)).
+
+fof(axMidSubAtt13, axiom,
+ f_subAttribute(inst_Retired,inst_Unemployed)).
+
+fof(axMidSubAtt14, axiom,
+ f_subAttribute(inst_Housewife,inst_Unemployed)).
+
+fof(axMidSubAtt15, axiom,
+ f_subAttribute(inst_Professor,inst_Teacher)).
+
+fof(axMidSubAtt16, axiom,
+ f_subAttribute(inst_Diplomat,inst_GovernmentPerson)).
+
+fof(axMidSubAtt17, axiom,
+ f_subAttribute(inst_StoreOwner,inst_BusinessPerson)).
+
+fof(axMidSubAtt18, axiom,
+ f_subAttribute(inst_PolicePerson,inst_GovernmentPerson)).
+
|