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

Formal Language: 



Term 1: Term 2:

(=>
    (subclass ?CLASS Coffee)
    (initialPart CoffeeBean ?CLASS))
Food.kif 645-647
(subclass Coffee Beverage) Food.kif 628-628 子類 咖啡 and Beverage
(subclass Espresso Coffee) Food.kif 739-739 子類 Espresso and 咖啡
(subclass Lungo Coffee) Food.kif 764-764 子類 Lungo and 咖啡
(subclass Cappuccino Coffee) Food.kif 1264-1264 子類 Cappuccino and 咖啡
(subclass Americano Coffee) Food.kif 1303-1303 子類 Americano and 咖啡
(subclass FlatWhite Coffee) Food.kif 1334-1334 子類 FlatWhite and 咖啡
(subclass Latte Coffee) Food.kif 1387-1387 子類 Latte and 咖啡
(subclass LongBlack Coffee) Food.kif 1417-1417 子類 LongBlack and 咖啡
(subclass VietnameseCoffee Coffee) Food.kif 1452-1452 子類 VietnameseCoffee and 咖啡
(subclass TurkishCoffee Coffee) Food.kif 1453-1453 子類 TurkishCoffee and 咖啡
(subclass Manilo Coffee) Food.kif 1454-1454 子類 Manilo and 咖啡
(subclass Instant Coffee) Food.kif 1455-1455 子類 Instant and 咖啡


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners