| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11690-11690 | Giving is a subclass of change of possession |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1211-1211 | Distribute products is a subclass of giving |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 50-50 | Food distribution operation is a subclass of giving |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11572-11572 | Feeding is a subclass of giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11715-11715 | Funding is a subclass of giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11731-11731 | Unilateral giving is a subclass of giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11746-11746 | Lending is a subclass of giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11779-11779 | Giving back is a subclass of giving |
|
|