|
|
   Bowling
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Bowling EnglishLanguage "Bowling refers to a Sport with the main goal of knocking down bowling pins using a BowlingBall") | Sports.kif 1103-1104 | |
| (subclass Bowling Sport) | Sports.kif 1102-1102 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Bowling "bowling") | Sports.kif 1105-1105 |
| antecedent |
|
|
| (=> (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 1107-1116 |
| consequent |
|
|
| (=> (instance ?BF BowlingFacility) (hasPurpose ?BF (exists (?B) (and (instance ?B Bowling) (eventLocated ?B ?BF))))) |
Sports.kif 1170-1176 |
|
|
|