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	内容承载过程是内容承载物理的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1319-1319	内容承载过程是过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13035-13035	沟通是内容承载过程的 subclass
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