CommunicationDevice |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2933-2936 | |
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 2932-2932 | 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 2937-2937 | Communicacao e' relacionado internamente por SUMO a CommunicationDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15850-15850 | 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 2989-2989 | 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 1791-1791 | Microphone e' uma sub-classe de CommunicationDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1812-1812 | ProjectionScreen e' uma sub-classe de CommunicationDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1795-1795 | ReceiverDevice e' uma sub-classe de CommunicationDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1807-1807 | Telegraph e' uma sub-classe de CommunicationDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2945-2945 | Telephone e' uma sub-classe de CommunicationDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24619-24619 | 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 2939-2941 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15818-15823 |
|