BeverageArtifact - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BeverageArtifact Artifact)	Society.kif 1123-1123	BeverageArtifact is a subclass of artifact
(documentation BeverageArtifact EnglishLanguage "BeverageArtifact is the class of Artifacts that are Beverages, packaged or unpackaged.")	Society.kif 1352-1353	BeverageArtifact is a subclass of artifact

appearance as argument number 2

(subclass AlcoholicBeverage BeverageArtifact)	Society.kif 1124-1124	Alcoholic beverage is a subclass of BeverageArtifact
(subclass Beer BeverageArtifact)	Society.kif 1131-1131	Beer is a subclass of BeverageArtifact
(subclass Wine BeverageArtifact)	Society.kif 1166-1166	Wine is a subclass of BeverageArtifact
(subclass Cider BeverageArtifact)	Society.kif 1189-1189	Cider is a subclass of BeverageArtifact
(subclass Vodka BeverageArtifact)	Society.kif 1217-1217	Vodka is a subclass of BeverageArtifact
(subclass Rum BeverageArtifact)	Society.kif 1218-1218	Rum is a subclass of BeverageArtifact
(subclass Tequila BeverageArtifact)	Society.kif 1219-1219	Tequila is a subclass of BeverageArtifact
(subclass Sake BeverageArtifact)	Society.kif 1221-1221	Sake is a subclass of BeverageArtifact
(subclass PackagedBeverageArtifact BeverageArtifact)	Society.kif 1359-1359	PackagedBeverageArtifact is a subclass of BeverageArtifact

antecedent

(=>
(instance ?ITEM BeverageArtifact)
(instance ?ITEM Beverage))

consequent

(=>
    (instance ?ITEM PackagedBeverageArtifact)
    (exists (?DRINK ?PACKAGE)
        (and
            (instance ?DRINK BeverageArtifact)
            (instance ?PACKAGE ProductPackage)
            (contains ?PACKAGE ?DRINK))))