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 17529-17530 | |
(subclass Stirring Combining) | Mid-level-ontology.kif 17528-17528 | Stirring est une sous-classe de combiner |
(subclass Stirring LiquidMotion) | Mid-level-ontology.kif 17527-17527 | Stirring est une sous-classe de LiquidMotion |
appearance as argument number 2 |
(termFormat ChineseLanguage Stirring "搅拌") | domainEnglishFormat.kif 55374-55374 | |
(termFormat ChineseTraditionalLanguage Stirring "攪拌") | domainEnglishFormat.kif 55373-55373 | |
(termFormat EnglishLanguage Stirring "stirring") | domainEnglishFormat.kif 55372-55372 |
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 |
|