No TPTP formula. May not be expressible in strict first order. | Food.kif 2817-2817 | 乳制品 是 已准备食物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2826-2826 | ProcessedMilk 是 乳制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3042-3042 | ProcessedGoatMilk 是 乳制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3096-3096 | 黄油 是 乳制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3110-3110 | Cream 是 乳制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3138-3138 | Curd 是 乳制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3144-3144 | Whey 是 乳制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3150-3150 | FermentedMilkProduct 是 乳制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3258-3258 | 起司 是 乳制品 的 subclass |