|
|
   CommunicationSystem
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7620-7622 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7619-7619 | CommunicationSystem e' uma sub-classe de Colecao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 220-220 | BroadcastingStation e' um componente de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 430-430 | Internet e' uma instancia de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 358-358 | BroadcastNetwork e' uma sub-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 333-333 | CableTelevisionSystem e' uma sub-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 442-442 | InternetServiceProvider e' uma sub-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26093-26093 | PublicAddressSystem e' uma sub-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 231-231 | RadioSystem e' uma sub-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 344-344 | SatelliteTelevisionSystem e' uma sub-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 32-32 | TelephoneSystem e' uma sub-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 318-318 | TelevisionSystem e' uma sub-classe de CommunicationSystem |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16062-16062 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16061-16061 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16060-16060 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 142-151 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7585-7592 |
|
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 125-130 |
|
|
|