No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4289-4289 |
RootVegetable s'appele nom "root crop" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4288-4288 |
RootVegetable s'appele nom "root vegetable" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4313-4313 |
RootStarch est reli� � l'int�rieur de SUMO � RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4295-4295 |
Beets est une sous-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4297-4297 |
Carrot est une sous-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4302-4302 |
Diakon est une sous-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4321-4321 |
EdibleTuber est une sous-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2582-2582 |
Garlic est une sous-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2712-2712 |
Onion est une sous-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4304-4304 |
Parsnip est une sous-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4291-4291 |
Radish est une sous-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4298-4298 |
Rutabaga est une sous-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3401-3401 |
Shallot est une sous-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4294-4294 |
Turnip est une sous-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50452-50452 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50451-50451 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50450-50450 |
|