RadioReceiver | ![]() |
appearance as argument number 1 |
![]() |
(documentation RadioReceiver EnglishLanguage "A RadioReceiver is a Device for receiving radio broadcast signals from a RadioStation.") | Mid-level-ontology.kif 659-660 | |
(subclass RadioReceiver ReceiverDevice) | Mid-level-ontology.kif 658-658 | RadioReceiver est une sous-classe de ReceiverDevice |
appearance as argument number 2 |
![]() |
(subclass AMFMAlarmClock RadioReceiver) | Mid-level-ontology.kif 27209-27209 | AMFMAlarmClock est une sous-classe de RadioReceiver |
(termFormat ChineseLanguage RadioReceiver "无线电接收器") | domainEnglishFormat.kif 48538-48538 | AMFMAlarmClock est une sous-classe de RadioReceiver |
(termFormat ChineseTraditionalLanguage RadioReceiver "無線電接收器") | domainEnglishFormat.kif 48537-48537 | AMFMAlarmClock est une sous-classe de RadioReceiver |
(termFormat EnglishLanguage RadioReceiver "radio receiver") | domainEnglishFormat.kif 48536-48536 | AMFMAlarmClock est une sous-classe de RadioReceiver |
antecedent |
![]() |
(=> (instance ?RADIO RadioReceiver) (capability RadioBroadcasting patient ?RADIO)) |
Mid-level-ontology.kif 17189-17191 |
|
consequent |
![]() |
![]() |
![]() |