| DairyArtifact(乳製品) | |
| appearance as argument number 1 |
|
|
| (documentation DairyArtifact EnglishLanguage "DairyArtifact are PreparedFood from or containing the milk of some Mammals such as Cows, Goats, Sheep or Camels. DairyArtifact include items such as Cheese, Butter and yoghurt etc.[Wikipedia]") | Food.kif 2818-2820 | |
| (subclass DairyArtifact PreparedFood) | Food.kif 2817-2817 | 子類 乳製品 and 已準備食物 |
| appearance as argument number 2 |
|
|
| (subclass Butter DairyArtifact) | Food.kif 3096-3096 | 子類 奶油 and 乳製品 |
| (subclass Cheese DairyArtifact) | Food.kif 3258-3258 | 子類 起司 and 乳製品 |
| (subclass Cream DairyArtifact) | Food.kif 3110-3110 | 子類 Cream and 乳製品 |
| (subclass Curd DairyArtifact) | Food.kif 3138-3138 | 子類 Curd and 乳製品 |
| (subclass FermentedMilkProduct DairyArtifact) | Food.kif 3150-3150 | 子類 FermentedMilkProduct and 乳製品 |
| (subclass ProcessedGoatMilk DairyArtifact) | Food.kif 3042-3042 | 子類 ProcessedGoatMilk and 乳製品 |
| (subclass ProcessedMilk DairyArtifact) | Food.kif 2826-2826 | 子類 ProcessedMilk and 乳製品 |
| (subclass Whey DairyArtifact) | Food.kif 3144-3144 | 子類 Whey and 乳製品 |
| (termFormat ChineseLanguage DairyArtifact "乳制品") | domainEnglishFormat.kif 18378-18378 | |
| (termFormat ChineseTraditionalLanguage DairyArtifact "乳製品") | domainEnglishFormat.kif 18377-18377 | |
| (termFormat EnglishLanguage DairyArtifact "dairy product") | domainEnglishFormat.kif 18376-18376 |
| antecedent |
|
|
| (=> (initialPart DairyArtifact ?CLASS) (equal ?CLASS Milk)) |
Food.kif 2822-2824 |
| consequent |
|
|
| (=> (attribute ?F Vegan) (and (attribute ?F Vegetarian) (not (exists (?D) (and (instance ?D DairyArtifact) (part ?D ?F)))))) |
Food.kif 3532-3540 |
|
|
|