No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6473-6477 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6461-6465 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6467-6471 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6453-6459 |
|