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 and Beverage
(subclass ProcessedMilk CowMilk)	Food.kif 2828-2828	子類 ProcessedMilk and CowMilk
(subclass ProcessedMilk DairyArtifact)	Food.kif 2826-2826	子類 ProcessedMilk and 乳製品

appearance as argument number 2

(relatedInternalConcept Milk ProcessedMilk)	Mid-level-ontology.kif 10864-10864	相關的內部概念奶 and ProcessedMilk
(subclass MilkFoam ProcessedMilk)	Food.kif 1227-1227	子類 MilkFoam and ProcessedMilk
(subclass OnePercentMilk ProcessedMilk)	Food.kif 2964-2964	子類 OnePercentMilk and ProcessedMilk
(subclass SemiSkimmedMilk ProcessedMilk)	Food.kif 2988-2988	子類 SemiSkimmedMilk and ProcessedMilk
(subclass SkimmedMilk ProcessedMilk)	Food.kif 3013-3013	子類 SkimmedMilk and ProcessedMilk
(subclass TwoPercentMilk ProcessedMilk)	Food.kif 2940-2940	子類 TwoPercentMilk and ProcessedMilk
(subclass WholeMilk ProcessedMilk)	Food.kif 2845-2845	子類 WholeMilk and ProcessedMilk
(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	例 Process and FoamingMilk 例 Entity and ProcessedMilk 患者 Process and Entity Process Process and Entity 例 Process and Heating 患者 Process and Entity 例 Process and 曝氣患者 Process and Entity 結果 Process and Entity 例 Entity and 氣泡期間何時 Process and 何時 Process
(=> (and (instance ?FM FoamingMilk) (patient ?FM ?M) (instance ?M ProcessedMilk) (instance ?A Aerating) (patient ?A ?M)) (subProcess ?A ?FM))	Food.kif 1218-1225	例 Process and FoamingMilk 患者 Process and Entity 例 Entity and ProcessedMilk 例 Process and 曝氣患者 Process and Entity 子過程 Process and Process
(=> (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	例 Process and FoamingMilk 患者 Process and Physical 例 Physical and ProcessedMilk 例 Process and Heating 子過程 Process and Process 測量 Physical and 測量 RealNumber and 攝氏度 approximateValue RealNumber 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	例 Entity and ProcessedMilk Process Entity 例 Process and IntentionalProcess 例 Entity and CowMilk 患者 Process and Entity 結果 Process and Entity

consequent

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

Food.kif 1181-1188

例 Process and FoamingMilk
Entity EntityF 例 Entity and ProcessedMilk 例 EntityF and MilkFoam 患者 Process and Entity 結果 Process and EntityF

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: