| 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 1171-1173 | |
| (subclass BowlingFacility SportsFacility) | Sports.kif 1170-1170 | Bowling facility is a subclass of sports facility |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BowlingFacility "bowling facility") | Sports.kif 1174-1174 |
| antecedent |
|
|
| (=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF)))) |
Sports.kif 1176-1182 |
|
| (=> (instance ?BF BowlingFacility) (hasPurpose ?BF (exists (?B) (and (instance ?B Bowling) (eventLocated ?B ?BF))))) |
Sports.kif 1184-1190 |
|
|
|
|