No TPTP formula. May not be expressible in strict first order. |
Food.kif 2121-2121 |
子類 Arugula and 綠葉蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2564-2564 |
子類 Endive and 綠葉蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2619-2619 |
子類 Lettuce and 綠葉蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3321-3321 |
子類 Radicchio and 綠葉蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3334-3334 |
子類 RomaineLettuce and 綠葉蔬菜 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3474-3474 |
子類 Spinach and 綠葉蔬菜 |
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 |
|