Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

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


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