TreeView Knowledge Base Browser - EngineersSubprocess

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1195-1196
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1197-1197	EngineersSubprocess e' uma sub-classe de Processo Intencional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1201-1201	EngineersProcess e' uma sub-classe de EngineersSubprocess
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1225-1225	SystemDesign e' uma sub-classe de EngineersSubprocess
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1220-1220	SystemSpecification e' uma sub-classe de EngineersSubprocess
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22126-22126
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22125-22125
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22124-22124