Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PreparedFood

Sigma KEE - PreparedFood
PreparedFood(prepared food)
Belgian_beef_stew, Belgian_waffle, Bercy, Bercy_butter, Berlin_doughnut, Bologna_sausage, Boston_baked_beans, Boston_cream_pie, Brunswick_stew, Burgundy_sauce, Chinese_brown_sauce, Chinese_fried_rice, Christmas_cake, Colbert, Colbert_butter, Cornish_pasty, Eccles_cake, Espagnole, Fanny_Adams, French_dressing, French_pastry, French_toast, Hungarian_goulash, Hungarian_sauce, Indian_relish, Irish_burgoo, Irish_stew, Italian_dressing, Italian_rice, Life_Saver, Lorenzo_dressing, Lyonnaise_sauce, Madeira_cake, Madeira_sponge, Manhattan_clam_chowder, Maryland_chicken, Mornay_sauce, Nantua, New_England_boiled_dinner, New_England_clam_chowder, Newburg_sauce, Philadelphia_pepper_pot, Poivrade, Roquefort_dressing, Russian_dressing, Russian_mayonnaise, Sally_Lunn, Scotch_broth, Scotch_egg, Scotch_kiss...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 310-312
No TPTP formula. May not be expressible in strict first order. pictureList.kif 909-909
No TPTP formula. May not be expressible in strict first order. Food.kif 308-308 Prepared food is a subclass of food
No TPTP formula. May not be expressible in strict first order. Food.kif 309-309 Prepared food is a subclass of mixture

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 389-389 Beverage is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 1555-1555 Bread or biscuit is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 2435-2435 Chocolate is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 1575-1575 Cooked dish is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 2125-2125 Cured meat is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 2817-2817 Dairy product is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 1599-1599 Dough is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 218-218 Potable water is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 2778-2778 Fermented food is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 1469-1469 Flour is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 1748-1748 Jam is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 2737-2737 Pasta is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 3322-3322 Raisin is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 2061-2061 Sauce is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 3440-3440 Sorbet is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 1618-1618 Soup stock is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Economy.kif 4359-4359 Spice is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. Food.kif 3508-3508 Tofu is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47210-47210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47209-47209
No TPTP formula. May not be expressible in strict first order. Food.kif 313-313
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47208-47208

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 189-201
No TPTP formula. May not be expressible in strict first order. Economy.kif 4384-4399
No TPTP formula. May not be expressible in strict first order. Food.kif 319-324
No TPTP formula. May not be expressible in strict first order. Food.kif 315-317

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 1130-1134
No TPTP formula. May not be expressible in strict first order. Dining.kif 1262-1266
No TPTP formula. May not be expressible in strict first order. Food.kif 355-363
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3052-3060
No TPTP formula. May not be expressible in strict first order. Economy.kif 4374-4382
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1969-1987
No TPTP formula. May not be expressible in strict first order. Food.kif 331-348


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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