| TennisProfessional(tennis pro) | | professional_tennis_player, tennis_pro |
| appearance as argument number 1 |
|
|
| (documentation TennisProfessional EnglishLanguage "TennisProfessional is a ProfessionalAthlete that plays Tennis") | Sports.kif 1375-1376 | |
| (instance TennisProfessional ProfessionalAthlete) | Sports.kif 1374-1374 | Tennis pro is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TennisProfessional "tennis pro") | Sports.kif 1377-1377 |
| antecedent |
|
|
| (=> (and (employs ?HOTEL ?ATHLETE) (attribute ?HOTEL TravelerAccommodation) (attribute ?ATHLETE TennisProfessional) (guest ?CUST ?HOTEL)) (modalAttribute (exists (?TENNIS ?LOC) (and (instance ?TENNIS Tennis) (contestParticipant ?TENNIS ?ATHLETE) (contestParticipant ?TENNIS ?CUST) (located ?TENNIS ?LOC) (located ?HOTEL ?LOC))) Possibility)) |
Hotel.kif 1522-1535 |
|
| (=> (attribute ?ATHLETE TennisProfessional) (hasSkill Tennis ?ATHLETE)) |
Sports.kif 1379-1381 |
|
|
|