No TPTP formula. May not be expressible in strict first order. | Geography.kif 983-987 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 998-1003 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 989-996 |