CoffeePlant(coffee plant) |
appearance as argument number 1 |
(documentation CoffeePlant EnglishLanguage "Coffea is a genus of flowering plants in the family Rubiaceae. Coffea species are shrubs or small trees native to tropical and southern Africa and tropical Asia. The seeds of some species, called coffee beans, are used to flavor various beverages and products. The fruits, like the seeds, contain a large amount of caffeine, and have a distinct sweet taste and are often juiced. The plant ranks as one of the world's most valuable and widely traded commodity crops and is an important export product of several countries, including those in Central and South America, the Caribbean and Africa.[from Wikipedia]") | Economy.kif 4599-4608 | |
(subclass CoffeePlant Shrub) | Economy.kif 4598-4598 | Coffee plant is a subclass of shrub |
appearance as argument number 2 |
(names "coffea plant" CoffeePlant) | Economy.kif 4609-4609 | Coffee plant has name "coffea plant" |
(subclass CoffeaArabica CoffeePlant) | Economy.kif 4611-4611 | Coffea arabica is a subclass of coffee plant |
(subclass CoffeaRobusta CoffeePlant) | Economy.kif 4617-4617 | Coffea robusta is a subclass of coffee plant |
(termFormat EnglishLanguage CoffeePlant "coffee plant") | domainEnglishFormat.kif 64707-64707 | Coffea robusta is a subclass of coffee plant |
consequent |
(=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant)) |
Economy.kif 4629-4634 |
|