BiodiversityAttribute
|
|
appearance as argument number 1 |
(documentation Aerating EnglishLanguage "Combining a substance with Air.") | Mid-level-ontology.kif 1897-1897 | |
(subclass Aerating Combining) | Mid-level-ontology.kif 1896-1896 | Aerating ist eine teilkategorie von Combining |
appearance as argument number 2 |
(termFormat ChineseLanguage Aerating "曝气") | domainEnglishFormat.kif 5628-5628 | |
(termFormat ChineseTraditionalLanguage Aerating "曝氣") | domainEnglishFormat.kif 5627-5627 | |
(termFormat EnglishLanguage Aerating "aerating") | domainEnglishFormat.kif 5626-5626 |
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 1899-1906 |
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 |
|