| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 29-29 | 国际争端 是 不同意 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 43-43 | 海上边界争端 是 国际争端 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 44-44 | 领土争端 是 国际争端 的 subclass |
|
|