ElectronicSignalling
|
|
appearance as argument number 1 |
(documentation ElectronicSignalling EnglishLanguage "ElectronicSignalling is the subclass of ElectricalSignalling that involve a signal generated through electronic means.") | Mid-level-ontology.kif 2641-2643 | |
(subclass ElectronicSignalling ElectricalSignalling) | Mid-level-ontology.kif 2640-2640 | ElectronicSignalling e' uma sub-classe de ElectricalSignalling |
appearance as argument number 2 |
(termFormat ChineseLanguage ElectronicSignalling "电子信号") | domainEnglishFormat.kif 21756-21756 | |
(termFormat ChineseTraditionalLanguage ElectronicSignalling "電子信號") | domainEnglishFormat.kif 21755-21755 | |
(termFormat EnglishLanguage ElectronicSignalling "electronic signalling") | domainEnglishFormat.kif 21754-21754 |
antecedent |
(=> (instance ?S ElectronicSignalling) (exists (?D) (and (instance ?D ElectricDevice) (instrument ?S ?D)))) |
Mid-level-ontology.kif 2645-2650 |
|
consequent |