AmericanCity |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 790-790 | SanFranciscoCalifornia e' uma instancia de AmericanCity |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 794-794 | SavannahGeorgia e' uma instancia de AmericanCity |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2447-2447 | WashingtonDCUnitedStates e' uma instancia de AmericanCity |
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 |