Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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 10865-10868
(externalImage Milk "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Milk_glass.jpg/ 200px-Milk_glass.jpg") pictureList.kif 1186-1186
(relatedInternalConcept Milk ProcessedMilk) Mid-level-ontology.kif 10864-10864 Milk is internally related to processed milk
(roomTempState Milk Liquid) Mid-level-ontology.kif 31418-31418 roomTempState milk and liquid
(subclass Milk LiquidBodySubstance) Mid-level-ontology.kif 10863-10863 Milk is a subclass of liquid body substance

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


(subclass CowMilk Milk) Food.kif 2841-2841 Sheep milk is a subclass of milk
(subclass GoatMilk Milk) Food.kif 3038-3038 Goat milk is a subclass of milk
(subclass SheepMilk Milk) Food.kif 3048-3048 SheepMilk is a subclass of milk
(subclass WaterBuffaloMilk Milk) Food.kif 3052-3052 Water buffalo milk is a subclass of milk
(subclass YakMilk Milk) Food.kif 3056-3056 Yak milk is a subclass of milk
(termFormat ChineseLanguage Milk "乳") domainEnglishFormat.kif 37781-37781
(termFormat ChineseTraditionalLanguage Milk "奶") domainEnglishFormat.kif 37780-37780
(termFormat EnglishLanguage Milk "milk") domainEnglishFormat.kif 37779-37779

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


(=>
    (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 3124-3136
(=>
    (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))
                (equal ?PH ?H)
                (approximateValue ?H 6.5))
            (holdsDuring
                (EndFn
                    (WhenFn ?D))
                (equal ?PH ?L)
                (approximateValue ?L 4.5)))))
Food.kif 3226-3247
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 10870-10877

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


(=>
    (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 3076-3094
(=>
    (initialPart DairyArtifact ?CLASS)
    (equal ?CLASS Milk))
Food.kif 2822-2824
(=>
    (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 3065-3074
(=>
    (instance ?C Cream)
    (exists (?CH ?M)
        (and
            (instance ?CH Separating)
            (patient ?CH ?M)
            (instance ?M Milk)
            (result ?CH Cream))))
Food.kif 3115-3122
(=>
    (instance ?C CurdlingMilk)
    (exists (?M)
        (and
            (instance ?M Milk)
            (patient ?C ?M))))
Food.kif 3219-3224
(=>
    (instance ?FM FermentedMilkProduct)
    (exists (?M ?F)
        (and
            (instance ?M Milk)
            (instance ?F Fermentation)
            (patient ?F ?M)
            (result ?F ?FM))))
Food.kif 3157-3164
(=>
    (subclass ?BF ButterFat)
    (initialPart ?BF Milk))
Food.kif 2936-2938


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 is open source software produced by Articulate Software and its partners