Meal(meal) | ![]() | TV_dinner, afternoon_tea, banquet, bite, business_lunch, chow, chuck, collation, cookout, eats, feast, grub, meal, mess, nosh, nosh-up, picnic, ploughman's_lunch, potluck, refection, refreshment, repast, snack, spread, supper, tea, teatime, training_table |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1682-1683 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1681-1681 | Meal is a subclass of collection |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1684-1684 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1904-1904 | The number 1 argument of meal attribute function is an instance of meal |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32598-32619 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1737-1752 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1712-1722 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1799-1809 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1841-1848 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1782-1792 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1686-1691 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1694-1700 |
|
![]() |
![]() |