| 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 1374-1375 | |
| (instance TennisProfessional ProfessionalAthlete) | Sports.kif 1373-1373 | Tennis pro is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TennisProfessional "tennis pro") | Sports.kif 1376-1376 |
| 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 1378-1380 |
|
|
|