![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Anthropologist
|
|
|
| appearance as argument number 1 |
|
|
| (instance Anthropologist Profession) | Biography.kif 369-369 | Anthropologist is an instance of profession |
| (subAttribute Anthropologist Scientist) | Biography.kif 370-370 | Anthropologist is a subattribute of scientist |
| (documentation Anthropologist EnglishLanguage "A social scientist who specializes in Anthropology.") | Biography.kif 371-371 | Anthropologist is a subattribute of scientist |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?PERSON Anthropologist) (hasExpertise ?PERSON Anthropology)) |
Biography.kif 373-375 | If anthropologist is an attribute of X, then anthropology has an expertise in X |