Sigma KB Term Intersection

(=> (subclass ?CLASS Coffee) (initialPart CoffeeBean ?CLASS))	Food.kif 645-647	オブジェクトは Coffee の subclass では %n initialPart CoffeeBean and オブジェクト
(subclass Coffee Beverage)	Food.kif 628-628	Coffee は飲料の subclass では %n
(subclass Espresso Coffee)	Food.kif 739-739	Espresso は Coffee の subclass では %n
(subclass Lungo Coffee)	Food.kif 764-764	Lungo は Coffee の subclass では %n
(subclass Cappuccino Coffee)	Food.kif 1264-1264	Cappuccino は Coffee の subclass では %n
(subclass Americano Coffee)	Food.kif 1303-1303	Americano は Coffee の subclass では %n
(subclass FlatWhite Coffee)	Food.kif 1334-1334	FlatWhite は Coffee の subclass では %n
(subclass Latte Coffee)	Food.kif 1387-1387	Latte は Coffee の subclass では %n
(subclass LongBlack Coffee)	Food.kif 1417-1417	LongBlack は Coffee の subclass では %n
(subclass VietnameseCoffee Coffee)	Food.kif 1452-1452	VietnameseCoffee は Coffee の subclass では %n
(subclass TurkishCoffee Coffee)	Food.kif 1453-1453	TurkishCoffee は Coffee の subclass では %n
(subclass Manilo Coffee)	Food.kif 1454-1454	Manilo は Coffee の subclass では %n
(subclass Instant Coffee)	Food.kif 1455-1455	Instant は Coffee の subclass では %n