| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7618-7618 | CommunicationSystem est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26081-26081 | PublicAddressSystem est une sous-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 32-32 | TelephoneSystem est une sous-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 231-231 | RadioSystem est une sous-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 318-318 | TelevisionSystem est une sous-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 333-333 | CableTelevisionSystem est une sous-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 344-344 | SatelliteTelevisionSystem est une sous-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 358-358 | BroadcastNetwork est une sous-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 442-442 | InternetServiceProvider est une sous-classe de CommunicationSystem |
|
|