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