ProcessedMilk - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ProcessedMilk EnglishLanguage "ProcessedMilk is Milk from cows.")	Food.kif 2829-2829
(subclass ProcessedMilk Beverage)	Food.kif 2827-2827	ProcessedMilk は飲料の subclass では %n
(subclass ProcessedMilk CowMilk)	Food.kif 2828-2828	ProcessedMilk は CowMilk の subclass では %n
(subclass ProcessedMilk DairyArtifact)	Food.kif 2826-2826	ProcessedMilk は DairyArtifact の subclass では %n

appearance as argument number 2

(relatedInternalConcept Milk ProcessedMilk)	Mid-level-ontology.kif 10864-10864	Milk は ProcessedMilk に internally 関連して %n
(subclass MilkFoam ProcessedMilk)	Food.kif 1227-1227	MilkFoam は ProcessedMilk の subclass では %n
(subclass OnePercentMilk ProcessedMilk)	Food.kif 2964-2964	OnePercentMilk は ProcessedMilk の subclass では %n
(subclass SemiSkimmedMilk ProcessedMilk)	Food.kif 2988-2988	SemiSkimmedMilk は ProcessedMilk の subclass では %n
(subclass SkimmedMilk ProcessedMilk)	Food.kif 3013-3013	SkimmedMilk は ProcessedMilk の subclass では %n
(subclass TwoPercentMilk ProcessedMilk)	Food.kif 2940-2940	TwoPercentMilk は ProcessedMilk の subclass では %n
(subclass WholeMilk ProcessedMilk)	Food.kif 2845-2845	WholeMilk は ProcessedMilk の subclass では %n
(termFormat EnglishLanguage ProcessedMilk "processed milk")	Food.kif 2830-2830

antecedent

(=> (and (instance ?FM FoamingMilk) (instance ?M ProcessedMilk) (patient ?FM ?M)) (exists (?H ?A ?B) (and (instance ?H Heating) (patient ?H ?M) (instance ?A Aerating) (patient ?A ?M) (result ?A ?B) (instance ?B Bubble) (during (WhenFn ?A) (WhenFn ?H)))))	Food.kif 1190-1205	工程は FoamingMilk の instance では %n エンティティーは ProcessedMilk の instance では %n エンティティーは工程の patient では %n 工程工程 and エンティティー工程は加熱の instance では %n エンティティーは工程の patient では %n 工程は Aerating の instance では %n エンティティーは工程の patient では %n エンティティーは工程の result では %n エンティティーは Bubble の instance では %n 工程の time の existence は工程の time の existence の during に takes %n{ない}
(=> (and (instance ?FM FoamingMilk) (patient ?FM ?M) (instance ?M ProcessedMilk) (instance ?A Aerating) (patient ?A ?M)) (subProcess ?A ?FM))	Food.kif 1218-1225	工程は FoamingMilk の instance では %n エンティティーは工程の patient では %n エンティティーは ProcessedMilk の instance では %n 工程は Aerating の instance では %n エンティティーは工程の patient では %n 工程は工程% の subprocess では %n
(=> (and (instance ?FM FoamingMilk) (patient ?FM ?M) (instance ?M ProcessedMilk) (instance ?H Heating) (subProcess ?H ?FM) (measure ?M (MeasureFn ?T CelsiusDegree))) (approximateValue ?T 70.0))	Food.kif 1207-1216	工程は FoamingMilk の instance では %n 物理は工程の patient では %n 物理は ProcessedMilk の instance では %n 工程は加熱の instance では %n 工程は工程% の subprocess では %n 物理の measure は実数の CelsiusDegree(s) では %n approximateValue 実数 and 70.0
(=> (instance ?PM ProcessedMilk) (exists (?P ?M) (and (instance ?P IntentionalProcess) (instance ?M CowMilk) (patient ?P ?M) (result ?P ?PM))))	Food.kif 2832-2839	エンティティーは ProcessedMilk の instance では %n 工程エンティティー工程は意図的なプロセスの instance では %n エンティティーは CowMilk の instance では %n エンティティーは工程の patient では %n エンティティーは工程の result では %n

consequent

(=>
    (instance ?FM FoamingMilk)
    (exists (?M ?MF)
        (and
            (instance ?M ProcessedMilk)
            (instance ?MF MilkFoam)
            (patient ?FM ?M)
            (result ?FM ?MF))))

Food.kif 1181-1188

工程は FoamingMilk の instance では %n
エンティティーエンティティーF エンティティーは ProcessedMilk の instance では %n エンティティーF は MilkFoam の instance では %n エンティティーは工程の patient では %n エンティティーF は工程の result では %n

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

KB Term:			Term intersection

English Word: