| 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 2827-2827 | Processed milk is a subclass of beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2828-2828 | Processed milk is a subclass of sheep milk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1227-1227 | Milk foam is a subclass of processed milk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2845-2845 | Whole milk is a subclass of processed milk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2940-2940 | Two percent milk is a subclass of processed milk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2964-2964 | One percent milk is a subclass of processed milk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2988-2988 | Semi skimmed milk is a subclass of processed milk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3013-3013 | Skimmed milk is a subclass of processed milk |
|
|