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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeverageArtifact

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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