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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Cooking
Cooking(cooking)
acerbate, baking, barbecue, barbecued, barbecuing, barbeque, baste, basting, beat, blacken, blanch, boil, boil_down, boiled, boiling, braise, braising, broil, broiling, browning, can, caramelise, caramelize, char, clabber, clot, coddle, concentrate, concoct, conserve, cook, cook_out, cook_up, cookery, cooking, corn, cream, culinary, curdle, decoct, deglaze, dehydrate, desiccate, devil, draw, dress, dress_out, dun, farce, fix...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3224-3225
No TPTP formula. May not be expressible in strict first order. Merge.kif 13016-13019
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4628-4628
No TPTP formula. May not be expressible in strict first order. Merge.kif 13015-13015 Cooking is a subclass of making

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1463-1463 Baking is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. Food.kif 649-649 Coffee making is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. Food.kif 121-121 Dry roasting is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. Food.kif 1175-1175 Foaming milk is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. Food.kif 2573-2573 Frying is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. Food.kif 167-167 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1189-1189 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. english_format.kif 1595-1595 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. french_format.kif 867-867 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 399-399 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. terms-it.txt 402-402 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2551-2551 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 819-819 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 404-404 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 438-438 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. terms-de.txt 697-697 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 888-888 Hulling is a subclass of cooking
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 403-403 Hulling is a subclass of cooking

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 586-602
No TPTP formula. May not be expressible in strict first order. Merge.kif 13021-13026

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1361-1377
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3073-3086
No TPTP formula. May not be expressible in strict first order. Food.kif 37-44
No TPTP formula. May not be expressible in strict first order. Dining.kif 829-832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5994-6003
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16919-16925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2785-2791
No TPTP formula. May not be expressible in strict first order. Food.kif 2755-2762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2816-2822
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8454-8456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16931-16937
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2797-2803
No TPTP formula. May not be expressible in strict first order. Dining.kif 88-99


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



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