No TPTP formula. May not be expressible in strict first order. | Geography.kif 6802-6802 | 子類 關注的區域 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2572-2572 | 子類 跨國問題 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6818-6818 | 子類 環境問題 and 關注的區域 |