Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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 4571-4573
(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 4570-4570 Spice is a subclass of food from plant
(subclass Spice PreparedFood) Economy.kif 4569-4569 Spice is a subclass of prepared food

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


(subclass BlackPepper Spice) Economy.kif 4670-4670 Black pepper is a subclass of spice
(subclass Cardamom Spice) Economy.kif 4669-4669 Cardamom is a subclass of spice
(subclass Cinnamon Spice) Economy.kif 4672-4672 Cinnamon is a subclass of spice
(subclass Clove Spice) Economy.kif 4666-4666 Clove is a subclass of spice
(subclass Ginger Spice) Economy.kif 4673-4673 Ginger is a subclass of spice
(subclass Mace Spice) Economy.kif 4668-4668 Mace is a subclass of spice
(subclass Nutmeg Spice) Economy.kif 4667-4667 Nutmeg is a subclass of spice
(subclass SpicePepper Spice) Economy.kif 4671-4671 Spice pepper is a subclass of spice
(subclass Turmeric Spice) Food.kif 3520-3520 Turmeric is a subclass of spice
(subclass Vanilla Spice) Economy.kif 4665-4665 Vanilla is a subclass of spice
(termFormat ChineseLanguage Spice "香料") domainEnglishFormat.kif 54651-54651 Vanilla is a subclass of spice
(termFormat ChineseTraditionalLanguage Spice "香料") domainEnglishFormat.kif 54650-54650 Vanilla is a subclass of spice
(termFormat EnglishLanguage Spice "spice") domainEnglishFormat.kif 54649-54649 Vanilla is a subclass of spice

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 4594-4609
(=>
    (instance ?S Spice)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?S ?P)
            (subclass ?CLASS PlantAnatomicalStructure))))
Economy.kif 4575-4582
(=>
    (instance ?S Spice)
    (hasPurpose ?S
        (exists (?PUT ?F)
            (and
                (instance ?PUT Putting)
                (patient ?PUT ?S)
                (destination ?PUT ?F)
                (instance ?F PreparedFood)))))
Economy.kif 4584-4592


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 is open source software produced by Articulate Software and its partners