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	子類內容承載過程 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1319-1319	子類內容承載過程 and Process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13035-13035	子類 Communication and 內容承載過程
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