BowlingLane(bowling lane) | alley, bowling_alley, skittle_alley |
appearance as argument number 1 |
(documentation BowlingLane EnglishLanguage "BowlingLane is a StationaryArtifact that acts as a Transitway for a BowlingBall to knock down pins") | Sports.kif 1142-1143 | |
(subclass BowlingLane LandTransitway) | Sports.kif 1141-1141 | Bowling lane is a subclass of land transitway |
(subclass BowlingLane StationaryArtifact) | Sports.kif 1140-1140 | Bowling lane is a subclass of stationary artifact |
appearance as argument number 2 |
(termFormat EnglishLanguage BowlingLane "bowling lane") | Sports.kif 1144-1144 |
antecedent |
(=> (instance ?BL BowlingLane) (hasPurpose ?BL (exists (?TR ?BALL) (and (instance ?TR Translocation) (instance ?BALL BowlingBall) (patient ?TR ?BALL) (path ?TR ?BL))))) |
Sports.kif 1146-1154 |
|
consequent |