No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2092-2106 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 659-669 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6370-6374 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 555-560 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2215-2225 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2239-2249 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2227-2237 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2165-2176 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2178-2196 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2125-2136 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2138-2152 |
|