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 Coffee ist eine teilkategorie von Beverage
(subclass Espresso Coffee) Food.kif 739-739 Espresso ist eine teilkategorie von Coffee
(subclass Lungo Coffee) Food.kif 764-764 Lungo ist eine teilkategorie von Coffee
(subclass Cappuccino Coffee) Food.kif 1264-1264 Cappuccino ist eine teilkategorie von Coffee
(subclass Americano Coffee) Food.kif 1303-1303 Americano ist eine teilkategorie von Coffee
(subclass FlatWhite Coffee) Food.kif 1334-1334 FlatWhite ist eine teilkategorie von Coffee
(subclass Latte Coffee) Food.kif 1387-1387 Latte ist eine teilkategorie von Coffee
(subclass LongBlack Coffee) Food.kif 1417-1417 LongBlack ist eine teilkategorie von Coffee
(subclass VietnameseCoffee Coffee) Food.kif 1452-1452 VietnameseCoffee ist eine teilkategorie von Coffee
(subclass TurkishCoffee Coffee) Food.kif 1453-1453 TurkishCoffee ist eine teilkategorie von Coffee
(subclass Manilo Coffee) Food.kif 1454-1454 Manilo ist eine teilkategorie von Coffee
(subclass Instant Coffee) Food.kif 1455-1455 Instant ist eine teilkategorie von Coffee


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