No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4971-4972 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6955-6955 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8209-8209 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8210-8210 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8211-8211 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4973-4973 |
meatOfAnimal Veal and Calf |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4970-4970 |
Veal e' uma sub-classe de Carne |