|
|
   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 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 13057-13057 | 子類 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 |
|
|
|