ElectricalSignalling |
appearance as argument number 1 |
(documentation ElectricalSignalling EnglishLanguage "ElectricalSignalling is the subclass of Signalling processes that involve control of an electrical current. Cf. ElectronicSignalling.") | Mid-level-ontology.kif 2629-2631 | |
(subclass ElectricalSignalling Signalling) | Mid-level-ontology.kif 2628-2628 | ElectricalSignalling è una sottoclasse di Signalling |
appearance as argument number 2 |
(subclass ElectronicSignalling ElectricalSignalling) | Mid-level-ontology.kif 2640-2640 | ElectronicSignalling è una sottoclasse di ElectricalSignalling |
(termFormat ChineseLanguage ElectricalSignalling "电信号") | domainEnglishFormat.kif 21552-21552 | |
(termFormat ChineseTraditionalLanguage ElectricalSignalling "電信號") | domainEnglishFormat.kif 21551-21551 | |
(termFormat EnglishLanguage ElectricalSignalling "electrical signalling") | domainEnglishFormat.kif 21550-21550 |
antecedent |
(=> (instance ?S ElectricalSignalling) (exists (?D) (and (instance ?D ElectricDevice) (instrument ?S ?D)))) |
Mid-level-ontology.kif 2633-2638 |
|
consequent |