No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4255-4255 |
Beijing is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4275-4275 |
Chengdu is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4259-4259 |
Chongqing is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4267-4267 |
Guangzhou is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4279-4279 |
Nanjing is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4251-4251 |
Shanghai is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4271-4271 |
Shenzhen is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4263-4263 |
Tianjin is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4283-4283 |
Wuhan is a geopolitical part of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4287-4287 |
Xi'an is a geopolitical part of china |