No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5708-5709 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4741-4741 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4984-4984 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4983-4983 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4878-4878 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4982-4982 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5706-5706 |
Irrigating est une sous-classe de d�palcement |