| Sugar
| |
| appearance as argument number 1 |
|
|
| (documentation Sugar EnglishLanguage "A simple Carbohydrate that has a sweet taste and consists mostly or entirely of sucrose.") | Mid-level-ontology.kif 10575-10576 | |
| (externalImage Sugar "http://upload.wikimedia.org/wikipedia/commons/5/56/ Sugar_2xmacro.jpg") | pictureList.kif 885-885 | |
| (subclass Sugar Carbohydrate) | Mid-level-ontology.kif 10574-10574 | |
| (subclass Sugar PlantProduct) | Economy.kif 4494-4494 | |
| (subclass Sugar Substance) | Economy.kif 4495-4495 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sugar "糖") | domainEnglishFormat.kif 55984-55984 | |
| (termFormat ChineseTraditionalLanguage Sugar "糖") | domainEnglishFormat.kif 55983-55983 | |
| (termFormat EnglishLanguage Sugar "sugar") | domainEnglishFormat.kif 55982-55982 |
| consequent |
|
|
| (=> (instance ?CHOC ChocolateCandy) (and (material CocoaLiquor ?CHOC) (material Oil ?CHOC) (material Sugar ?CHOC))) |
Food.kif 2507-2512 | |
| (=> (instance ?J Jam) (exists (?B ?F ?S) (and (instance ?B Boiling) (patient ?B ?F) (instance ?F Fruit) (patient ?B ?S) (instance ?S Sugar) (result ?B ?J)))) |
Food.kif 1766-1775 | |
| (=> (instance ?L Liqueur) (material Sugar ?L)) |
Food.kif 2651-2653 | |
| (=> (instance ?S Sorbet) (material Sugar ?S)) |
Food.kif 3459-3461 |
|
|
|