Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Dining.kif 219-223	If a catalog is an instance of cocktail menu and a kind of entity is in the catalog, then a kind of entity is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order.	Dining.kif 214-214	Cocktail menu is a subclass of drinks menu
No TPTP formula. May not be expressible in strict first order.	Dining.kif 225-225	Wine list is a subclass of cocktail menu