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 366-366
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ HumanNewborn.JPG") pictureList.kif 3122-3122
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Niemowle.JPG") pictureList.kif 3121-3121
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Ragazza_e_bimba_in_braccio.jpg") pictureList.kif 3123-3123
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ Anna_at_11_days.jpg") pictureList.kif 2964-2964
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ Hutchens_baby.jpg") pictureList.kif 31-31
(subclass HumanBaby HumanChild) Mid-level-ontology.kif 365-365

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


(termFormat ChineseLanguage HumanBaby "人类宝贝") domainEnglishFormat.kif 28856-28856
(termFormat ChineseTraditionalLanguage HumanBaby "人類寶貝") domainEnglishFormat.kif 28855-28855
(termFormat EnglishLanguage HumanBaby "human baby") domainEnglishFormat.kif 28854-28854

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 1278-1286
(=>
    (and
        (parent ?CHILD ?PARENT)
        (or
            (instance ?CHILD HumanChild)
            (instance ?CHILD HumanBaby)))
    (modalAttribute
        (exists (?CARE)
            (and
                (instance ?CARE ChildCareService)
                (desires ?PARENT ?CARE))) Possibility))		 Hotel.kif 1901-1911
(=>
    (holdsDuring ?TIME
        (and
            (instance ?BABY HumanBaby)
            (age ?BABY
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 1))		 Mid-level-ontology.kif 368-373
(=>
    (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 375-383

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


(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 1))
    (holdsDuring ?T1
        (instance ?H HumanBaby)))		 Mid-level-ontology.kif 385-390
(=>
    (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 1883-1892
(=>
    (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 4387-4394


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