add some fixes

ontologyportal · Jul 5, 2024 · a6b6362 · a6b6362
1 parent 5f05831
commit a6b6362
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/tests/TPTP/TQM4.tff b/tests/TPTP/TQM4.tff
@@ -14,12 +14,16 @@ tff(instance_tp,type,(instance : ($i * $i) > $o)).
 tff(earth_tp,type,(earth : $i)).
 tff(flat_tp,type,(flat : $i)).
 tff(bill_tp,type,(bill : $i)).
+tff(mary_tp,type,(mary : $i)).
 
 tff(believes_tp,type,(believes : m)).
 tff(knows_tp,type,(knows : m)).
 
-% modality, agent, consequent world, antecedent world
-tff(accreln_tp,type,(accreln : (m * $i * w * w) > $o)).
+% modality, agent, antecedent world, consequent world
+tff(accreln_tp,type,(accreln2 : (m * $i * w * w) > $o)).
+
+% modality, agent, patient, antecedent world, consequent world
+tff(accreln2_tp,type,(accreln2 : (m * $i * $i * w * w) > $o)).
 
 tff(axiom_t_believes,axiom,(! [X:$i] : (! [W:w] : (accreln(believes,X,W,W))))).
 tff(axiom_t_knows,axiom,(! [X:$i] : (! [W:w] : (accreln(knows,X,W,W))))).
@@ -35,6 +39,9 @@ tff(axiom_t_knows,axiom,(! [X:$i] : (! [W:w] : (accreln(knows,X,W,W))))).
 %  Bill
 %  Mary)
 
+tff(kb1,axiom,
+  (![W:w, W2:w] : 
+    (accreln2(confersObligation,bill,mary,W,W2) =>
 %(likes Bill Mary)
 
 %(=>