SnookerPlayer |
appearance as argument number 1 |
(documentation SnookerPlayer EnglishLanguage "A person who plays Snooker.") | Sports.kif 457-457 | |
(instance SnookerPlayer ProfessionalGamePlayer) | Sports.kif 456-456 | SnookerPlayer est une instance de ProfessionalGamePlayer |
appearance as argument number 2 |
(termFormat EnglishLanguage SnookerPlayer "snooker player") | domainEnglishFormat.kif 65507-65507 |
antecedent |
(=> (attribute ?PERSON SnookerPlayer) (hasSkill Snooker ?PERSON)) |
Sports.kif 491-493 |
|