| Feeding(feeding)
| | feed, give, malnourish, nourish, nurture, range, sustain, undernourish |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11574-11574 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6008-6008 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11573-11573 | Feeding is a subclass of giving |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23482-23482 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23481-23481 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23480-23480 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11582-11586 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11576-11580 |
|
|
|