No TPTP formula. May not be expressible in strict first order. |
Food.kif 2121-2121 |
Arugula e' uma sub-classe de LeafyGreenVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2564-2564 |
Endive e' uma sub-classe de LeafyGreenVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2619-2619 |
Lettuce e' uma sub-classe de LeafyGreenVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3321-3321 |
Radicchio e' uma sub-classe de LeafyGreenVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3334-3334 |
RomaineLettuce e' uma sub-classe de LeafyGreenVegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3474-3474 |
Spinach e' uma sub-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 |
|