AmericanState(american state) |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7200-7200 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7199-7199 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7198-7198 |