TreeView Knowledge Base Browser

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 ist eine teilkategorie von TasteAttribute

appearance as argument number 2

(instance CoolingFlavour FlavourAttribute)	Economy.kif 4410-4410	CoolingFlavour ist ein fall von FlavourAttribute %n{nicht}
(instance EarthyFlavour FlavourAttribute)	Economy.kif 4414-4414	EarthyFlavour ist ein fall von FlavourAttribute %n{nicht}
(instance FloralFlavour FlavourAttribute)	Economy.kif 4418-4418	FloralFlavour ist ein fall von FlavourAttribute %n{nicht}
(instance FruityFlavour FlavourAttribute)	Economy.kif 4422-4422	FruityFlavour ist ein fall von FlavourAttribute %n{nicht}
(instance HerbaceousFlavour FlavourAttribute)	Economy.kif 4426-4426	HerbaceousFlavour ist ein fall von FlavourAttribute %n{nicht}
(instance HotFlavour FlavourAttribute)	Economy.kif 4406-4406	HotFlavour ist ein fall von FlavourAttribute %n{nicht}
(instance NuttyFlavour FlavourAttribute)	Economy.kif 4430-4430	NuttyFlavour ist ein fall von FlavourAttribute %n{nicht}
(instance PineyFlavour FlavourAttribute)	Economy.kif 4439-4439	PineyFlavour ist ein fall von FlavourAttribute %n{nicht}
(instance PungentFlavour FlavourAttribute)	Economy.kif 4434-4434	PungentFlavour ist ein fall von FlavourAttribute %n{nicht}
(instance SpicyFlavour FlavourAttribute)	Economy.kif 4443-4443	SpicyFlavour ist ein fall von FlavourAttribute %n{nicht}
(instance SulfuryFlavour FlavourAttribute)	Economy.kif 4451-4451	SulfuryFlavour ist ein fall von FlavourAttribute %n{nicht}
(instance WoodyFlavour FlavourAttribute)	Economy.kif 4447-4447	WoodyFlavour ist ein fall von FlavourAttribute %n{nicht}
(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

Wenn Process ist ein fall von Putting %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Entity ist ein fall von Spice %n{nicht} und ** Process endet an Object %n{nicht} und ** Object ist ein fall von PreparedFood %n{nicht},
dann es gibt ** Process und Attribute um ** ** Process ist ein fall von InternalChange %n{nicht} und ** Object ist ein patient von ** ** Process %n{nicht} und ** Attribute ist ein resultat von ** ** Process %n{nicht} und ** Attribute ist ein attribut von ** Object %n{nicht} und ** Attribute ist ein fall von FlavourAttribute %n{nicht} oder ** Attribute ist ein fall von ColorAttribute %n{nicht}

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

KB Term:			Term intersection

English Word: