No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3717-3717 |
China is a claimed territory of paracel islands |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3720-3720 |
China is a claimed territory of spratly islands |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3789-3789 |
Hong kong is a dependent of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3807-3807 |
Macau is a dependent of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3595-3595 |
The Kyrgyz capital Bishkek is a geographic subregion of china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2886-2886 |
Guilin china is a geographic subregion of china |
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 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20274-20274 |
Alligator inhabits china |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30477-30477 |
Panda inhabits china |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2274-2274 |
The headquarters of CCP is in china |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4148-4148 |
China has name "China" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14532-14532 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14531-14531 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14530-14530 |
|