| 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 19081-19082 | |
| (subclass Stirring Combining) | Mid-level-ontology.kif 19080-19080 | Stirring est une sous-classe de combiner |
| (subclass Stirring LiquidMotion) | Mid-level-ontology.kif 19079-19079 | Stirring est une sous-classe de LiquidMotion |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Stirring "搅拌") | domainEnglishFormat.kif 55378-55378 | |
| (termFormat ChineseTraditionalLanguage Stirring "攪拌") | domainEnglishFormat.kif 55377-55377 | |
| (termFormat EnglishLanguage Stirring "stirring") | domainEnglishFormat.kif 55376-55376 |
| 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 |
|
|
|
|