AmericanCity(american city) |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 790-790 | San francisco california is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 794-794 | Savannah georgia is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2447-2447 | WashingtonDC united states is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7164-7164 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7163-7163 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7162-7162 |