| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1324-1324 | 安装 是 IT流程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3591-3591 | 安装 是 数据传输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3814-3814 | 软体更新 是 安装 的 subclass |
|
|