No TPTP formula. May not be expressible in strict first order. | engineering.kif 1310-1310 | IT流程 是 有意图过程 的 subclass |
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. | engineering.kif 1330-1330 | 反安装 是 IT流程 的 subclass |