Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Psychologist(psychologist) |  | psychologist |
| appearance as argument number 1 |
|
|
| (instance Psychologist Profession) | Biography.kif 538-538 | Psychologist is an instance of profession |
| (subAttribute Psychologist Scientist) | Biography.kif 539-539 | Psychologist is a subattribute of scientist |
| (documentation Psychologist EnglishLanguage "A scientist trained in Psychology.") | Biography.kif 540-540 | Psychologist is a subattribute of scientist |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Psychologist "psychologist") | Biography.kif 541-541 |
| antecedent |
|
|
| (=> (attribute ?PERSON Psychologist) (hasExpertise ?PERSON Psychology)) |
Biography.kif 543-545 | If psychologist is an attribute of X, then psychology has an expertise in X |
|