Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BowlingLane(bowling lane) |  | alley, bowling_alley, skittle_alley |
| appearance as argument number 1 |
|
|
| (subclass BowlingLane StationaryArtifact) | Sports.kif 1168-1168 | Bowling lane is a subclass of stationary artifact |
| (subclass BowlingLane LandTransitway) | Sports.kif 1169-1169 | Bowling lane is a subclass of land transitway |
| (documentation BowlingLane EnglishLanguage "BowlingLane is a StationaryArtifact that acts as a Transitway for a BowlingBall to knock down pins") | Sports.kif 1170-1171 | Bowling lane is a subclass of land transitway |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BowlingLane "bowling lane") | Sports.kif 1172-1172 |
| antecedent |
|
|
| (=> (instance ?BL BowlingLane) (hasPurpose ?BL (exists (?TR ?BALL) (and (instance ?TR Translocation) (instance ?BALL BowlingBall) (patient ?TR ?BALL) (path ?TR ?BL))))) |
Sports.kif 1174-1182 | If X is an instance of bowling lane, then X has the purpose there exist Y, Z such that Y is an instance of translocation, Z is an instance of bowling ball, Z is a patient of Y, and X is path along which Y occurs |
| 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 1135-1144 | If X is an instance of bowling, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of translocation (3) Y is an instance of bowling ball (4) Y is a patient of Z (5) W is an instance of bowling lane (6) W is path along which Z occurs (7) Z is a subprocess of X |
| (=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL CollectionOfObjects) (memberType ?BL BowlingLane) (located ?BL ?BF)))) |
Sports.kif 1190-1196 | If X is an instance of bowling facility, then there exists Y such that Y is an instance of collection, bowling lane is a member type of Y, and Y is located at X |
|