| 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 876-877 | |
| (subclass TennisCourt SportsFacility) | Sports.kif 875-875 | Tennis court is a subclass of sports facility |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TennisCourt "tennis court") | Sports.kif 878-878 |
| antecedent |
|
|
| (=> (instance ?COURT TennisCourt) (hasPurpose ?COURT (exists (?TENNIS) (and (instance ?TENNIS Tennis) (eventLocated ?TENNIS ?COURT))))) |
Sports.kif 880-886 |
|
|
|
|