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


KB Term:  Term intersection
English Word: 

  Aerating

 Sigma KEE - Aerating
Aerating(aerating)adjusted, aeration

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


(subclass Aerating Combining) Mid-level-ontology.kif 2471-2471 Aerating is a subclass of combining
(documentation Aerating EnglishLanguage "Combining a substance with Air.") Mid-level-ontology.kif 2472-2472 Aerating is a subclass of combining

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


(termFormat EnglishLanguage Aerating "aerating") domainEnglishFormat.kif 5635-5635
(termFormat ChineseTraditionalLanguage Aerating "曝氣") domainEnglishFormat.kif 5636-5636
(termFormat ChineseLanguage Aerating "曝气") domainEnglishFormat.kif 5637-5637

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


(=>
    (instance ?AERATE Aerating)
    (exists (?AIR ?S)
        (and
            (patient ?AERATE ?AIR)
            (instance ?AIR Air)
            (patient ?AERATE ?S)
            (attribute ?S Liquid))))		 Mid-level-ontology.kif 2474-2481 If X is an instance of aerating, then there exist Y, Z such that Y is a patient of X, Y is an instance of air, Z is a patient of X, and liquid is an attribute of Z
(=>
    (and
        (instance ?FM FoamingMilk)
        (patient ?FM ?M)
        (instance ?M ProcessedMilk)
        (instance ?A Aerating)
        (patient ?A ?M))
    (subProcess ?A ?FM))		 Food.kif 1196-1203 If X is an instance of foaming milk, Y is a patient of X, Y is an instance of processed milk, Z is an instance of aerating, and Y is a patient of Z, then Z is a subprocess of X

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


(=>
    (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 1168-1183 If X is an instance of foaming milk, Y is an instance of processed milk, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of heating (3) Y is a patient of Z (4) W is an instance of aerating (5) Y is a patient of W (6) V is a result of W (7) V is an instance of bubble (8) the time of existence of W takes place during the time of existence of Z


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