Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Botanist(botanist) |  | botanist, phytologist, plant_scientist, pomologist, propagator |
| appearance as argument number 1 |
|
|
| (instance Botanist Profession) | Biography.kif 621-621 | Botanist is an instance of profession |
| (subAttribute Botanist Scientist) | Biography.kif 622-622 | Botanist is a subattribute of scientist |
| (documentation Botanist EnglishLanguage "A biologist specializing in the study of plants.") | Biography.kif 623-623 | Botanist is a subattribute of scientist |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?PERSON Botanist) (hasExpertise ?PERSON Botany)) |
Biography.kif 625-627 | If botanist is an attribute of X, then botany has an expertise in X |
|