| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13034-13034 | Communication est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13035-13035 | Communication est une sous-classe de ContentBearingProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1016-1016 | Indicating est une sous-classe de communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2959-2959 | Telephoning est une sous-classe de communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27009-27009 | ArtifactMediatedCommunication est une sous-classe de communication |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13056-13056 | Disseminer est une sous-classe de communication |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13091-13091 | Gesture est une sous-classe de communication |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13108-13108 | Exprimer est une sous-classe de communication |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13126-13126 | LinguisticCommunication est une sous-classe de communication |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 218-218 | InPersonCommunication est une sous-classe de communication |
|
|