No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 29-29 | InternationalDispute est une sous-classe de Disagreeing |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 43-43 | MaritimeBoundaryDispute est une sous-classe de InternationalDispute |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 44-44 | TerritorialDispute est une sous-classe de InternationalDispute |