| TerritorialDispute(territorial dispute) |
| appearance as argument number 1 |
|
|
| (subclass TerritorialDispute InternationalDispute) | TransnationalIssues.kif 44-44 | Territorial dispute is a subclass of international dispute |
| appearance as argument number 2 |
|
|
|
|