| ContentBearingProcess | |
| 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 1319-1320 | |
| 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 1311-1311 | ContentBearingProcess est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1314-1314 | 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 13174-13174 | Communication est une sous-classe de ContentBearingProcess |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16959-16959 | Communication est une sous-classe de ContentBearingProcess |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16958-16958 | Communication est une sous-classe de ContentBearingProcess |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16957-16957 | Communication est une sous-classe de ContentBearingProcess |
|
|
|