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

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


(subclass BlackPepper Spice) Economy.kif 4460-4460 Black pepper is a subclass of spice
(subclass Cardamom Spice) Economy.kif 4459-4459 Cardamom is a subclass of spice
(subclass Cinnamon Spice) Economy.kif 4462-4462 Cinnamon is a subclass of spice
(subclass Clove Spice) Economy.kif 4456-4456 Clove is a subclass of spice
(subclass Ginger Spice) Economy.kif 4463-4463 Ginger is a subclass of spice
(subclass Mace Spice) Economy.kif 4458-4458 Mace is a subclass of spice
(subclass Nutmeg Spice) Economy.kif 4457-4457 Nutmeg is a subclass of spice
(subclass SpicePepper Spice) Economy.kif 4461-4461 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 4455-4455 Vanilla is a subclass of spice
(termFormat ChineseLanguage Spice "香料") domainEnglishFormat.kif 54658-54658 Vanilla is a subclass of spice
(termFormat ChineseTraditionalLanguage Spice "香料") domainEnglishFormat.kif 54657-54657 Vanilla is a subclass of spice
(termFormat EnglishLanguage Spice "spice") domainEnglishFormat.kif 54656-54656 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 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


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