From a6b6362c8bdcc40e1b23c0e318abe713f9175d59 Mon Sep 17 00:00:00 2001 From: apease Date: Fri, 5 Jul 2024 08:33:45 -0700 Subject: [PATCH] add some fixes --- tests/TPTP/TQM4.tff | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/tests/TPTP/TQM4.tff b/tests/TPTP/TQM4.tff index c6100a27..0895096a 100644 --- 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) %(=>