| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11775-11775 | 子類 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 11787-11787 | 子類 UnilateralGetting and Getting |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11803-11803 | 子類 Borrowing and Getting |
|
|