BeerBrewery - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BeerBrewery EnglishLanguage "A Beer brewery is a dedicated building for the making of beer, though beer can be made at home, and has been for much of beer's history.")	Society.kif 1153-1153
(subclass BeerBrewery Building)	Society.kif 1154-1154	BeerBrewery is a subclass of building

antecedent

(=>
    (instance ?B BeerBrewery)
    (hasPurpose ?B
        (exists (?EV)
            (and
                (instance ?EV Fermentation)
                (eventLocated ?EV ?B)
                (result ?EV Beer)))))

If X is an instance of BeerBrewery, then X has the purpose there exists Y such that Y is an instance of fermentation, Y is located at X, and beer is a result of Y