No TPTP formula. May not be expressible in strict first order. | Food.kif 2817-2817 | Dairy product is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2826-2826 | Processed milk is a subclass of dairy product |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3042-3042 | Processed gaot milk is a subclass of dairy product |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3096-3096 | Butter is a subclass of dairy product |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3110-3110 | Cream is a subclass of dairy product |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3138-3138 | Curd is a subclass of dairy product |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3144-3144 | Whey is a subclass of dairy product |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3150-3150 | Fermented milk product is a subclass of dairy product |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3258-3258 | Cheese is a subclass of dairy product |