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 è una sottoclasse di Bevanda
(subclass Espresso Coffee) Food.kif 739-739 Espresso è una sottoclasse di Coffee
(subclass Lungo Coffee) Food.kif 764-764 Lungo è una sottoclasse di Coffee
(subclass Cappuccino Coffee) Food.kif 1264-1264 Cappuccino è una sottoclasse di Coffee
(subclass Americano Coffee) Food.kif 1303-1303 Americano è una sottoclasse di Coffee
(subclass FlatWhite Coffee) Food.kif 1334-1334 FlatWhite è una sottoclasse di Coffee
(subclass Latte Coffee) Food.kif 1387-1387 Latte è una sottoclasse di Coffee
(subclass LongBlack Coffee) Food.kif 1417-1417 LongBlack è una sottoclasse di Coffee
(subclass VietnameseCoffee Coffee) Food.kif 1452-1452 VietnameseCoffee è una sottoclasse di Coffee
(subclass TurkishCoffee Coffee) Food.kif 1453-1453 TurkishCoffee è una sottoclasse di Coffee
(subclass Manilo Coffee) Food.kif 1454-1454 Manilo è una sottoclasse di Coffee
(subclass Instant Coffee) Food.kif 1455-1455 Instant è una sottoclasse di 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