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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanChild
HumanChild
more pictures...

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 426-427
(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 425-425

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


(subclass Boy HumanChild) Mid-level-ontology.kif 499-499
(subclass Girl HumanChild) Mid-level-ontology.kif 511-511
(subclass HumanBaby HumanChild) Mid-level-ontology.kif 523-523
(termFormat ChineseLanguage HumanChild "人类的孩子") domainEnglishFormat.kif 28855-28855
(termFormat ChineseTraditionalLanguage HumanChild "人類的孩子") domainEnglishFormat.kif 28854-28854
(termFormat EnglishLanguage HumanChild "human child") domainEnglishFormat.kif 28853-28853

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 1839-1849
(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Female)))
    (holdsDuring ?T1
        (instance ?H Girl)))		 Mid-level-ontology.kif 516-521
(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Male)))
    (holdsDuring ?T1
        (instance ?H Boy)))		 Mid-level-ontology.kif 504-509
(=>
    (holdsDuring ?TIME
        (and
            (instance ?CHILD HumanChild)
            (age ?CHILD
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 14))		 Mid-level-ontology.kif 446-451
(=>
    (holdsDuring ?TIME
        (instance ?CHILD HumanChild))
    (holdsDuring ?TIME
        (developmentalForm ?CHILD NonFullyFormed)))		 Mid-level-ontology.kif 430-434
(=>
    (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 454-459

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


(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 14))
    (holdsDuring ?T1
        (instance ?H HumanChild)))		 Mid-level-ontology.kif 462-467
(=>
    (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 2482-2500
(=>
    (and
        (instance ?POLICY NoChildrenPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (located ?CHILD ?LOC))) Permission))		 Hotel.kif 2573-2582
(=>
    (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 2846-2857
(=>
    (attribute ?X ChildrenSuite)
    (hasPurpose ?X
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (stays ?CHILD ?X)))))		 Hotel.kif 986-992
(=>
    (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 1821-1830


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