Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  TennisProfessional
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TennisProfessional "tennis pro") | Sports.kif 1403-1403 |
| 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 | If X employs Y, traveler accommodation is an attribute of X, tennis pro is an attribute of Y, and Z is a guest at X, then the statement there exist W, V such that W is an instance of tennis, Y participates in W, Z participates in W, W is located at V, and X is located at V has the modal force of possibility |
| (=> (attribute ?ATHLETE TennisProfessional) (hasSkill Tennis ?ATHLETE)) |
Sports.kif 1405-1407 | If tennis pro is an attribute of X, then X has the skill to do tennis |
|