No TPTP formula. May not be expressible in strict first order. | Merge.kif 13304-13304 | Disagreeing is a subclass of stating |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 29-29 | International dispute is a subclass of disagreeing |
![]() |