| No TPTP formula. May not be expressible in strict first order. |
Food.kif 3096-3096 |
子類 奶油 and 乳製品 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 3258-3258 |
子類 起司 and 乳製品 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 3110-3110 |
子類 Cream and 乳製品 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 3138-3138 |
子類 Curd and 乳製品 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 3150-3150 |
子類 FermentedMilkProduct and 乳製品 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 3042-3042 |
子類 ProcessedGoatMilk and 乳製品 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2826-2826 |
子類 ProcessedMilk and 乳製品 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 3144-3144 |
子類 Whey and 乳製品 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18378-18378 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18377-18377 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18376-18376 |
|
