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 |
|
![]() |
![]() |