| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12784-12784 | 子類 Creation and InternalChange |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1197-1197 | 子類 制定計劃 and Creation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1225-1225 | 子類 進行研究 and Creation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12812-12812 | 子類 Making and Creation |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2368-2368 | 子類 OpeningNewGraphicalWindow and Creation |
|
|