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 666-667 | |
(subclass RadioReceiver ReceiverDevice) | Mid-level-ontology.kif 665-665 | RadioReceiver は ReceiverDevice の subclass では %n |
appearance as argument number 2 |
(subclass AMFMAlarmClock RadioReceiver) | Mid-level-ontology.kif 25547-25547 | AMFMAlarmClock は RadioReceiver の subclass では %n |
(termFormat ChineseLanguage RadioReceiver "无线电接收器") | domainEnglishFormat.kif 48536-48536 | |
(termFormat ChineseTraditionalLanguage RadioReceiver "無線電接收器") | domainEnglishFormat.kif 48535-48535 | |
(termFormat EnglishLanguage RadioReceiver "radio receiver") | domainEnglishFormat.kif 48534-48534 |
antecedent |
(=> (instance ?RADIO RadioReceiver) (capability RadioBroadcasting patient ?RADIO)) |
Mid-level-ontology.kif 15802-15804 |
|
consequent |