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 est une sous-classe de processus intentionnel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1201-1201	EngineersProcess est une sous-classe de EngineersSubprocess
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1225-1225	SystemDesign est une sous-classe de EngineersSubprocess
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1220-1220	SystemSpecification est une sous-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