Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoffeaRobusta(coffea robusta) |
| appearance as argument number 1 |
|
| (subclass CoffeaRobusta CoffeePlant) | Economy.kif 4950-4950 | Coffea robusta is a subclass of coffee plant |
| (documentation CoffeaRobusta EnglishLanguage "CoffeaRobusta is a subclass of CoffeePlant, representing about 40% of global production. It is less acidic, more bitter and contained more Caffeine(~2.7%) than CoffeaArabica plant.[Wikipedia]") | Economy.kif 4951-4953 | Coffea robusta is a subclass of coffee plant |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CoffeaRobusta "coffea robusta") | Economy.kif 4954-4954 | |
| (names "coffea canephora" CoffeaRobusta) | Economy.kif 4955-4955 | Coffea robusta has name "coffea canephora" |
| consequent |
|
|
| (=> (instance ?P (PlantFn CoffeeRobusta)) (instance ?P CoffeaRobusta)) |
Economy.kif 4998-5000 | If X is an instance of plant fn coffee robusta, then X is an instance of coffea robusta |
|