India(india) |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29611-29611 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29610-29610 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29609-29609 |