|
|
   CommunicationDevice
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2940-2943 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9093-9093 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2939-2939 | CommunicationDevice e' uma sub-classe de Componente de Engenharia |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2944-2944 | Communicacao e' relacionado internamente por SUMO a CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15823-15823 | Antenna e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 219-219 | BroadcastingStation e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 21-21 | CommunicationRadio e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 120-120 | CommunicationSatellite e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 850-850 | DataDisplayDevice e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2996-2996 | FaxMachine e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 47-47 | MainTelephoneLine e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1798-1798 | Microphone e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1819-1819 | ProjectionScreen e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1802-1802 | ReceiverDevice e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1814-1814 | Telegraph e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2952-2952 | Telephone e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24562-24562 | TelephonyDevice e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 173-173 | Telex e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16014-16014 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16013-16013 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16012-16012 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2946-2948 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15791-15796 |
|
|
|
|
