![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
|
| (instance Dancer ArtisticOccupation) | Biography.kif 673-673 | Dancer is an instance of artistic occupation |
| (documentation Dancer EnglishLanguage "A dancer is one who performs dance, either professionally or for personal enjoyment.") | Biography.kif 674-674 | Dancer is an instance of artistic occupation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?PERSON Dancer) (hasSkill Dancing ?PERSON)) |
Biography.kif 676-678 | If dancer is an attribute of X, then X has the skill to do dancing |