Aerating |
appearance as argument number 1 |
(documentation Aerating EnglishLanguage "Combining a substance with Air.") | Mid-level-ontology.kif 1890-1890 | |
(subclass Aerating Combining) | Mid-level-ontology.kif 1889-1889 |
appearance as argument number 2 |
(termFormat ChineseLanguage Aerating "曝气") | domainEnglishFormat.kif 5633-5633 | |
(termFormat ChineseTraditionalLanguage Aerating "曝氣") | domainEnglishFormat.kif 5632-5632 | |
(termFormat EnglishLanguage Aerating "aerating") | domainEnglishFormat.kif 5631-5631 |
antecedent |
(=> (and (instance ?FM FoamingMilk) (patient ?FM ?M) (instance ?M ProcessedMilk) (instance ?A Aerating) (patient ?A ?M)) (subProcess ?A ?FM)) |
Food.kif 1218-1225 | |
(=> (instance ?AERATE Aerating) (exists (?AIR ?S) (and (patient ?AERATE ?AIR) (instance ?AIR Air) (patient ?AERATE ?S) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 1892-1899 |
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 1190-1205 |