| BowlingFacility(bowling facility) | | bowling_alley |
| appearance as argument number 1 |
|
|
| (documentation BowlingFacility EnglishLanguage "BowlingFacility refers to the SportsFacility where Bowling is played. It normally consists of a collection of BowlingLanes") | Sports.kif 1159-1161 | |
| (subclass BowlingFacility SportsFacility) | Sports.kif 1158-1158 | Bowling facility is a subclass of sports facility |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BowlingFacility "bowling facility") | Sports.kif 1162-1162 |
| antecedent |
|
|
| (=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF)))) |
Sports.kif 1164-1170 |
|
| (=> (instance ?BF BowlingFacility) (hasPurpose ?BF (exists (?B) (and (instance ?B Bowling) (eventLocated ?B ?BF))))) |
Sports.kif 1172-1178 |
|
|
|
|