Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadioReceiver

Sigma KEE - RadioReceiver
RadioReceiverمِذْياع,

appearance as argument number 1
-------------------------


(defaultMaximumHeight RadioReceiver
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 563-563
(defaultMaximumLength RadioReceiver
    (MeasureFn 7 Inch))
DimensioningAmenities.kif 567-567
(defaultMaximumMeasure RadioReceiver
    (MeasureFn 10 PoundMass))
DimensioningAmenities.kif 569-569
(defaultMaximumWidth RadioReceiver
    (MeasureFn 11 Inch))
DimensioningAmenities.kif 565-565
(defaultMinimumHeight RadioReceiver
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 562-562
(defaultMinimumLength RadioReceiver
    (MeasureFn 3 Inch))
DimensioningAmenities.kif 566-566
(defaultMinimumMeasure RadioReceiver
    (MeasureFn 1 PoundMass))
DimensioningAmenities.kif 568-568
(defaultMinimumWidth RadioReceiver
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 564-564
(documentation RadioReceiver EnglishLanguage "A RadioReceiver is a Device for receiving radio broadcast signals from a RadioStation.") Mid-level-ontology.kif 822-823
(subclass RadioReceiver ReceiverDevice) Mid-level-ontology.kif 821-821

appearance as argument number 2
-------------------------


(subclass AMFMAlarmClock RadioReceiver) Mid-level-ontology.kif 23054-23054
(termFormat EnglishLanguage RadioReceiver "radio receiver") domainEnglishFormat.kif 8514-8514

antecedent
-------------------------


(=>
    (and
        (instance ?X BabyMonitoringSystem)
        (instance ?RX RadioReceiver)
        (instance ?TX Device)
        (engineeringSubcomponent ?TX ?X)
        (engineeringSubcomponent ?RX ?X))
    (and
        (defaultMinimumHeight ?RX
            (MeasureFn 0.8 Inch))
        (defaultMaximumHeight ?RX
            (MeasureFn 2.5 Inch))
        (defaultMinimumWidth ?RX
            (MeasureFn 2 Inch))
        (defaultMaximumWidth ?RX
            (MeasureFn 4 Inch))
        (defaultMinimumLength ?RX
            (MeasureFn 3 Inch))
        (defaultMaximumLength ?RX
            (MeasureFn 6 Inch))
        (defaultMinimumMeasure ?RX
            (MeasureFn 8 OunceMass))
        (defaultMaximumMeasure ?RX
            (MeasureFn 24 OunceMass))
        (defaultMinimumHeight ?TX
            (MeasureFn 0.8 Inch))
        (defaultMaximumHeight ?TX
            (MeasureFn 2.5 Inch))
        (defaultMinimumWidth ?TX
            (MeasureFn 2 Inch))
        (defaultMaximumWidth ?TX
            (MeasureFn 4 Inch))
        (defaultMinimumLength ?TX
            (MeasureFn 3 Inch))
        (defaultMaximumLength ?TX
            (MeasureFn 6 Inch))
        (defaultMinimumMeasure ?TX
            (MeasureFn 8 OunceMass))
        (defaultMaximumMeasure ?TX
            (MeasureFn 24 OunceMass))))
DimensioningAmenities.kif 727-750
(=>
    (instance ?RADIO RadioReceiver)
    (capability RadioBroadcasting patient ?RADIO))
Mid-level-ontology.kif 13193-13195

consequent
-------------------------


(=>
    (instance ?SYSTEM RadioSystem)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE RadioReceiver)
            (engineeringSubcomponent ?DEVICE ?SYSTEM))))
Communications.kif 310-315
(=>
    (instance ?X BabyMonitoringSystem)
    (exists (?TX ?RX)
        (and
            (instance ?RX RadioReceiver)
            (instance ?TX Device)
            (engineeringSubcomponent ?RX ?X)
            (engineeringSubcomponent ?TX ?X)
            (hasPurpose ?X
                (exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO)
                    (and
                        (instance ?BABY HumanBaby)
                        (instance ?CARER Human)
                        (located ?BABY ?LOC1)
                        (located ?CARER ?LOC2)
                        (not
                            (equal ?LOC1 ?LOC2))
                        (instance ?PROC Maintaining)
                        (patient ?PROC ?BABY)
                        (agent ?PROC ?CARER)
                        (located ?TX ?LOC1)
                        (located ?RX ?LOC2)
                        (instance ?SOUND RadiatingSound)
                        (eventLocated ?SOUND ?LOC1)
                        (instance ?RADIO RadioEmission)
                        (patient ?RADIO ?SOUND)
                        (destination ?RADIO ?RX)
                        (agent ?RADIO ?TX)))))))
Communications.kif 258-284


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners