connected |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17150-17153 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17203-17206 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17217-17219 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2760-2770 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17973-17982 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2816-2830 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2793-2807 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5693-5699 |