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 は味覚属性の subclass では %n

appearance as argument number 2

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

工程は置くの instance では %n エンティティーは工程の patient では %n エンティティーは Spice の instance では %n 工程はオブジェクトに ends %n{ない} オブジェクトは PreparedFood の instance では %n
工程属性工程は内部変化の instance では %n オブジェクトは工程の patient では %n 属性は工程の result では %n 属性はオブジェクトの attribute では %n 属性は FlavourAttribute の instance では %n 属性はカラー属性の instance では %n

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: