| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1324-1324 | 子類 安裝 and IT流程 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3591-3591 | 子類 安裝 and 數據傳輸 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3814-3814 | 子類 軟體更新 and 安裝 |
|
|