No TPTP formula. May not be expressible in strict first order. | Food.kif 2817-2817 | DairyArtifact e' uma sub-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2826-2826 | ProcessedMilk e' uma sub-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3042-3042 | ProcessedGoatMilk e' uma sub-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3096-3096 | Butter e' uma sub-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3110-3110 | Cream e' uma sub-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3138-3138 | Curd e' uma sub-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3144-3144 | Whey e' uma sub-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3150-3150 | FermentedMilkProduct e' uma sub-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3258-3258 | Cheese e' uma sub-classe de DairyArtifact |