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 ist eine teilkategorie von Beverage
(subclass ProcessedMilk CowMilk)	Food.kif 2828-2828	ProcessedMilk ist eine teilkategorie von CowMilk
(subclass ProcessedMilk DairyArtifact)	Food.kif 2826-2826	ProcessedMilk ist eine teilkategorie von DairyArtifact

appearance as argument number 2

(relatedInternalConcept Milk ProcessedMilk)	Mid-level-ontology.kif 10864-10864	Milk ist innerlich verwandt mit ProcessedMilk %n{nicht}
(subclass MilkFoam ProcessedMilk)	Food.kif 1227-1227	MilkFoam ist eine teilkategorie von ProcessedMilk
(subclass OnePercentMilk ProcessedMilk)	Food.kif 2964-2964	OnePercentMilk ist eine teilkategorie von ProcessedMilk
(subclass SemiSkimmedMilk ProcessedMilk)	Food.kif 2988-2988	SemiSkimmedMilk ist eine teilkategorie von ProcessedMilk
(subclass SkimmedMilk ProcessedMilk)	Food.kif 3013-3013	SkimmedMilk ist eine teilkategorie von ProcessedMilk
(subclass TwoPercentMilk ProcessedMilk)	Food.kif 2940-2940	TwoPercentMilk ist eine teilkategorie von ProcessedMilk
(subclass WholeMilk ProcessedMilk)	Food.kif 2845-2845	WholeMilk ist eine teilkategorie von 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	Wenn Process ist ein fall von FoamingMilk %n{nicht} und Entity ist ein fall von ProcessedMilk %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Process, Process, and und Entity um Process ist ein fall von Heating %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein fall von Aerating %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von Bubble %n{nicht} und die zeit des Bestehens von Process geschieht waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?FM FoamingMilk) (patient ?FM ?M) (instance ?M ProcessedMilk) (instance ?A Aerating) (patient ?A ?M)) (subProcess ?A ?FM))	Food.kif 1218-1225	Wenn Process ist ein fall von FoamingMilk %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von ProcessedMilk %n{nicht} und Process ist ein fall von Aerating %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Process ist ein subProzess von ** 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	Wenn Process ist ein fall von FoamingMilk %n{nicht} und Physical ist ein patient von Process %n{nicht} und Physical ist ein fall von ProcessedMilk %n{nicht} und Process ist ein fall von Heating %n{nicht} und Process ist ein subProzess von Process und das mass von Physical ist RealNumber CelsiusDegree(s) %n{nicht}, dann 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	Wenn Entity ist ein fall von ProcessedMilk %n{nicht}, dann es gibt Process und Entity um Process ist ein fall von IntentionalProcess %n{nicht} und Entity ist ein fall von CowMilk %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}

consequent

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

Food.kif 1181-1188

Wenn Process ist ein fall von FoamingMilk %n{nicht},
dann es gibt Entity und ** EntityF um ** Entity ist ein fall von ProcessedMilk %n{nicht} und ** EntityF ist ein fall von MilkFoam %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** EntityF ist ein resultat von ** Process %n{nicht}

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: