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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProcessedMilk

 Sigma KEE - ProcessedMilk
ProcessedMilk

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 est une sous-classe de boisson
(subclass ProcessedMilk CowMilk) Food.kif 2828-2828 ProcessedMilk est une sous-classe de CowMilk
(subclass ProcessedMilk DairyArtifact) Food.kif 2826-2826 ProcessedMilk est une sous-classe de DairyArtifact

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


(relatedInternalConcept Milk ProcessedMilk) Mid-level-ontology.kif 10864-10864 Milk est reli� � l'int�rieur de SUMO � ProcessedMilk
(subclass MilkFoam ProcessedMilk) Food.kif 1227-1227 MilkFoam est une sous-classe de ProcessedMilk
(subclass OnePercentMilk ProcessedMilk) Food.kif 2964-2964 OnePercentMilk est une sous-classe de ProcessedMilk
(subclass SemiSkimmedMilk ProcessedMilk) Food.kif 2988-2988 SemiSkimmedMilk est une sous-classe de ProcessedMilk
(subclass SkimmedMilk ProcessedMilk) Food.kif 3013-3013 SkimmedMilk est une sous-classe de ProcessedMilk
(subclass TwoPercentMilk ProcessedMilk) Food.kif 2940-2940 TwoPercentMilk est une sous-classe de ProcessedMilk
(subclass WholeMilk ProcessedMilk) Food.kif 2845-2845 WholeMilk est une sous-classe de 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
(=>
    (and
        (instance ?FM FoamingMilk)
        (patient ?FM ?M)
        (instance ?M ProcessedMilk)
        (instance ?A Aerating)
        (patient ?A ?M))
    (subProcess ?A ?FM))		 Food.kif 1218-1225
(=>
    (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
(=>
    (instance ?PM ProcessedMilk)
    (exists (?P ?M)
        (and
            (instance ?P IntentionalProcess)
            (instance ?M CowMilk)
            (patient ?P ?M)
            (result ?P ?PM))))		 Food.kif 2832-2839

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


(=>
    (instance ?FM FoamingMilk)
    (exists (?M ?MF)
        (and
            (instance ?M ProcessedMilk)
            (instance ?MF MilkFoam)
            (patient ?FM ?M)
            (result ?FM ?MF))))		 Food.kif 1181-1188


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