| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11668-11668 | 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 11573-11573 | Feeding is a subclass of giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11693-11693 | Funding is a subclass of giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11709-11709 | Unilateral giving is a subclass of giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11724-11724 | Lending is a subclass of giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11757-11757 | Giving back is a subclass of giving |
|
|