reverse implication as per knows->believes (which is counter-intuitiv…

…e from what one might expect in first order)
ontologyportal · Jul 8, 2024 · b22b2c9 · b22b2c9
1 parent 8c1dfd6
commit b22b2c9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/TPTP/TQM5.tff b/tests/TPTP/TQM5.tff
@@ -46,8 +46,8 @@ tff(kb1,axiom,(
 %  (believes Bill ?F))
 
 tff(kb2,axiom,(
-  (![W:w, W2:w, H:$i]: (accreln(believes,H,W,W2) =>
-    accreln(sees,H,W,W2))))).
+  (![W:w, W2:w, H:$i]: (accreln(sees,H,W,W2) =>
+    accreln(believes,H,W,W2))))).
 
 % query (believes Bill (exists (?H) (and (instance ?H Hat) (attribute ?H Green) (wears Mary ?H))))