| appearance as argument number 1 |
|
| (documentation EngineersSubprocess EnglishLanguage "a class of subprocesses that are needed to design and operate an engineering system") | engineering.kif 1508-1509 | |
| (subclass EngineersSubprocess IntentionalProcess) | engineering.kif 1510-1510 | Engineers subprocess is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (subclass EngineersProcess EngineersSubprocess) | engineering.kif 1514-1514 | Engineers process is a subclass of engineers subprocess |
| (subclass SystemDesign EngineersSubprocess) | engineering.kif 1538-1538 | System design is a subclass of engineers subprocess |
| (subclass SystemSpecification EngineersSubprocess) | engineering.kif 1533-1533 | System specification is a subclass of engineers subprocess |
| (termFormat ChineseLanguage EngineersSubprocess "工程师子流程") | domainEnglishFormat.kif 22136-22136 | System specification is a subclass of engineers subprocess |
| (termFormat ChineseTraditionalLanguage EngineersSubprocess "工程師子流程") | domainEnglishFormat.kif 22135-22135 | System specification is a subclass of engineers subprocess |
| (termFormat EnglishLanguage EngineersSubprocess "engineers subprocess") | domainEnglishFormat.kif 22134-22134 | System specification is a subclass of engineers subprocess |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners