| 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 4699-4701 | |
| (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 4698-4698 | |
| (subclass Spice PreparedFood) | Economy.kif 4697-4697 |
| appearance as argument number 2 |
|
|
| (subclass BlackPepper Spice) | Economy.kif 4798-4798 | |
| (subclass Cardamom Spice) | Economy.kif 4797-4797 | |
| (subclass Cinnamon Spice) | Economy.kif 4800-4800 | |
| (subclass Clove Spice) | Economy.kif 4794-4794 | |
| (subclass Ginger Spice) | Economy.kif 4801-4801 | |
| (subclass Mace Spice) | Economy.kif 4796-4796 | |
| (subclass Nutmeg Spice) | Economy.kif 4795-4795 | |
| (subclass SpicePepper Spice) | Economy.kif 4799-4799 | |
| (subclass Turmeric Spice) | Food.kif 3527-3527 | |
| (subclass Vanilla Spice) | Economy.kif 4793-4793 | |
| (termFormat ChineseLanguage Spice "香料") | domainEnglishFormat.kif 54622-54622 | |
| (termFormat ChineseTraditionalLanguage Spice "香料") | domainEnglishFormat.kif 54621-54621 | |
| (termFormat EnglishLanguage Spice "spice") | domainEnglishFormat.kif 54620-54620 |
| 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 4722-4737 | |
| (=> (instance ?S Spice) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?S ?P) (subclass ?CLASS PlantAnatomicalStructure)))) |
Economy.kif 4703-4710 | |
| (=> (instance ?S Spice) (hasPurpose ?S (exists (?PUT ?F) (and (instance ?PUT Putting) (patient ?PUT ?S) (destination ?PUT ?F) (instance ?F PreparedFood))))) |
Economy.kif 4712-4720 |
|
|
|