| BowlingFacility | |
| 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 1158-1160 | |
| (subclass BowlingFacility SportsFacility) | Sports.kif 1157-1157 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BowlingFacility "bowling facility") | Sports.kif 1161-1161 |
| antecedent |
|
|
| (=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF)))) |
Sports.kif 1163-1169 | |
| (=> (instance ?BF BowlingFacility) (hasPurpose ?BF (exists (?B) (and (instance ?B Bowling) (eventLocated ?B ?BF))))) |
Sports.kif 1171-1177 |
|
|
|