No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2389-2389 |
日本 是 日本東京 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2390-2390 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1382-1382 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3603-3603 |
日本東京 是 日本 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2388-2388 |
例 日本東京 and City |