Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Bowing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PearFruit Fruit) | Food.kif 2213-2213 | Pear fruit is a subclass of fruit |
| (subclass PearFruit (FoodForFn Animal)) |
Food.kif 2214-2214 | Pear fruit is a subclass of food for animal |
| (documentation PearFruit EnglishLanguage "A Fruit that has a thick skin and the shape of a tear drop.") | Food.kif 2215-2216 | Pear fruit is a subclass of food for animal |
| (externalImage PearFruit "http://upload.wikimedia.org/wikipedia/commons/ c/ cf/ Pears.jpg") | pictureList.kif 872-872 | Pear fruit is a subclass of food for animal |
| appearance as argument number 2 |
|
|
|
