-3.0
|
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1419-1425 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1533-1541 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1428-1443 |