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, human_child, kid, little, minor, nestling, nipper, shaver, small, small_fry, tiddler, tike, toddler, tot, tyke, yearling, youngster

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


(documentation HumanChild EnglishLanguage "A HumanYouth between birth and puberty, i.e a Human who is NonFullyFormed.") Mid-level-ontology.kif 427-428
(externalImage HumanChild "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Sean_Combs_by_David_Shankbone.jpg") pictureList.kif 3129-3129 "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Sean_Combs_by_David_Shankbone.jpg" is a URL depicting human child
(externalImage HumanChild "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Children_in_Namibia%281_cropped%29.jpg") pictureList.kif 3131-3131 "http://upload.wikimedia.org/wikipedia/commons/5/57/ Children_in_Namibia%281_cropped%29.jpg" is a URL depicting human child
(externalImage HumanChild "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Father_with_child.jpg") pictureList.kif 3130-3130 "http://upload.wikimedia.org/wikipedia/commons/7/71/ Father_with_child.jpg" is a URL depicting human child
(externalImage HumanChild "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ O.J._Simpson_%281986%29.jpg") pictureList.kif 3126-3126 "http://upload.wikimedia.org/wikipedia/commons/7/71/ O.J._Simpson_%281986%29.jpg" is a URL depicting human child
(externalImage HumanChild "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Frukosten_av_Amalia_Lindegren_1866.jpg") pictureList.kif 2967-2967 "http://upload.wikimedia.org/wikipedia/commons/7/72/ Frukosten_av_Amalia_Lindegren_1866.jpg" is a URL depicting human child
(externalImage HumanChild "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Youth-soccer-indiana.jpg") pictureList.kif 3128-3128 "http://upload.wikimedia.org/wikipedia/commons/9/92/ Youth-soccer-indiana.jpg" is a URL depicting human child
(subclass HumanChild HumanYouth) Mid-level-ontology.kif 426-426 Human child is a subclass of human youth

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


(subclass Boy HumanChild) Mid-level-ontology.kif 500-500 Boy is a subclass of human child
(subclass Girl HumanChild) Mid-level-ontology.kif 512-512 Girl is a subclass of human child
(subclass HumanBaby HumanChild) Mid-level-ontology.kif 524-524 Human baby is a subclass of human child
(termFormat EnglishLanguage HumanChild "human child") domainEnglishFormat.kif 5227-5227 "human child" is the printable form of human child in english language

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


(=>
    (and
        (instance ?BC BoosterChair)
        (instance ?H HumanChild))
    (hasPurposeForAgent ?BC
        (and
            (attribute ?H Sitting)
            (eventLocated ?H ?BC)) ?H))
Dining.kif 797-804
(=>
    (and
        (parent ?CHILD ?PARENT)
        (or
            (instance ?CHILD HumanChild)
            (instance ?CHILD HumanBaby)))
    (modalAttribute
        (exists (?CARE)
            (and
                (instance ?CARE ChildCareService)
                (desires ?PARENT ?CARE))) Possibility))
Hotel.kif 1834-1844
(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Female)))
    (holdsDuring ?T1
        (instance ?H Girl)))
Mid-level-ontology.kif 517-522
(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Male)))
    (holdsDuring ?T1
        (instance ?H Boy)))
Mid-level-ontology.kif 505-510
(=>
    (holdsDuring ?TIME
        (and
            (instance ?CHILD HumanChild)
            (age ?CHILD
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 14))
Mid-level-ontology.kif 447-452
(=>
    (holdsDuring ?TIME
        (instance ?CHILD HumanChild))
    (holdsDuring ?TIME
        (developmentalForm ?CHILD NonFullyFormed)))
Mid-level-ontology.kif 431-435
(=>
    (holdsDuring ?TIME
        (instance ?H HumanChild))
    (exists (?AGE)
        (and
            (holdsDuring ?TIME
                (age ?H ?AGE))
            (instance ?AGE
                (IntervalFn
                    (MeasureFn 0 YearDuration)
                    (MeasureFn 14 YearDuration))))))
Mid-level-ontology.kif 455-460

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


(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 14))
    (holdsDuring ?T1
        (instance ?H HumanChild)))
Mid-level-ontology.kif 463-468
(=>
    (and
        (instance ?POLICY ChildrenPolicy)
        (policyOwner ?AGENT ?POLICY)
        (policyLocationCoverage ?POLICY ?LOC))
    (or
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?CUST1)
                    (and
                        (customer ?CUST1 ?AGENT)
                        (instance ?CUST1 HumanChild))) Possibility))
        (containsInformation ?POLICY
            (not
                (modalAttribute
                    (exists (?CUST2)
                        (and
                            (customer ?CUST2 ?AGENT)
                            (instance ?CUST2 HumanChild))) Possibility)))))
Hotel.kif 2476-2494
(=>
    (and
        (instance ?POLICY NoChildrenPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (located ?CHILD ?LOC))) Permission))
Hotel.kif 2567-2576
(=>
    (and
        (numberChildOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL ?SUBCOL)
        (and
            (instance ?COL GroupOfPeople)
            (subCollection ?SUBCOL ?COL)
            (instance ?SUBCOL GroupOfPeople)
            (memberType ?SUBCOL HumanChild)
            (memberCount ?SUBCOL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2839-2850
(=>
    (attribute ?X ChildrenSuite)
    (hasPurpose ?X
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (stays ?CHILD ?X)))))
Hotel.kif 982-988
(=>
    (instance ?P PlayArea)
    (hasPurpose ?P
        (exists (?K ?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (eventLocated ?REC ?P)
                (instance ?K HumanChild)
                (agent ?REC ?K)))))
Dining.kif 944-952
(=>
    (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 1816-1825


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners