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


KB Term:  Term intersection
English Word: 

Sigma KEE - RadioReceiver
RadioReceiver(radio receiver)

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


(subclass RadioReceiver ReceiverDevice) Mid-level-ontology.kif 661-661 Radio receiver is a subclass of receiver device
(documentation RadioReceiver EnglishLanguage "A RadioReceiver is a Device for receiving radio broadcast signals from a RadioStation.") Mid-level-ontology.kif 662-663 Radio receiver is a subclass of receiver device
(subclass RadioReceiver MediaAppliance) HouseholdAppliances.kif 393-393 Radio receiver is a subclass of media appliance
(defaultMinimumHeight RadioReceiver
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 315-315 The minimum expected height of radio receiver is 2 inch(s)
(defaultMaximumHeight RadioReceiver
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 316-316 The maximum expected height of radio receiver is 6 inch(s)
(defaultMinimumWidth RadioReceiver
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 317-317 The minimum expected width of radio receiver is 4 inch(s)
(defaultMaximumWidth RadioReceiver
    (MeasureFn 11 Inch))		 DimensioningAmenities.kif 318-318 The maximum expected width of radio receiver is 11 inch(s)
(defaultMinimumLength RadioReceiver
    (MeasureFn 3 Inch))		 DimensioningAmenities.kif 319-319 The minimum expected length of radio receiver is 3 inch(s)
(defaultMaximumLength RadioReceiver
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 320-320 The maximum expected length of radio receiver is 7 inch(s)
(defaultMinimumMeasure RadioReceiver
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 321-321 The minimum expected value of radio receiver is 1 pound mass(s)
(defaultMaximumMeasure RadioReceiver
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 322-322 The maximum expected value of radio receiver is 10 pound mass(s)

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


(subclass AMFMAlarmClock RadioReceiver) Mid-level-ontology.kif 27946-27946 Am / fm alarm clock is a subclass of radio receiver
(termFormat EnglishLanguage RadioReceiver "radio receiver") domainEnglishFormat.kif 48529-48529 Am / fm alarm clock is a subclass of radio receiver
(termFormat ChineseTraditionalLanguage RadioReceiver "無線電接收器") domainEnglishFormat.kif 48530-48530 Am / fm alarm clock is a subclass of radio receiver
(termFormat ChineseLanguage RadioReceiver "无线电接收器") domainEnglishFormat.kif 48531-48531 Am / fm alarm clock is a subclass of radio receiver

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


(=>
    (instance ?RADIO RadioReceiver)
    (capability RadioBroadcasting patient ?RADIO))		 Mid-level-ontology.kif 17343-17345 If X is an instance of radio receiver, then X is capable of doing radio broadcasting as a patient
(=>
    (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 480-503 If X is an instance of baby monitor, Y is an instance of radio receiver, Z is an instance of device, Z is a component of X, and Y is a component of X, then All of the following hold: (1) the minimum expected height of Y is 0.8 inch(s) (2) the maximum expected height of Y is 2.5 inch(s) (3) the minimum expected width of Y is 2 inch(s) (4) the maximum expected width of Y is 4 inch(s) (5) the minimum expected length of Y is 3 inch(s) (6) the maximum expected length of Y is 6 inch(s) (7) the minimum expected value of Y is 8 Ounce(s) (8) the maximum expected value of Y is 24 Ounce(s) (9) the minimum expected height of Z is 0.8 inch(s) (10) the maximum expected height of Z is 2.5 inch(s) (11) the minimum expected width of Z is 2 inch(s) (12) the maximum expected width of Z is 4 inch(s) (13) the minimum expected length of Z is 3 inch(s) (14) the maximum expected length of Z is 6 inch(s) (15) the minimum expected value of Z is 8 Ounce(s) (16) the maximum expected value of Z is 24 Ounce(s)

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


(=>
    (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 263-289 If X is an instance of baby monitor, then All of the following hold: (1) there exist Y (2) Z such that Z is an instance of radio receiver (3) Y is an instance of device (4) Z is a component of X (5) Y is a component of X (6) X has the purpose there exist W, V,, , U,, , T,, , S,, , R (7) Q such that W is an instance of human baby (8) V is an instance of human (9) W is located at T (10) V is located at S (11) equal T (12) S (13) R is an instance of maintaining (14) W is a patient of R (15) V is an agent of R (16) Y is located at T (17) Z is located at S (18) U is an instance of radiating sound (19) U is located at T (20) Q is an instance of radio emission (21) U is a patient of Q (22) Q ends up at Z (23) Y is an agent of Q
(=>
    (instance ?SYSTEM RadioSystem)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE RadioReceiver)
            (engineeringSubcomponent ?DEVICE ?SYSTEM))))		 Communications.kif 377-382 If X is an instance of radio system, then there exists Y such that Y is an instance of radio receiver and Y is a component of X


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners