(subclass InternationalDispute Disagreeing) | TransnationalIssues.kif 29-29 | InternationalDispute は Disagreeing の subclass では %n |
(subclass MaritimeBoundaryDispute InternationalDispute) | TransnationalIssues.kif 43-43 | MaritimeBoundaryDispute は InternationalDispute の subclass では %n |
(subclass TerritorialDispute InternationalDispute) | TransnationalIssues.kif 44-44 | TerritorialDispute は InternationalDispute の subclass では %n |