No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 825-825 |
Hawaii is a capital city of honolulu 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 |
Honolulu hawaii is an instance of american city |