Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__7Fn__0En1Re2Ra3Ra4In5Ra6In7EnFn
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Athlete EnglishLanguage "A person who is good at sports or physical exercise") | Sports.kif 89-89 | |
| (subclass Athlete SocialRole) | Sports.kif 91-91 | Athlete is a subclass of social role |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Athlete "athlete") | Sports.kif 90-90 |
| antecedent |
|
|
| (=> (and (attribute ?H ?ATHLETE) (instance ?ATHLETE Athlete)) (hasSkill Sport ?ATHLETE)) |
Sports.kif 93-97 | If X is an attribute of Y and X is an instance of athlete, then X has the skill to do sport |
|