Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Chemist(chemist) |  | biochemist, chemist, enzymologist, nuclear_chemist, phytochemist, radiochemist |
| appearance as argument number 1 |
|
|
| (instance Chemist Profession) | Biography.kif 408-408 | Chemist is an instance of profession |
| (subAttribute Chemist Scientist) | Biography.kif 409-409 | Chemist is a subattribute of scientist |
| (documentation Chemist EnglishLanguage "A Scientist who specializes in Chemistry.") | Biography.kif 410-410 | Chemist is a subattribute of scientist |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?PERSON Chemist) (hasExpertise ?PERSON Chemistry)) |
Biography.kif 412-414 | If chemist is an attribute of X, then chemistry has an expertise in X |
|