| No TPTP formula. May not be expressible in strict first order. | Military.kif 49-49 | 子類 食品配送業務 and 軍事行動 |
| 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. | Military.kif 51-51 | 子類 食品配送業務 and Getting |
|
|