![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
ListFn__7Fn__0En1In2In3Ra4En5En6In7EnFn
|
|
|
| appearance as argument number 1 |
|
|
| (instance Scientist Profession) | Biography.kif 354-354 | Scientist is an instance of profession |
| (documentation Scientist EnglishLanguage "A person with advanced knowledge of one or more Sciences.") | Biography.kif 355-355 | Scientist is an instance of profession |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?PERSON Scientist) (hasExpertise ?PERSON Science)) |
Biography.kif 356-358 | If scientist is an attribute of X, then science has an expertise in X |