| (subclass EngineersSubprocess IntentionalProcess) | engineering.kif 1197-1197 | EngineersSubprocess は 意図的なプロセス の subclass では %n |
| (subclass EngineersProcess EngineersSubprocess) | engineering.kif 1201-1201 | EngineersProcess は EngineersSubprocess の subclass では %n |
| (subclass SystemSpecification EngineersSubprocess) | engineering.kif 1220-1220 | SystemSpecification は EngineersSubprocess の subclass では %n |
| (subclass SystemDesign EngineersSubprocess) | engineering.kif 1225-1225 | SystemDesign は EngineersSubprocess の subclass では %n |
|
|