TreeView Knowledge Base Browser - BabyMonitoringSystem

appearance as argument number 1

(documentation BabyMonitoringSystem EnglishLanguage "BabyMonitoringSystem refers to the radio system that Broadcasting at 49Mhz, consisting of a transmitter and receiver, where the transmitter is kept where the baby is kept, and the receiver is kept with the person looking after the baby to be able to hear sounds and monitor the baby")	Communications.kif 252-255
(subclass BabyMonitoringSystem RadioSystem)	Communications.kif 251-251	BabyMonitoringSystem は RadioSystem の subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage BabyMonitoringSystem "baby monitor")

Communications.kif 256-256

antecedent

(=>
    (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

エンジニアリング部品は BabyMonitoringSystem の instance では %n
エンジニアリング部品エンジニアリング部品エンジニアリング部品は RadioReceiver の instance では %n エンジニアリング部品はデバイスの instance では %n エンジニアリング部品はエンジニアリング部品の component では %n エンジニアリング部品はエンジニアリング部品の component では %n エンジニアリング部品はエンティティーエンティティー, エンティティー, エンティティー, エンティティー, エンティティー and エンティティーエンティティーは HumanBaby の instance では %n エンティティーは人［人間］の instance では %n エンティティーはエンティティーに located して %n エンティティーはエンティティーに located して %n エンティティーはエンティティーと equal ではエンティティーは維持の instance では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの agent では %n エンジニアリング部品はエンティティーに located して %n エンジニアリング部品はエンティティーに located して %n エンティティーは放射音の instance では %n eventLocated エンティティー and エンティティーエンティティーは RadioEmission の instance では %n エンティティーはエンティティーの patient では %n エンティティーはエンジニアリング部品に ends %n{ない} エンジニアリング部品はエンティティーの agent では %n の目的 %n{ない}

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: