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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanChild
HumanChild(human child)
more pictures...
baby, bambino, child, fry, kid, little, minor, nestling, nipper, shaver, small, small_fry, tiddler, tike, toddler, tot, tyke, yearling, youngster

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


s__documentation(s__HumanChild,s__EnglishLanguage,'"A HumanYouth between birth and puberty, i.e a Human who is NonFullyFormed."')

Mid-level-ontology.kif 263-264
s__externalImage(s__HumanChild,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Sean_Combs_by_David_Shankbone.jpg"')

pictureList.kif 3129-3129
s__externalImage(s__HumanChild,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Children_in_Namibia%281_cropped%29.jpg"')

pictureList.kif 3131-3131
s__externalImage(s__HumanChild,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Father_with_child.jpg"')

pictureList.kif 3130-3130
s__externalImage(s__HumanChild,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ O.J._Simpson_%281986%29.jpg"')

pictureList.kif 3126-3126
s__externalImage(s__HumanChild,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Frukosten_av_Amalia_Lindegren_1866.jpg"')

pictureList.kif 2967-2967
s__externalImage(s__HumanChild,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Youth-soccer-indiana.jpg"')

pictureList.kif 3128-3128
s__instance(s__HumanYouth,s__SetOrClass)

s__instance(s__HumanChild,s__SetOrClass)

s__subclass(s__HumanChild,s__HumanYouth)

Mid-level-ontology.kif 262-262 Human child is a subclass of human youth

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


s__instance(s__HumanChild,s__SetOrClass)

s__instance(s__Boy,s__SetOrClass)

s__subclass(s__Boy,s__HumanChild)

Mid-level-ontology.kif 328-328 Boy is a subclass of human child
s__subclass(s__Girl,s__HumanChild)

s__instance(s__HumanChild,s__SetOrClass)

s__instance(s__Girl,s__SetOrClass)

Mid-level-ontology.kif 339-339 Girl is a subclass of human child
s__subclass(s__HumanBaby,s__HumanChild)

s__instance(s__HumanChild,s__SetOrClass)

s__instance(s__HumanBaby,s__SetOrClass)

Mid-level-ontology.kif 350-350 Human baby is a subclass of human child
s__termFormat(s__ChineseLanguage,s__HumanChild,'"人类的孩子"')

domainEnglishFormat.kif 28848-28848
s__termFormat(s__ChineseTraditionalLanguage,s__HumanChild,'"人類的孩子"')

domainEnglishFormat.kif 28847-28847
s__termFormat(s__EnglishLanguage,s__HumanChild,'"human child"')

domainEnglishFormat.kif 28846-28846

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 793-800
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1865-1875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 343-348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 332-337
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 280-285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 266-270
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 287-292

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 294-299
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2508-2526
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2599-2608
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer))
       =>
       (((s__numberChildOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL, V__SUBCOL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               s__subCollection(V__SUBCOL,V__COL)
             &
             s__instance(V__SUBCOL,s__GroupOfPeople) &
             s__memberType(V__SUBCOL,s__HumanChild) &
             s__memberCount(V__SUBCOL,V__NUM)
           &
           s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2872-2883
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1007-1013
No TPTP formula. May not be expressible in strict first order. Dining.kif 940-948
( ! [V__SVC] :
   ((s__instance(V__SVC,s__ChildCareService) =>
       (( ? [V__CHILD, V__SITTER] :
           ((s__instance(V__SITTER,s__Organism) &
               s__instance(V__SITTER,s__CognitiveAgent) &
               ((s__instance(V__CHILD,s__HumanChild) |
                   s__instance(V__CHILD,s__HumanBaby))
                 &
                 s__serviceProvider(V__SVC,V__SITTER)
               &
               s__patient(V__SVC,V__CHILD)
             &
             ~(s__parent(V__CHILD,V__SITTER))))))))
)
)

Hotel.kif 1847-1856


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