| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11797-11797 | 子類 Getting and ChangeOfPossession |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 51-51 | 子類 食品配送業務 and Getting |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11809-11809 | 子類 UnilateralGetting and Getting |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11825-11825 | 子類 Borrowing and Getting |
|
|