No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6156-6156 |
industryProductType CerealGrainFarming and CerealGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4126-4126 |
BarleyGrain est une sous-classe de CerealGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4043-4043 |
MaizeGrain est une sous-classe de CerealGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4142-4142 |
MilletGrain est une sous-classe de CerealGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4121-4121 |
OatGrain est une sous-classe de CerealGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4047-4047 |
RiceGrain est une sous-classe de CerealGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4132-4132 |
RyeGrain est une sous-classe de CerealGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4137-4137 |
SorghumGrain est une sous-classe de CerealGrain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4051-4051 |
WheatGrain est une sous-classe de CerealGrain |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13938-13938 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13937-13937 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13936-13936 |
|