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
-------------------------


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

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


(subclass Boy HumanChild) Mid-level-ontology.kif 343-343 Boy is a subclass of human child
(subclass Girl HumanChild) Mid-level-ontology.kif 354-354 Girl is a subclass of human child
(subclass HumanBaby HumanChild) Mid-level-ontology.kif 365-365 Human baby is a subclass of human child
(termFormat ChineseLanguage HumanChild "人类的孩子") domainEnglishFormat.kif 28848-28848
(termFormat ChineseTraditionalLanguage HumanChild "人類的孩子") domainEnglishFormat.kif 28847-28847
(termFormat EnglishLanguage HumanChild "human child") domainEnglishFormat.kif 28846-28846

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


(=>
    (and
        (instance ?BC BoosterChair)
        (instance ?H HumanChild))
    (hasPurposeForAgent ?BC
        (and
            (attribute ?H Sitting)
            (eventLocated ?H ?BC)) ?H))
Dining.kif 793-800
(=>
    (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 ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Female)))
    (holdsDuring ?T1
        (instance ?H Girl)))
Mid-level-ontology.kif 358-363
(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Male)))
    (holdsDuring ?T1
        (instance ?H Boy)))
Mid-level-ontology.kif 347-352
(=>
    (holdsDuring ?TIME
        (and
            (instance ?CHILD HumanChild)
            (age ?CHILD
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 14))
Mid-level-ontology.kif 287-292
(=>
    (holdsDuring ?TIME
        (instance ?CHILD HumanChild))
    (holdsDuring ?TIME
        (developmentalForm ?CHILD NonFullyFormed)))
Mid-level-ontology.kif 273-277
(=>
    (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 294-302

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


(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 14))
    (holdsDuring ?T1
        (instance ?H HumanChild)))
Mid-level-ontology.kif 304-311
(=>
    (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 2508-2526
(=>
    (and
        (instance ?POLICY NoChildrenPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (located ?CHILD ?LOC))) Permission))
Hotel.kif 2599-2608
(=>
    (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 2872-2883
(=>
    (attribute ?X ChildrenSuite)
    (hasPurpose ?X
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (stays ?CHILD ?X)))))
Hotel.kif 1007-1013
(=>
    (instance ?P PlayArea)
    (hasPurpose ?P
        (exists (?K ?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (eventLocated ?REC ?P)
                (instance ?K HumanChild)
                (agent ?REC ?K)))))
Dining.kif 940-948
(=>
    (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


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