Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SoloSinger(solo singer) |
| appearance as argument number 1 |
|
| (instance SoloSinger Musician) | Music.kif 1439-1439 | Solo singer is an instance of musician |
| (documentation SoloSinger EnglishLanguage "A Musician who is skilled at Singing.") | Music.kif 1440-1440 | Solo singer is an instance of musician |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SoloSinger "solo singer") | domainEnglishFormat.kif 65519-65519 |
| antecedent |
|
|
| (=> (attribute ?PERSON SoloSinger) (hasSkill Singing ?PERSON)) |
Music.kif 1442-1444 | If solo singer is an attribute of X, then X has the skill to do singing |
|