No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8628-8628 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9487-9487 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9488-9488 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6219-6219 |
industryProductType OpiumPoppyFarming and OpiumPoppy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6218-6218 |
OpiumPoppyFarming e' uma sub-classe de Farming |