No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3717-3717 |
中国 是 西沙群岛 的 claimed 领土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3718-3718 |
台湾 是 西沙群岛 的 claimed 领土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3719-3719 |
越南 是 西沙群岛 的 claimed 领土 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 655-655 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 618-618 |
西沙群岛 是 东南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4235-4235 |
西沙群岛 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 595-595 |
西沙群岛 是 土地面积 的 instance |