-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 |
![]() |
![]() |