ContentBearingProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1639-1640
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1324-1325
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 223-224
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 265-266
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1316-1316	ContentBearingProcess est une sous-classe de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1319-1319	ContentBearingProcess est une sous-classe de processus

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13081-13081	Communication est une sous-classe de ContentBearingProcess
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16950-16950
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16949-16949
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16948-16948