Eating(eating)![]() ![]() ![]() | ![]() | Dutch_treat, anthropophagous, anthropophagy, banquet, banqueting, binge, bite, board, bolt, bolt_down, break_bread, breakfast, browse, browsing, brunch, cannibalise, cannibalism, cannibalistic, cannibalize, chomp, consume, coprophagia, coprophagy, corn-fed, crop, degust, devour, dig_in, digest, dine, dine_in, dine_out, dining, dip, down, drift, dunk, eat, eat_in, eat_out, eat_up, eating, englut, engorge, engorgement, fare, feast, feasting, feed, feeding... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2909-2909 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10402-10403 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1658-1658 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2805-2805 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2667-2667 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2804-2804 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10400-10400 | Eating is a subclass of ingesting |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 325-325 | Aqiqah is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 89-89 | Iftar is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2925-2925 | Overgrazing is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 35-35 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1080-1080 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1371-1371 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 758-758 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 290-290 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 293-293 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2442-2442 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 710-710 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 295-295 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 329-329 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 588-588 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 779-779 | Suhur is a subclass of eating |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 294-294 | Suhur is a subclass of eating |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23150-23157 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1569-1589 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21362-21368 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21639-21647 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5044-5052 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5017-5029 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32583-32590 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12897-12902 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16944-16950 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4878-4887 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1694-1700 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24201-24215 |
|
![]() |
![]() |