Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Eggplant(eggplant)
|  | aubergine, eggplant, mad_apple |
| appearance as argument number 1 |
|
|
| (subclass Eggplant Vegetable) | Economy.kif 4603-4603 | Eggplant is a subclass of vegetable |
| (documentation Eggplant EnglishLanguage "Eggplant, also known as aubergine, is the &Fruit of a Floweringplant, called Solanum melongena.") | Economy.kif 4606-4607 | Eggplant is a subclass of vegetable |
| (externalImage Eggplant "http://articulatesoftware.com/SUMOpictures/food/ vegetables/ eggplant/ eggplant.png") | pictureList.kif 407-407 | Eggplant is a subclass of vegetable |
| appearance as argument number 2 |
|
|
| (names "aubergine" Eggplant) | Economy.kif 4604-4604 | Eggplant has name "aubergine" |
| (names "brinjal" Eggplant) | Economy.kif 4605-4605 | Eggplant has name "brinjal" |
| (termFormat EnglishLanguage Eggplant "eggplant") | domainEnglishFormat.kif 21330-21330 | Eggplant has name "brinjal" |
| (termFormat ChineseTraditionalLanguage Eggplant "茄子") | domainEnglishFormat.kif 21331-21331 | Eggplant has name "brinjal" |
| (termFormat ChineseLanguage Eggplant "茄子") | domainEnglishFormat.kif 21332-21332 | Eggplant has name "brinjal" |
| antecedent |
|
|
| (=> (and (subclass ?CLASS Fruit) (equal ?CLASS Eggplant)) (initialPart ?CLASS EggplantPlant)) |
Economy.kif 4609-4613 | If X is a subclass of fruit and equal X and eggplant, then every X is initially part of a eggplant |
|