Bowling - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Bowling Sport)	Sports.kif 1130-1130	Bowling is a subclass of sport
(documentation Bowling EnglishLanguage "Bowling refers to a Sport with the main goal of knocking down bowling pins using a BowlingBall")	Sports.kif 1131-1132	Bowling is a subclass of sport

appearance as argument number 2

(termFormat EnglishLanguage Bowling "bowling")

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))))

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

consequent

(=>
    (instance ?BF BowlingFacility)
    (hasPurpose ?BF
        (exists (?B)
            (and
                (instance ?B Bowling)
                (eventLocated ?B ?BF)))))

If X is an instance of bowling facility, then X has the purpose there exists Y such that Y is an instance of bowling and Y is located at X