Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Sugar
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Sugar Carbohydrate) | Mid-level-ontology.kif 10724-10724 | Sugar is a subclass of carbohydrate |
| (documentation Sugar EnglishLanguage "A simple Carbohydrate that has a sweet taste and consists mostly or entirely of sucrose.") | Mid-level-ontology.kif 10725-10726 | Sugar is a subclass of carbohydrate |
| (subclass Sugar PlantProduct) | Economy.kif 4489-4489 | Sugar is a subclass of plant product |
| (subclass Sugar Substance) | Economy.kif 4490-4490 | Sugar is a subclass of substance |
| (subclass Sugar PlantAgriculturalArtifact) | Society.kif 978-978 | Sugar is a subclass of PlantAgriculturalArtifact |
| (externalImage Sugar "http://upload.wikimedia.org/wikipedia/commons/5/56/ Sugar_2xmacro.jpg") | pictureList.kif 885-885 | Sugar is a subclass of PlantAgriculturalArtifact |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 1773-1782 | If X is an instance of jam, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of boiling (3) Z is a patient of Y (4) Z is an instance of fruit (5) W is a patient of Y (6) W is an instance of sugar (7) X is a result of Y |
| (=> (instance ?CHOC ChocolateCandy) (and (material CocoaLiquor ?CHOC) (material Oil ?CHOC) (material Sugar ?CHOC))) |
Food.kif 2522-2527 | If X is an instance of chocolate candy, then X is made of cocoa liquor, X is made of oil, and X is made of sugar |
| (=> (instance ?L Liqueur) (material Sugar ?L)) |
Food.kif 2671-2673 | If X is an instance of liqueur, then X is made of sugar |
| (=> (instance ?S Sorbet) (material Sugar ?S)) |
Food.kif 3488-3490 | If X is an instance of sorbet, then X is made of sugar |
|
