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 | Bowling est une sous-classe de sport |
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 |