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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanBaby
HumanBaby(人类宝贝)
more pictures...

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


(documentation HumanBaby EnglishLanguage "A Human between birth and the first year of age.") Mid-level-ontology.kif 373-373
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ HumanNewborn.JPG") pictureList.kif 3123-3123
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Niemowle.JPG") pictureList.kif 3122-3122
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Ragazza_e_bimba_in_braccio.jpg") pictureList.kif 3124-3124
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ Anna_at_11_days.jpg") pictureList.kif 2965-2965
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ Hutchens-baby.jpg") pictureList.kif 31-31
(subclass HumanBaby HumanChild) Mid-level-ontology.kif 372-372 人类宝贝人类的孩子subclass

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


(termFormat ChineseLanguage HumanBaby "人类宝贝") domainEnglishFormat.kif 28845-28845
(termFormat ChineseTraditionalLanguage HumanBaby "人類寶貝") domainEnglishFormat.kif 28844-28844
(termFormat EnglishLanguage HumanBaby "human baby") domainEnglishFormat.kif 28843-28843

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


(=>
    (and
        (instance ?GRP GroupOfPeople)
        (member ?ADULT ?GRP)
        (member ?BABY ?GRP)
        (instance ?BABY HumanBaby)
        (instance ?ADULT HumanAdult)
        (instance ?CRIB Crib))
    (inScopeOfInterest ?ADULT ?CRIB))
Hotel.kif 1270-1278
(=>
    (and
        (parent ?CHILD ?PARENT)
        (or
            (instance ?CHILD HumanChild)
            (instance ?CHILD HumanBaby)))
    (modalAttribute
        (exists (?CARE)
            (and
                (instance ?CARE ChildCareService)
                (desires ?PARENT ?CARE))) Possibility))
Hotel.kif 1890-1900
(=>
    (holdsDuring ?TIME
        (and
            (instance ?BABY HumanBaby)
            (age ?BABY
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 1))
Mid-level-ontology.kif 375-380
(=>
    (holdsDuring ?TIME
        (instance ?BABY HumanBaby))
    (exists (?AGE)
        (and
            (holdsDuring ?TIME
                (age ?BABY ?AGE))
            (instance ?AGE
                (IntervalFn
                    (MeasureFn 0 YearDuration)
                    (MeasureFn 1 YearDuration))))))
Mid-level-ontology.kif 382-390

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


(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 1))
    (holdsDuring ?T1
        (instance ?H HumanBaby)))
Mid-level-ontology.kif 392-397
(=>
    (instance ?SVC ChildCareService)
    (exists (?CHILD ?SITTER)
        (and
            (or
                (instance ?CHILD HumanChild)
                (instance ?CHILD HumanBaby))
            (serviceProvider ?SVC ?SITTER)
            (patient ?SVC ?CHILD)
            (not
                (parent ?CHILD ?SITTER)))))
Hotel.kif 1872-1881
(=>
    (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
(=>
    (instance ?X Crib)
    (hasPurpose ?X
        (exists (?BABY)
            (and
                (instance ?BABY HumanBaby)
                (attribute ?BABY Asleep)
                (located ?BABY ?X)))))
Mid-level-ontology.kif 3944-3951


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