No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11392-11392 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11394-11394 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10109-10109 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11390-11390 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11391-11391 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11393-11393 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4458-4458 |
Mace est une sous-classe de Spice |