Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Spice

Sigma KEE - Spice
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
(subclass Spice PreparedFood) Economy.kif 4359-4359

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


(subclass BlackPepper Spice) Economy.kif 4460-4460
(subclass Cardamom Spice) Economy.kif 4459-4459
(subclass Cinnamon Spice) Economy.kif 4462-4462
(subclass Clove Spice) Economy.kif 4456-4456
(subclass Ginger Spice) Economy.kif 4463-4463
(subclass Mace Spice) Economy.kif 4458-4458
(subclass Nutmeg Spice) Economy.kif 4457-4457
(subclass SpicePepper Spice) Economy.kif 4461-4461
(subclass Turmeric Spice) Food.kif 3520-3520
(subclass Vanilla Spice) Economy.kif 4455-4455
(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


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

Show without tree


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