Food(food) | Brownie, C-ration, Caesar_salad, Easter_egg, K_ration, MSG, Pablum, Postum, Saratoga_chip, Tabasco, Tabasco_sauce, Tamale, Waldorf_salad, a_la_carte, a_la_mode, addled, aged, aliment, alimental, alimentary, alimentation, allergy_diet, almond_extract, almond_oil, amylaceous, amyloid, amyloidal, apple_sauce, applesauce, aspic, atole, babacu_oil, babassu_oil, bad, balanced_diet, barbecue, barbeque, bird_feed, bird_food, birdseed, bit, bite, bitter_almond_oil, bland_diet, board, bracer, bran_flake, breadstuff, breakfast_food, brine-cured... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14872-14872 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14873-14873 | Food is equal to food for human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | Food is a subclass of self connected object |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14683-14683 | Nutrient is internally related to food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 294-294 | Food from plant is a subclass of food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 291-291 | Meat is a subclass of food |
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. | domainEnglishFormat.kif 64877-64877 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 690-690 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 221-221 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 224-224 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 642-642 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 226-226 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 259-259 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 711-711 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 225-225 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 464-464 | The number 1 argument of roasted to temperature is an instance of food |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 24-28 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 84-94 |
|