| 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 1387-1388 | |
| (instance TennisProfessional ProfessionalAthlete) | Sports.kif 1386-1386 | Tennis pro is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TennisProfessional "tennis pro") | Sports.kif 1389-1389 |
| 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 1533-1546 |
|
| (=> (attribute ?ATHLETE TennisProfessional) (hasSkill Tennis ?ATHLETE)) |
Sports.kif 1391-1393 |
|
|
|