No TPTP formula. May not be expressible in strict first order. |
Food.kif 3096-3096 |
Butter est une sous-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3258-3258 |
Cheese est une sous-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3110-3110 |
Cream est une sous-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3138-3138 |
Curd est une sous-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3150-3150 |
FermentedMilkProduct est une sous-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3042-3042 |
ProcessedGoatMilk est une sous-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2826-2826 |
ProcessedMilk est une sous-classe de DairyArtifact |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3144-3144 |
Whey est une sous-classe de DairyArtifact |
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 |
|