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 3720-3720 |
中国 是 南沙群岛 的 claimed 领土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3789-3789 |
香港 是 中国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3807-3807 |
澳门 是 中国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3595-3595 |
吉尔吉斯首都比什凯克 是 中国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2886-2886 |
桂林中国 是 中国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4255-4255 |
Beijing 是 中国 的地缘政治部分 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4275-4275 |
Chengdu 是 中国 的地缘政治部分 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4259-4259 |
Chongqing 是 中国 的地缘政治部分 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4267-4267 |
Guangzhou 是 中国 的地缘政治部分 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4279-4279 |
Nanjing 是 中国 的地缘政治部分 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4251-4251 |
Shanghai 是 中国 的地缘政治部分 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4271-4271 |
Shenzhen 是 中国 的地缘政治部分 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4263-4263 |
Tianjin 是 中国 的地缘政治部分 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4283-4283 |
Wuhan 是 中国 的地缘政治部分 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4287-4287 |
西安 是 中国 的地缘政治部分 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20274-20274 |
Alligator inhabits 中国 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30477-30477 |
Panda inhabits 中国 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2274-2274 |
ChineseCommunistParty 的 headquarters 是在 中国 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4148-4148 |
中国 的名 是 "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 |
|