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

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


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

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