No TPTP formula. May not be expressible in strict first order. | Merge.kif 13034-13034 | 沟通 是 社交 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13035-13035 | 沟通 是 内容承载过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1016-1016 | 指示 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2959-2959 | 致电 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27009-27009 | ArtifactMediatedCommunication 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13056-13056 | 传播 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13091-13091 | 手势 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13108-13108 | 表示 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13126-13126 | 语言交流 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 218-218 | InPersonCommunication 是 沟通 的 subclass |