![]() |
![]() ![]() ![]()
|
![]() |
|
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 3124-3124 | |
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Niemowle.JPG") | pictureList.kif 3123-3123 | |
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Ragazza_e_bimba_in_braccio.jpg") | pictureList.kif 3125-3125 | |
(externalImage HumanBaby "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ Anna_at_11_days.jpg") | pictureList.kif 2966-2966 | |
(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 28836-28836 | |
(termFormat ChineseTraditionalLanguage HumanBaby "人類寶貝") | domainEnglishFormat.kif 28835-28835 | |
(termFormat EnglishLanguage HumanBaby "human baby") | domainEnglishFormat.kif 28834-28834 |
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 1248-1256 | |
(=> (and (parent ?CHILD ?PARENT) (or (instance ?CHILD HumanChild) (instance ?CHILD HumanBaby))) (modalAttribute (exists (?CARE) (and (instance ?CARE ChildCareService) (desires ?PARENT ?CARE))) Possibility)) |
Hotel.kif 1865-1875 | |
(=> (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 1847-1856 | |
(=> (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 3891-3898 |
![]() |
![]() |