Cucumber |
appearance as argument number 1 |
(documentation Cucumber EnglishLanguage "Cucumbers &Fruits of CucumberPlant.") | Economy.kif 4336-4336 | |
(externalImage Cucumber "http://articulatesoftware.com/SUMOpictures/food/ vegetables/ cucumber/ cucumber_12.png") | pictureList.kif 377-377 | |
(subclass Cucumber Vegetable) | Economy.kif 4335-4335 |
appearance as argument number 2 |
(termFormat ChineseLanguage Cucumber "黄瓜") | domainEnglishFormat.kif 17999-17999 | |
(termFormat ChineseTraditionalLanguage Cucumber "黃瓜") | domainEnglishFormat.kif 17998-17998 | |
(termFormat EnglishLanguage Cucumber "cucumber") | domainEnglishFormat.kif 17997-17997 |
antecedent |
(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Cucumber)) (initialPart ?CLASS CucumberPlant)) |
Economy.kif 4338-4342 |