Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoffeePlant(coffee plant) |
| appearance as argument number 1 |
|
| (subclass CoffeePlant Shrub) | Economy.kif 4931-4931 | Coffee plant is a subclass of shrub |
| (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 4932-4941 | Coffee plant is a subclass of shrub |
| appearance as argument number 2 |
|
|
| (names "coffea plant" CoffeePlant) | Economy.kif 4942-4942 | Coffee plant has name "coffea plant" |
| (subclass CoffeaArabica CoffeePlant) | Economy.kif 4944-4944 | Coffea arabica is a subclass of coffee plant |
| (subclass CoffeaRobusta CoffeePlant) | Economy.kif 4950-4950 | Coffea robusta is a subclass of coffee plant |
| (termFormat EnglishLanguage CoffeePlant "coffee plant") | domainEnglishFormat.kif 64662-64662 | 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 4962-4967 | If equal X and Object made from Y, X is a subclass of coffee bean, and Y is a subclass of seed, then every Y is initially part of a coffee plant |
|