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