| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11690-11690 | 子類 Giving and ChangeOfPossession |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1211-1211 | 子類 分發產品 and Giving |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 50-50 | 子類 食品配送業務 and Giving |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11572-11572 | 子類 饋送 and Giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11715-11715 | 子類 資金 and Giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11731-11731 | 子類 UnilateralGiving and Giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11746-11746 | 子類 Lending and Giving |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11779-11779 | 子類 回饋 and Giving |
|
|