No TPTP formula. May not be expressible in strict first order. | Merge.kif 13056-13056 | 子類 Communication and SocialInteraction |
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. | 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 26997-26997 | 子類 ArtifactMediatedCommunication and Communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13078-13078 | 子類 Disseminating and Communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13113-13113 | 子類 手勢 and Communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13130-13130 | 子類 Expressing and Communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13148-13148 | 子類 語言交流 and Communication |
No TPTP formula. May not be expressible in strict first order. | Media.kif 218-218 | 子類 InPersonCommunication and Communication |