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