![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Biologist
|
|
|
| appearance as argument number 1 |
|
|
| (instance Biologist Profession) | Biography.kif 400-400 | Biologist is an instance of profession |
| (subAttribute Biologist Scientist) | Biography.kif 401-401 | Biologist is a subattribute of scientist |
| (documentation Biologist EnglishLanguage "A Scientist who studies Biology that is living organisms.") | Biography.kif 402-402 | Biologist is a subattribute of scientist |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?PERSON Biologist) (hasExpertise ?PERSON Biology)) |
Biography.kif 404-406 | If biologist is an attribute of X, then biology has an expertise in X |