| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2939-2939 | CommunicationDevice est une sous-classe de composant d'un appareil |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1798-1798 | Microphone est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1802-1802 | ReceiverDevice est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1814-1814 | Telegraph est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1819-1819 | ProjectionScreen est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2952-2952 | Telephone est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2996-2996 | FaxMachine est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15823-15823 | Antenna est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24562-24562 | TelephonyDevice est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 850-850 | DataDisplayDevice est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 21-21 | CommunicationRadio est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 47-47 | MainTelephoneLine est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 120-120 | CommunicationSatellite est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 173-173 | Telex est une sous-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 219-219 | BroadcastingStation est une sous-classe de CommunicationDevice |
|
|