Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WheatFlour(wheat flour) |
| appearance as argument number 1 |
|
| (subclass WheatFlour Flour) | Food.kif 1474-1474 | Wheat flour is a subclass of flour |
| (initialPart WheatFlour WheatGrain) | Food.kif 1475-1475 | Every wheat flour is initially part of a wheat grain |
| (documentation WheatFlour EnglishLanguage "WheatFlour is prepared from WheatGrain. Wheat is a grass widely cultivated for its seed, a cereal grain that is a worldwide staple food. The many species of wheat together make up the genus Triticum / ˈtrɪtɪkəm/ ; CommonWheatFlour (T.aestivum) is the flour most often used for making BreadOrBiscuits. Durum wheat flour (T.durum) is the second most used. There are also Semolina and Spelt flour. [wikiepedia]") | Food.kif 1476-1481 | Every wheat flour is initially part of a wheat grain |
| (typicalPart WheatFlour BreadOrBiscuit) | Food.kif 1541-1541 | A wheat flour is typically a part of a bread or biscuit |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?WF (OrganicObjectFn WheatGrain)) (instance ?WF WheatFlour)) |
Food.kif 1484-1486 | If X is an instance of Object made from wheat grain, then X is an instance of wheat flour |
| (=> (instance ?P Pasta) (material WheatFlour ?P)) |
Food.kif 2772-2774 | If X is an instance of pasta, then X is made of wheat flour |
|