Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Biologist(biologist) |  | bacteriologist, biologist, cytologist, ecologist, geneticist, life_scientist, microbiologist, molecular_biologist, neurobiologist, physiologist, radiobiologist, sociobiologist, systematist, taxonomer, taxonomist, vivisectionist |
| 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 |
|