Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Hen
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DateFruit Fruit) | Food.kif 2208-2208 | Date fruit is a subclass of fruit |
| (subclass DateFruit (FoodForFn Animal)) |
Food.kif 2209-2209 | Date fruit is a subclass of food for animal |
| (documentation DateFruit EnglishLanguage "A Fruit that is produced by the date palm.") | Food.kif 2210-2211 | Date fruit is a subclass of food for animal |
| (subclass DateFruit TropicalFruit) | Food.kif 2395-2395 | Date fruit is a subclass of tropical fruit |
| (externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 7e/ Medjool_Date.jpg/ 100px_Medjool_Date.jpg") | pictureList-ImageNet.kif 595-595 | Date fruit is a subclass of tropical fruit |
| (externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d8/ Date_Fruits_Duo.jpg/ 235px_Date_Fruits_Duo.jpg") | pictureList-ImageNet.kif 596-596 | Date fruit is a subclass of tropical fruit |
| (externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Parepou_fruit_dried.jpg") | pictureList-ImageNet.kif 597-597 | Date fruit is a subclass of tropical fruit |
| (externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 5f/ Phoenix_(botanical)_Ñиники.jpg/ 250px_Phoenix_(botanical)_Ñиники.jpg") | pictureList-ImageNet.kif 598-598 | Date fruit is a subclass of tropical fruit |
| (externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 10/ Parepou_fruit_couleur.jpg/ 800px_Parepou_fruit_couleur.jpg") | pictureList-ImageNet.kif 599-599 | Date fruit is a subclass of tropical fruit |
| (externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 65/ Parepou_fruit.jpg/ 800px_Parepou_fruit.jpg") | pictureList-ImageNet.kif 600-600 | Date fruit is a subclass of tropical fruit |
| (externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Dates_on_date_palm.jpg") | pictureList.kif 894-894 | Date fruit is a subclass of tropical fruit |
| (externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 17/ Dates_on_date_palm.jpg/ 411px_Dates_on_date_palm.jpg") | pictureList.kif 928-928 | Date fruit is a subclass of tropical fruit |
| appearance as argument number 2 |
|
|
|
_Ñиники.jpg/250px_Phoenix_(botanical)_Ñиники.jpg)