| Spice(香料)
| |
| appearance as argument number 1 |
|
|
| (documentation Spice EnglishLanguage "A Spice is a class of PreparedFood derived from Seeds, Fruits, PlantRoots, barks, or other PlantAnatomicalStructure primarily used for flavoring or coloring food. ") | Economy.kif 4361-4363 | |
| (externalImage Spice "http://upload.wikimedia.org/wikipedia/en/thumb/9/9b/ Spice-shelf.jpg/ 798px-Spice-shelf.jpg") | pictureList.kif 1454-1454 | |
| (subclass Spice FoodFromPlant) | Economy.kif 4360-4360 | 子類 香料 and FoodFromPlant |
| (subclass Spice PreparedFood) | Economy.kif 4359-4359 | 子類 香料 and 已準備食物 |
| appearance as argument number 2 |
|
|
| (subclass BlackPepper Spice) | Economy.kif 4460-4460 | 子類 黑胡椒 and 香料 |
| (subclass Cardamom Spice) | Economy.kif 4459-4459 | 子類 荳蔻果實 and 香料 |
| (subclass Cinnamon Spice) | Economy.kif 4462-4462 | 子類 肉桂 and 香料 |
| (subclass Clove Spice) | Economy.kif 4456-4456 | 子類 丁香 and 香料 |
| (subclass Ginger Spice) | Economy.kif 4463-4463 | 子類 生薑 and 香料 |
| (subclass Mace Spice) | Economy.kif 4458-4458 | 子類 錘 and 香料 |
| (subclass Nutmeg Spice) | Economy.kif 4457-4457 | 子類 肉荳蔻 and 香料 |
| (subclass SpicePepper Spice) | Economy.kif 4461-4461 | 子類 辣椒 and 香料 |
| (subclass Turmeric Spice) | Food.kif 3520-3520 | 子類 Turmeric and 香料 |
| (subclass Vanilla Spice) | Economy.kif 4455-4455 | 子類 香草 and 香料 |
| (termFormat ChineseLanguage Spice "香料") | domainEnglishFormat.kif 54618-54618 | |
| (termFormat ChineseTraditionalLanguage Spice "香料") | domainEnglishFormat.kif 54617-54617 | |
| (termFormat EnglishLanguage Spice "spice") | domainEnglishFormat.kif 54616-54616 |
| antecedent |
|
|
| (=> (and (instance ?P Putting) (patient ?P ?S) (instance ?S Spice) (destination ?P ?F) (instance ?F PreparedFood)) (exists (?C ?A) (and (instance ?C InternalChange) (patient ?C ?F) (result ?C ?A) (attribute ?F ?A) (or (instance ?A FlavourAttribute) (instance ?A ColorAttribute))))) |
Economy.kif 4384-4399 | |
| (=> (instance ?S Spice) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?S ?P) (subclass ?CLASS PlantAnatomicalStructure)))) |
Economy.kif 4365-4372 |
|
| (=> (instance ?S Spice) (hasPurpose ?S (exists (?PUT ?F) (and (instance ?PUT Putting) (patient ?PUT ?S) (destination ?PUT ?F) (instance ?F PreparedFood))))) |
Economy.kif 4374-4382 |
|
|
|