No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 825-825 |
capitalCity HonoluluHawaii and Hawaii |
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 |
HonoluluHawaii e' uma instancia de AmericanCity |