No TPTP formula. May not be expressible in strict first order. |
Geography.kif 699-703 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3595-3615 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 342-346 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3631-3640 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3570-3579 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 348-353 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 787-794 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 693-706 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4355-4359 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1824-1828 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6201-6209 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 507-512 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2692-2701 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6191-6199 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 695-697 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 712-714 |
|