Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Milk

 Sigma KEE - Milk
Milk(milk)
acidophilus_milk, certified_milk, clabber, dried_milk, dry_milk, half-and-half, homogenized_milk, milk, milk_powder, nonfat_dry_milk, pasteurized_milk, powdered_milk, raw_milk, scalded_milk, sour_cream, sour_milk, soured_cream

appearance as argument number 1
-------------------------


(subclass Milk LiquidBodySubstance) Mid-level-ontology.kif 12320-12320 Milk is a subclass of liquid body substance
(documentation Milk EnglishLanguage "A nutritious BodySubstance produced by Mammals that has evolved to provide nourishment for their offspring duringtheir initial period of life. [Wikipedia] For the 'milk that we drink day-to-day, one should refers to ProcessMilk under Beverage.") Mid-level-ontology.kif 12321-12324 Milk is a subclass of liquid body substance
(roomTempState Milk Liquid) Mid-level-ontology.kif 33917-33917 room temperature state milk and liquid
(relatedInternalConcept Milk ProcessedMilk) Food.kif 1210-1210 Milk is internally related to processed milk
(subclass Milk DairyArtifact) Society.kif 1054-1054 Milk is a subclass of dairy product
(externalImage Milk "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Milk_glass.jpg/ 200px_Milk_glass.jpg") pictureList.kif 1186-1186 Milk is a subclass of dairy product

appearance as argument number 2
-------------------------


(subclass CowMilk Milk) Food.kif 2870-2870 Cow milk is a subclass of milk
(subclass GoatMilk Milk) Food.kif 3067-3067 Goat milk is a subclass of milk
(subclass SheepMilk Milk) Food.kif 3077-3077 Sheep milk is a subclass of milk
(subclass WaterBuffaloMilk Milk) Food.kif 3081-3081 Water buffalo milk is a subclass of milk
(subclass YakMilk Milk) Food.kif 3085-3085 Yak milk is a subclass of milk
(termFormat EnglishLanguage Milk "milk") domainEnglishFormat.kif 37781-37781 Yak milk is a subclass of milk
(termFormat ChineseTraditionalLanguage Milk "奶") domainEnglishFormat.kif 37782-37782 Yak milk is a subclass of milk
(termFormat ChineseLanguage Milk "乳") domainEnglishFormat.kif 37783-37783 Yak milk is a subclass of milk

antecedent
-------------------------


(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))		 Mid-level-ontology.kif 12326-12333 If X is an instance of milk, then there exist Y, Z such that Z is an instance of mammal, female is an attribute of Z, Z is an instrument for Y, and X is a result of Y
(=>
    (and
        (instance ?C Cream)
        (part ?C ?O1)
        (instance ?O1 ButterFat)
        (measure ?O1
            (MeasureFn ?X Gram))
        (instance ?M Milk)
        (part ?M ?O2)
        (instance ?O2 ButterFat)
        (measure ?O2
            (MeasureFn ?Y Gram)))
    (greaterThan ?X ?Y))		 Food.kif 3154-3166 If All of the following hold: (1) X is an instance of cream (2) X is a part of Y (3) Y is an instance of butter fat (4) the measure of Y is Z gram(s) (5) W is an instance of milk (6) W is a part of V (7) V is an instance of butter fat (8) the measure of V is U gram(s), then Z is greater than U
(=>
    (and
        (instance ?C CurdlingMilk)
        (instance ?M Milk)
        (patient ?C ?M))
    (exists (?PH ?D ?H ?L)
        (and
            (measure ?M
                (MeasureFn ?PH PHValue))
            (instance ?D Decreasing)
            (subProcess ?D ?C)
            (patient ?D ?PH)
            (holdsDuring
                (BeginFn
                    (WhenFn ?D))
                (and
                    (equal ?PH ?H)
                    (approximateValue ?H 6.5)))
            (holdsDuring
                (EndFn
                    (WhenFn ?D))
                (and
                    (equal ?PH ?L)
                    (approximateValue ?L 4.5))))))		 Food.kif 3256-3279 If X is an instance of curdling milk, Y is an instance of milk, and Y is a patient of X, then there exist Z, W,, , V and U such that the measure of Y is Z PH value(s) and W is an instance of decreasing and W is a subprocess of X and Z is a patient of W and equal Z and V and the approximate value of V is 6.5 holds during the beginning of the time of existence of W and equal Z and U and the approximate value of U is 4.5 holds during the end of the time of existence of W

consequent
-------------------------


(=>
    (initialPart DairyArtifact ?CLASS)
    (equal ?CLASS Milk))		 Food.kif 2851-2853 If every dairy product is initially part of a X, then equal X and milk
(=>
    (subclass ?BF ButterFat)
    (initialPart ?BF Milk))		 Food.kif 2965-2967 If X is a subclass of butter fat, then every X is initially part of a milk
(=>
    (instance ?C ChurningButter)
    (hasPurpose ?C
        (exists (?M ?R ?B)
            (and
                (instance ?M Milk)
                (instance ?R Rotating)
                (patient ?R ?M)
                (result ?R ?B)
                (instance ?B Butter)))))		 Food.kif 3094-3103 If X is an instance of churning butter, then X has the purpose there exist Y, Z, W such that Y is an instance of milk, Z is an instance of rotating, Y is a patient of Z, W is a result of Z, and W is an instance of butter
(=>
    (and
        (instance ?C ChurningButter)
        (instance ?E Emulsion)
        (patient ?C ?E))
    (exists (?M ?B)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?C))
                (and
                    (equal ?E ?M)
                    (instance ?M Milk)))
            (holdsDuring
                (EndFn
                    (WhenFn ?C))
                (and
                    (equal ?E ?B)
                    (instance ?B Butter))))))		 Food.kif 3105-3123 If X is an instance of churning butter, Y is an instance of emulsion, and Y is a patient of X, then All of the following hold: (1) there exist Z (2) W such that equal Y (3) Z (4) Z is an instance of milk holds during the beginning of the time of existence of X (5) equal Y (6) W (7) W is an instance of butter holds during the end of the time of existence of X
(=>
    (instance ?C Cream)
    (exists (?CH ?M)
        (and
            (instance ?CH Separating)
            (patient ?CH ?M)
            (instance ?M Milk)
            (result ?CH Cream))))		 Food.kif 3145-3152 If X is an instance of cream, then there exist Y, Z such that Y is an instance of separating, Z is a patient of Y, Z is an instance of milk, and cream is a result of Y
(=>
    (instance ?FM FermentedMilkProduct)
    (exists (?M ?F)
        (and
            (instance ?M Milk)
            (instance ?F Fermentation)
            (patient ?F ?M)
            (result ?F ?FM))))		 Food.kif 3187-3194 If X is an instance of fermented milk product, then there exist Y, Z such that Y is an instance of milk, Z is an instance of fermentation, Y is a patient of Z, and X is a result of Z
(=>
    (instance ?C CurdlingMilk)
    (exists (?M)
        (and
            (instance ?M Milk)
            (patient ?C ?M))))		 Food.kif 3249-3254 If X is an instance of curdling milk, then there exists Y such that Y is an instance of milk and Y is a patient of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners