Stirring |
appearance as argument number 1 |
(documentation Stirring EnglishLanguage "Any instance of LiquidMotion which is also an instance of Combining two or more Liquids.") | Mid-level-ontology.kif 17557-17558 | |
(subclass Stirring Combining) | Mid-level-ontology.kif 17556-17556 | |
(subclass Stirring LiquidMotion) | Mid-level-ontology.kif 17555-17555 |
appearance as argument number 2 |
(termFormat ChineseLanguage Stirring "搅拌") | domainEnglishFormat.kif 55376-55376 | |
(termFormat ChineseTraditionalLanguage Stirring "攪拌") | domainEnglishFormat.kif 55375-55375 | |
(termFormat EnglishLanguage Stirring "stirring") | domainEnglishFormat.kif 55374-55374 |
consequent |
(=> (and (instance ?X DryRoasting) (instance ?F Food) (patient ?X ?F)) (holdsDuring ?X (exists (?H ?S) (and (instance ?H Heating) (instance ?S Stirring) (subProcess ?H ?X) (subProcess ?S ?X) (during (WhenFn ?S) (WhenFn ?H)) (patient ?H ?F) (patient ?S ?F) (not (exists (?O ?W) (and (instance ?O Oil) (instance ?W DrinkingWater) (patient ?X ?O) (patient ?X ?W)))))))) |
Food.kif 128-151 |