Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Physicist(physicist) |  | acoustician, biophysicist, nuclear_physicist, physicist |
| appearance as argument number 1 |
|
|
| (instance Physicist Profession) | Biography.kif 552-552 | Physicist is an instance of profession |
| (subAttribute Physicist Scientist) | Biography.kif 553-553 | Physicist is a subattribute of scientist |
| (documentation Physicist EnglishLanguage " A scientist trained in Physics.") | Biography.kif 554-554 | Physicist is a subattribute of scientist |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?PERSON Physicist) (hasExpertise ?PERSON Physics)) |
Biography.kif 556-558 | If physicist is an attribute of X, then physics has an expertise in X |
|