| BowlingLane | |
| 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 1143-1144 | |
| (subclass BowlingLane LandTransitway) | Sports.kif 1142-1142 | 子類 BowlingLane and 陸地過境通道 |
| (subclass BowlingLane StationaryArtifact) | Sports.kif 1141-1141 | 子類 BowlingLane and StationaryArtifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BowlingLane "bowling lane") | Sports.kif 1145-1145 |
| antecedent |
|
|
| (=> (instance ?BL BowlingLane) (hasPurpose ?BL (exists (?TR ?BALL) (and (instance ?TR Translocation) (instance ?BALL BowlingBall) (patient ?TR ?BALL) (path ?TR ?BL))))) |
Sports.kif 1147-1155 |
| consequent |
|
|
| (=> (instance ?B Bowling) (exists (?BALL ?TRANS ?LANE) (and (instance ?TRANS Translocation) (instance ?BALL BowlingBall) (patient ?TRANS ?BALL) (instance ?LANE BowlingLane) (path ?TRANS ?LANE) (subProcess ?TRANS ?B)))) |
Sports.kif 1108-1117 | |
| (=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF)))) |
Sports.kif 1163-1169 |
|
|
|
|