Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeverageArtifact
BeverageArtifact

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(subclass AlcoholicBeverage BeverageArtifact) Society.kif 1150-1150 Alcoholic beverage is a subclass of BeverageArtifact
(subclass Beer BeverageArtifact) Society.kif 1157-1157 Beer is a subclass of BeverageArtifact
(subclass Cider BeverageArtifact) Society.kif 1216-1216 Cider is a subclass of BeverageArtifact
(subclass PackagedBeverageArtifact BeverageArtifact) Society.kif 1350-1350 PackagedBeverageArtifact is a subclass of BeverageArtifact
(subclass Rum BeverageArtifact) Society.kif 1245-1245 Rum is a subclass of BeverageArtifact
(subclass Sake BeverageArtifact) Society.kif 1248-1248 Sake is a subclass of BeverageArtifact
(subclass Tequila BeverageArtifact) Society.kif 1246-1246 Tequila is a subclass of BeverageArtifact
(subclass Vodka BeverageArtifact) Society.kif 1244-1244 Vodka is a subclass of BeverageArtifact
(subclass Wine BeverageArtifact) Society.kif 1193-1193 Wine is a subclass of BeverageArtifact

antecedent
-------------------------


(=>
    (instance ?ITEM BeverageArtifact)
    (instance ?ITEM Beverage))
Society.kif 1346-1348

consequent
-------------------------


(=>
    (instance ?ITEM PackagedBeverageArtifact)
    (exists (?DRINK ?PACKAGE)
        (and
            (instance ?DRINK BeverageArtifact)
            (instance ?PACKAGE ProductPackage)
            (contains ?PACKAGE ?DRINK))))
Society.kif 1356-1362


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners