No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6163-6163 |
industryProductType WheatFarming and WheatGrain |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1490-1490 |
initialPart WheatFlour and WheatGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4059-4059 |
CommonWheatGrain e' uma sub-classe de WheatGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4071-4071 |
DurumWheatGrain e' uma sub-classe de WheatGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4091-4091 |
EinkornWheatGrain e' uma sub-classe de WheatGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4081-4081 |
EmmerWheatGrain e' uma sub-classe de WheatGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4101-4101 |
SpeltWheatGrain e' uma sub-classe de WheatGrain |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62973-62973 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62972-62972 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62971-62971 |
|