connected |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2783-2797 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2760-2774 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5693-5699 |