No TPTP formula. May not be expressible in strict first order. |
Food.kif 2121-2121 |
Arugula est une sous-classe de LeafyGreenVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2564-2564 |
Endive est une sous-classe de LeafyGreenVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2619-2619 |
Lettuce est une sous-classe de LeafyGreenVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3321-3321 |
Radicchio est une sous-classe de LeafyGreenVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3334-3334 |
RomaineLettuce est une sous-classe de LeafyGreenVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3474-3474 |
Spinach est une sous-classe de LeafyGreenVegetable |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33671-33671 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33670-33670 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33669-33669 |
|