![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Botanist
|
|
|
| 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 |