| Bowling(bowling) | | 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 1105-1106 | |
| (subclass Bowling Sport) | Sports.kif 1104-1104 | Bowling is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Bowling "bowling") | Sports.kif 1107-1107 |
| 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 1109-1118 |
|
| consequent |
|
|
| (=> (instance ?BF BowlingFacility) (hasPurpose ?BF (exists (?B) (and (instance ?B Bowling) (eventLocated ?B ?BF))))) |
Sports.kif 1172-1178 |
|
|
|
|