No TPTP formula. May not be expressible in strict first order. | engineering.kif 1197-1197 | 工程师子流程 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1201-1201 | 工程师流程 是 工程师子流程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1220-1220 | 系统规范 是 工程师子流程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1225-1225 | 系统设计 是 工程师子流程 的 subclass |