No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2095-2109 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 666-676 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6274-6278 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 562-567 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2218-2228 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2242-2252 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2230-2240 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2168-2179 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2181-2199 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2128-2139 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2141-2155 |
|