Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Jam
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Jam PreparedFood) | Food.kif 1761-1761 | Jam is a subclass of food |
| (subclass Jam Colloid) | Food.kif 1762-1762 | Jam is a subclass of colloid |
| (documentation Jam EnglishLanguage "Jam are Fruit preserves which are preparations of fruits whose main preserving agent is sugar and sometimes acid, often stored in glass jars and used as a condiment or spread.[Wikipedia]") | Food.kif 1763-1765 | Jam is a subclass of colloid |
| (initialPart Jam Fruit) | Food.kif 1767-1767 | Every jam is initially part of a fruit |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Jam "jam") | Food.kif 1766-1766 |
| antecedent |
|
|
| (=> (and (instance ?M Meal) (member ?H ?M) (or (instance ?H Coffee) (instance ?H Tea)) (member ?J ?M) (instance ?J Juice) (member ?B ?M) (instance ?B BreadOrBiscuit) (member ?B ?M) (instance ?B Butter) (member ?JA ?M) (instance ?JA Jam)) (attribute ?M ContinentalBreakfast)) |
Food.kif 1744-1759 | If All of the following hold: (1) X is an instance of meal (2) Y is a member of X (3) Y is an instance of coffee or Y is an instance of tea (4) Z is a member of X (5) Z is an instance of juice (6) W is a member of X (7) W is an instance of bread or biscuit (8) W is a member of X (9) W is an instance of butter (10) V is a member of X (11) V is an instance of jam, then continental breakfast is an attribute of X |
| (=> (instance ?J Jam) (attribute ?J CookedAttribute)) |
Food.kif 1769-1771 | If X is an instance of jam, then cooked is an attribute of X |
| (=> (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 |
|