Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Blueberry(blueberry) |  | blueberry |
| appearance as argument number 1 |
|
|
| s__subclass(s__Blueberry,s__Berry)
|
Food.kif 2224-2224 | Blueberry is a subclass of berry |
| s__documentation(s__Blueberry, s__EnglishLanguage, "A Blueberry is the fruit of a group of perennial FloweringPlants in the section Cyanococcus within the genus Vaccinium_ Vaccinium also includes cranberries, bilberries,huckleberries and Madeira blueberries_ Commercial blueberries, both wild and cultivated are all native to North America_[Wikipedia]") | Food.kif 2225-2227 | Blueberry is a subclass of berry |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, s__Blueberry, "blueberry") | domainEnglishFormat.kif 64553-64553 |
| antecedent |
|
|
| ! [V__P] : (((s__instance(V__P,s__Class) & s__subclass(V__P,s__Plant)) => ((V__P = s__PlantFn(s__Blueberry)) => s__subclass(V__P,s__Shrub))) )
|
Food.kif 2230-2232 | If equal X and plant fn blueberry, then X is a subclass of shrub |
|