ChessPlayer(Chess player) | ![]() | chess_master, chess_player, patzer |
appearance as argument number 1 |
![]() |
(documentation ChessPlayer EnglishLanguage "A person who plays Chess.") | Sports.kif 455-455 | |
(instance ChessPlayer ProfessionalGamePlayer) | Sports.kif 454-454 | Chess player is an instance of professional game player |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage ChessPlayer "Chess player") | domainEnglishFormat.kif 64624-64624 |
antecedent |
![]() |
(=> (attribute ?PERSON ChessPlayer) (hasSkill Chess ?PERSON)) |
Sports.kif 448-450 |
![]() |
![]() |