Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoffeaArabica(coffea arabica) |
| appearance as argument number 1 |
|
| (subclass CoffeaArabica CoffeePlant) | Economy.kif 4944-4944 | Coffea arabica is a subclass of coffee plant |
| (documentation CoffeaArabica EnglishLanguage "CoffeaArabica is a subclass of CoffeePlant, representing about 60% of global production. It is more acidic, less bitter and contained less Caffeine (~1.5%) than CoffeaRobusta plant.[Wikipedia]") | Economy.kif 4945-4947 | Coffea arabica is a subclass of coffee plant |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CoffeaArabica "coffea arabica") | Economy.kif 4948-4948 |
| consequent |
|
|
| (=> (instance ?P (PlantFn CoffeeArabica)) (instance ?P CoffeaArabica)) |
Economy.kif 4974-4976 | If X is an instance of plant fn coffee arabica, then X is an instance of coffea arabica |
|