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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlavourAttribute
FlavourAttribute(flavour attribute)

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


(documentation FlavourAttribute EnglishLanguage "The subclass of TasteAttributes in addition to the five basic tasts prominent in food.") Economy.kif 4402-4403
(subclass FlavourAttribute TasteAttribute) Economy.kif 4401-4401 Flavour attribute is a subclass of taste attribute

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


(instance CoolingFlavour FlavourAttribute) Economy.kif 4410-4410 Cooling flavour is an instance of flavour attribute
(instance EarthyFlavour FlavourAttribute) Economy.kif 4414-4414 Earthy flavour is an instance of flavour attribute
(instance FloralFlavour FlavourAttribute) Economy.kif 4418-4418 Floral flavour is an instance of flavour attribute
(instance FruityFlavour FlavourAttribute) Economy.kif 4422-4422 Fruity flavour is an instance of flavour attribute
(instance HerbaceousFlavour FlavourAttribute) Economy.kif 4426-4426 Herbaceous flavour is an instance of flavour attribute
(instance HotFlavour FlavourAttribute) Economy.kif 4406-4406 Hot flavour is an instance of flavour attribute
(instance NuttyFlavour FlavourAttribute) Economy.kif 4430-4430 Nutty flavour is an instance of flavour attribute
(instance PineyFlavour FlavourAttribute) Economy.kif 4439-4439 Piney flavour is an instance of flavour attribute
(instance PungentFlavour FlavourAttribute) Economy.kif 4434-4434 Pungent flavour is an instance of flavour attribute
(instance SpicyFlavour FlavourAttribute) Economy.kif 4443-4443 Spicy flavour is an instance of flavour attribute
(instance SulfuryFlavour FlavourAttribute) Economy.kif 4451-4451 Sulfury flavour is an instance of flavour attribute
(instance WoodyFlavour FlavourAttribute) Economy.kif 4447-4447 Woody flavour is an instance of flavour attribute
(termFormat EnglishLanguage FlavourAttribute "flavour attribute") Economy.kif 4404-4404

consequent
-------------------------


(=>
    (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


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