Cucumber(cucumber)![]() | ![]() | cucumber, cuke, gherkin |
appearance as argument number 1 |
![]() |
(documentation Cucumber EnglishLanguage "Cucumbers &Fruits of CucumberPlant.") | Economy.kif 4431-4431 | |
(externalImage Cucumber "http://articulatesoftware.com/SUMOpictures/food/ vegetables/ cucumber/ cucumber_12.png") | pictureList.kif 377-377 | |
(subclass Cucumber Vegetable) | Economy.kif 4430-4430 | Cucumber is a subclass of vegetable |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Cucumber "黄瓜") | domainEnglishFormat.kif 18003-18003 | |
(termFormat ChineseTraditionalLanguage Cucumber "黃瓜") | domainEnglishFormat.kif 18002-18002 | |
(termFormat EnglishLanguage Cucumber "cucumber") | domainEnglishFormat.kif 18001-18001 |
antecedent |
![]() |
(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Cucumber)) (initialPart ?CLASS CucumberPlant)) |
Economy.kif 4433-4437 |
|
![]() |
![]() |