Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Spice
Spice(spice)
Chinese_mustard, Florence_fennel, allspice, bay_leaf, borage, caper, caraway, cayenne, cayenne_pepper, chervil, chili_powder, chives, cinnamon, clary_sage, clove, common_fennel, coriander, coriander_seed, costmary, cumin, cumin_seed, curry_powder, estragon, fennel, fennel_seed, finocchio, five_spice_powder, garlic_chive, hyssop, lemon_balm, lovage, marjoram, mint, mustard, mustard_seed, nasturtium, oregano, parsley, red_pepper, rosemary, rue, sage, sassafras, savory, savoury, spice, stacte, stick_cinnamon, summer_savory, summer_savoury...

appearance as argument number 1
-------------------------


(subclass Spice PreparedFood) Economy.kif 4692-4692 Spice is a subclass of food
(subclass Spice FoodFromPlant) Economy.kif 4693-4693 Spice is a subclass of food from a plant
(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 4694-4696 Spice is a subclass of food from a plant
(subclass Spice PlantAgriculturalArtifact) Society.kif 985-985 Spice is a subclass of PlantAgriculturalArtifact
(documentation Spice EnglishLanguage "Any of a variety of pungent aromatic vegetable substances used for flavoring food.") Society.kif 1309-1309 Spice is a subclass of PlantAgriculturalArtifact
(externalImage Spice "http://upload.wikimedia.org/wikipedia/en/thumb/9/9b/ Spice_shelf.jpg/ 798px_Spice_shelf.jpg") pictureList.kif 1454-1454 Spice is a subclass of PlantAgriculturalArtifact

appearance as argument number 2
-------------------------


(subclass Vanilla Spice) Economy.kif 4788-4788 Vanilla is a subclass of spice
(subclass Clove Spice) Economy.kif 4789-4789 Clove is a subclass of spice
(subclass Nutmeg Spice) Economy.kif 4790-4790 Nutmeg is a subclass of spice
(subclass Mace Spice) Economy.kif 4791-4791 Mace is a subclass of spice
(subclass Cardamom Spice) Economy.kif 4792-4792 Cardamom is a subclass of spice
(subclass BlackPepper Spice) Economy.kif 4793-4793 Black pepper is a subclass of spice
(subclass SpicePepper Spice) Economy.kif 4794-4794 Spice pepper is a subclass of spice
(subclass Cinnamon Spice) Economy.kif 4795-4795 Cinnamon is a subclass of spice
(subclass Ginger Spice) Economy.kif 4796-4796 Ginger is a subclass of spice
(subclass Turmeric Spice) Food.kif 3558-3558 Turmeric is a subclass of spice
(termFormat EnglishLanguage Spice "spice") domainEnglishFormat.kif 54613-54613 Turmeric is a subclass of spice
(termFormat ChineseTraditionalLanguage Spice "香料") domainEnglishFormat.kif 54614-54614 Turmeric is a subclass of spice
(termFormat ChineseLanguage Spice "香料") domainEnglishFormat.kif 54615-54615 Turmeric is a subclass of spice

antecedent
-------------------------


(=>
    (instance ?S Spice)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?S ?P)
            (subclass ?CLASS PlantAnatomicalStructure))))		 Economy.kif 4698-4705 If X is an instance of spice, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of plant anatomical structure
(=>
    (instance ?S Spice)
    (hasPurpose ?S
        (exists (?PUT ?F)
            (and
                (instance ?PUT Putting)
                (patient ?PUT ?S)
                (destination ?PUT ?F)
                (instance ?F PreparedFood)))))		 Economy.kif 4707-4715 If X is an instance of spice, then X has the purpose there exist Y, Z such that Y is an instance of putting, X is a patient of Y, Y ends up at Z, and Z is an instance of food
(=>
    (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 4717-4732 If X is an instance of putting, Y is a patient of X, Y is an instance of spice, X ends up at Z, and Z is an instance of food, then there exist W, V such that W is an instance of internal change, Z is a patient of W, V is a result of W, V is an attribute of Z, and V is an instance of flavour attribute or V is an instance of color attribute


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners