No TPTP formula. May not be expressible in strict first order. | Merge.kif 13034-13034 | 子類 Communication and SocialInteraction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13035-13035 | 子類 Communication and 內容承載過程 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1016-1016 | 子類 指示 and Communication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2959-2959 | 子類 致電 and Communication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27009-27009 | 子類 ArtifactMediatedCommunication and Communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13056-13056 | 子類 Disseminating and Communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13091-13091 | 子類 手勢 and Communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13108-13108 | 子類 Expressing and Communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13126-13126 | 子類 語言交流 and Communication |
No TPTP formula. May not be expressible in strict first order. | Media.kif 218-218 | 子類 InPersonCommunication and Communication |