Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Botany(botany) |  | algology, botany, mycology, palaeobotany, palaeodendrology, paleobotany, paleodendrology, phycology, phytology, pomology, pteridology |
| appearance as argument number 1 |
|
|
| (subField Botany Biology) | Mid-level-ontology.kif 23456-23456 | Botany is a sub-field of biology |
| (subclass Botany Science) | Mid-level-ontology.kif 23457-23457 | Botany is a subclass of science |
| (documentation Botany EnglishLanguage "Botany, plant science(s), or plant biology is a branch of Biology that involves the scientific study of plant life.") | Mid-level-ontology.kif 23458-23459 | Botany is a subclass of science |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?PERSON Botanist) (hasExpertise ?PERSON Botany)) |
Biography.kif 625-627 | If botanist is an attribute of X, then botany has an expertise in X |
|