|
|
   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 | Spice ist eine teilkategorie von FoodFromPlant |
| (subclass Spice PreparedFood) | Economy.kif 4359-4359 | Spice ist eine teilkategorie von PreparedFood |
| appearance as argument number 2 |
|
|
| (subclass BlackPepper Spice) | Economy.kif 4460-4460 | BlackPepper ist eine teilkategorie von Spice |
| (subclass Cardamom Spice) | Economy.kif 4459-4459 | Cardamom ist eine teilkategorie von Spice |
| (subclass Cinnamon Spice) | Economy.kif 4462-4462 | Cinnamon ist eine teilkategorie von Spice |
| (subclass Clove Spice) | Economy.kif 4456-4456 | Clove ist eine teilkategorie von Spice |
| (subclass Ginger Spice) | Economy.kif 4463-4463 | Ginger ist eine teilkategorie von Spice |
| (subclass Mace Spice) | Economy.kif 4458-4458 | Mace ist eine teilkategorie von Spice |
| (subclass Nutmeg Spice) | Economy.kif 4457-4457 | Nutmeg ist eine teilkategorie von Spice |
| (subclass SpicePepper Spice) | Economy.kif 4461-4461 | SpicePepper ist eine teilkategorie von Spice |
| (subclass Turmeric Spice) | Food.kif 3520-3520 | Turmeric ist eine teilkategorie von Spice |
| (subclass Vanilla Spice) | Economy.kif 4455-4455 | Vanilla ist eine teilkategorie von Spice |
| (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 |
|
|
|
|
