| TennisCourt(tennis court) | | tennis_court |
| appearance as argument number 1 |
|
|
| (documentation TennisCourt EnglishLanguage "TennisCourt is a type of SportsFacility where the game Tennis is held") | Sports.kif 888-889 | |
| (subclass TennisCourt SportsFacility) | Sports.kif 887-887 | Tennis court is a subclass of sports facility |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TennisCourt "tennis court") | Sports.kif 890-890 |
| antecedent |
|
|
| (=> (instance ?COURT TennisCourt) (hasPurpose ?COURT (exists (?TENNIS) (and (instance ?TENNIS Tennis) (eventLocated ?TENNIS ?COURT))))) |
Sports.kif 892-898 |
|
|
|
|