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
(subclass ProcessedMilk CowMilk)	Food.kif 2828-2828	ProcessedMilk 是 CowMilk 的 subclass
(subclass ProcessedMilk DairyArtifact)	Food.kif 2826-2826	ProcessedMilk 是乳制品的 subclass

appearance as argument number 2

(relatedInternalConcept Milk ProcessedMilk)	Mid-level-ontology.kif 10864-10864	乳和 ProcessedMilk 是内部相关
(subclass MilkFoam ProcessedMilk)	Food.kif 1227-1227	MilkFoam 是 ProcessedMilk 的 subclass
(subclass OnePercentMilk ProcessedMilk)	Food.kif 2964-2964	OnePercentMilk 是 ProcessedMilk 的 subclass
(subclass SemiSkimmedMilk ProcessedMilk)	Food.kif 2988-2988	SemiSkimmedMilk 是 ProcessedMilk 的 subclass
(subclass SkimmedMilk ProcessedMilk)	Food.kif 3013-3013	SkimmedMilk 是 ProcessedMilk 的 subclass
(subclass TwoPercentMilk ProcessedMilk)	Food.kif 2940-2940	TwoPercentMilk 是 ProcessedMilk 的 subclass
(subclass WholeMilk ProcessedMilk)	Food.kif 2845-2845	WholeMilk 是 ProcessedMilk 的 subclass
(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 和实体是 ProcessedMilk 的 instance 和那个实体是那个过程的 patient，然后有存在另一个过程，第三过程， and 和另一个实体这样那个另外过程是加热的 instance 和那个实体是那个另外过程的 patient 和那个第三过程是曝气的 instance 和那个实体是那个第三过程的 patient 和那个另外实体是那个第三过程的 result 和那个另外实体是气泡的 instance 和那个第三过程出现的 time 在那个另外过程出现的 time 时段内发生
(=> (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 和实体是那个过程的 patient 和那个实体是 ProcessedMilk 的 instance 和另一个过程是曝气的 instance 和那个实体是那个另外过程的 patient，然后那个另外过程%n是那个过程的subProcess
(=> (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 和物理是那个过程的 patient 和那个物理是 ProcessedMilk 的 instance 和另一个过程是加热的 instance 和那个另外过程%n是那个过程的subProcess 和那个物理的 measure 是实数摄氏度，然后 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，然后有存在过程和另一个实体这样那个过程是有意图过程的 instance 和那个另外实体是 CowMilk 的 instance 和那个另外实体是那个过程的 patient 和那个实体是那个过程的 result

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，
然后有存在实体和那个实体F 这样那个实体是 ProcessedMilk 的 instance 和那个实体F 是 MilkFoam 的 instance 和那个实体是那个过程的 patient 和那个实体F 是那个过程的 result

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: