Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Cucumber(cucumber)
|  | cucumber, cuke, gherkin |
| appearance as argument number 1 |
|
|
| (subclass Cucumber Vegetable) | Economy.kif 4552-4552 | Cucumber is a subclass of vegetable |
| (documentation Cucumber EnglishLanguage "Cucumbers &Fruits of CucumberPlant.") | Economy.kif 4553-4553 | Cucumber is a subclass of vegetable |
| (externalImage Cucumber "http://articulatesoftware.com/SUMOpictures/food/ vegetables/ cucumber/ cucumber_12.png") | pictureList.kif 377-377 | Cucumber is a subclass of vegetable |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (subclass ?CLASS Fruit) (equal ?CLASS Cucumber)) (initialPart ?CLASS CucumberPlant)) |
Economy.kif 4555-4559 | If X is a subclass of fruit and equal X and cucumber, then every X is initially part of a cucumber plant |
|