| Chewing(chewing)
| | champ, chaw, chew, chomp, crunch, gnaw, gum, jaw, manducate, masticate, mumble, munch |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12376-12376 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6245-6245 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5909-5909 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6244-6244 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12375-12375 | Chewing is a subclass of body motion |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14403-14403 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14402-14402 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14401-14401 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12384-12388 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12378-12382 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12390-12395 |
|
|
|
|