No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 825-825 |
夏威夷 是 檀香山夏威夷 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 826-826 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5263-5263 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5262-5262 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 824-824 |
例 檀香山夏威夷 and 美國城市 |