Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Pancake BreadOrBiscuit) | Food.kif 2743-2743 | Pancake is a subclass of bread or biscuit |
| (documentation Pancake EnglishLanguage "A pancake is a thin, flat, round cake prepared from a batter, or dough in some cases, and cooked on a hot griddle or frying pan. Most Pancakes are quick breads; some use a yeast_raised or fermented batter. Most Pancakes are cooked one side on a griddle and flipped partway through to cook the other side. Depending on the region, Pancake may be served at any time, with a variety of toppings or fillings including jam, chocolate chips, fruit, syrup or meat. [Wikipedia]") | Food.kif 2744-2751 | Pancake is a subclass of bread or biscuit |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Pancake "pancake") | domainEnglishFormat.kif 65292-65292 |
| antecedent |
|
|
| (=> (instance ?P Pancake) (exists (?F) (and (instance ?F Frying) (result ?F ?P)))) |
Food.kif 2752-2757 | If X is an instance of pancake, then there exists Y such that Y is an instance of frying and X is a result of Y |
|