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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlavourAttribute
FlavourAttribute

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 FlavourAttribute e' uma sub-classe de Atributo Gustativo

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


(instance CoolingFlavour FlavourAttribute) Economy.kif 4410-4410 CoolingFlavour e' uma instancia de FlavourAttribute
(instance EarthyFlavour FlavourAttribute) Economy.kif 4414-4414 EarthyFlavour e' uma instancia de FlavourAttribute
(instance FloralFlavour FlavourAttribute) Economy.kif 4418-4418 FloralFlavour e' uma instancia de FlavourAttribute
(instance FruityFlavour FlavourAttribute) Economy.kif 4422-4422 FruityFlavour e' uma instancia de FlavourAttribute
(instance HerbaceousFlavour FlavourAttribute) Economy.kif 4426-4426 HerbaceousFlavour e' uma instancia de FlavourAttribute
(instance HotFlavour FlavourAttribute) Economy.kif 4406-4406 HotFlavour e' uma instancia de FlavourAttribute
(instance NuttyFlavour FlavourAttribute) Economy.kif 4430-4430 NuttyFlavour e' uma instancia de FlavourAttribute
(instance PineyFlavour FlavourAttribute) Economy.kif 4439-4439 PineyFlavour e' uma instancia de FlavourAttribute
(instance PungentFlavour FlavourAttribute) Economy.kif 4434-4434 PungentFlavour e' uma instancia de FlavourAttribute
(instance SpicyFlavour FlavourAttribute) Economy.kif 4443-4443 SpicyFlavour e' uma instancia de FlavourAttribute
(instance SulfuryFlavour FlavourAttribute) Economy.kif 4451-4451 SulfuryFlavour e' uma instancia de FlavourAttribute
(instance WoodyFlavour FlavourAttribute) Economy.kif 4447-4447 WoodyFlavour e' uma instancia de FlavourAttribute
(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