| ContentBearingProcess(content bearing process) | | appellative, denotative, denotive, designative, extensional, naming |
| 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 | Content bearing process is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1319-1319 | Content bearing process is a subclass of process |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13081-13081 | Communication is a subclass of content bearing process |
| 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 |
|
|
|