![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CornFlour(corn flour) |
| appearance as argument number 1 |
|
|
| (subclass CornFlour Flour) | Food.kif 1528-1528 | Corn flour is a subclass of flour |
| (documentation CornFlour EnglishLanguage "CornFlour is the starch derived from corn (MaizeGrain).[wikipedia]") | Food.kif 1529-1529 | Corn flour is a subclass of flour |
| (initialPart CornFlour MaizeGrain) | Food.kif 1532-1532 | Every corn flour is initially part of a maize grain |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CornFlour "corn flour") | Food.kif 1530-1530 | |
| (names "corn starch" CornFlour) | Food.kif 1531-1531 | Corn flour has name "corn starch" |