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 è una sottoclasse di AttributoDiGusto

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


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