HumanChild - Sigma Knowledge base Browser

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 3128-3128
(externalImage HumanChild "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Children_in_Namibia%281_cropped%29.jpg")	pictureList.kif 3130-3130
(externalImage HumanChild "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Father_with_child.jpg")	pictureList.kif 3129-3129
(externalImage HumanChild "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ O.J._Simpson_%281986%29.jpg")	pictureList.kif 3125-3125
(externalImage HumanChild "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Frukosten_av_Amalia_Lindegren_1866.jpg")	pictureList.kif 2966-2966
(externalImage HumanChild "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Youth-soccer-indiana.jpg")	pictureList.kif 3127-3127
(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 28891-28891	Human baby is a subclass of human child
(termFormat ChineseTraditionalLanguage HumanChild "人類的孩子")	domainEnglishFormat.kif 28890-28890	Human baby is a subclass of human child
(termFormat EnglishLanguage HumanChild "human child")	domainEnglishFormat.kif 28889-28889	Human baby is a subclass of human child

antecedent

(=> (and (instance ?BC BoosterChair) (instance ?H HumanChild)) (hasPurposeForAgent ?BC (and (attribute ?H Sitting) (eventLocated ?H ?BC)) ?H))	Dining.kif 840-847	If a physical is an instance of booster chair and an agent is an instance of human child, then the physical has the purpose sitting is an attribute of the agent and the agent is located at the physical for the agent
(=> (and (parent ?CHILD ?PARENT) (or (instance ?CHILD HumanChild) (instance ?CHILD HumanBaby))) (modalAttribute (exists (?CARE) (and (instance ?CARE ChildCareService) (desires ?PARENT ?CARE))) Possibility))	Hotel.kif 1890-1900	If an organism is a parent of another organism and the other organism is an instance of human child or the other organism is an instance of human baby, then the statement there exists an entity such that the entity is an instance of child-care service and the organism desires the entity has the modal force of possibility
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Female))) (holdsDuring ?T1 (instance ?H Girl)))	Mid-level-ontology.kif 358-363	If an entity is an instance of human child and female is an attribute of the entity holds during a time position, then the entity is an instance of girl holds during the time position
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Male))) (holdsDuring ?T1 (instance ?H Boy)))	Mid-level-ontology.kif 347-352	If an entity is an instance of human child and male is an attribute of the entity holds during a time position, then the entity is an instance of boy holds during the time position
(=> (holdsDuring ?TIME (and (instance ?CHILD HumanChild) (age ?CHILD (MeasureFn ?NUMBER YearDuration)))) (lessThanOrEqualTo ?NUMBER 14))	Mid-level-ontology.kif 287-292	If an entity is an instance of human child and the age of the entity is a real number year duration(s) holds during a time position, then the real number is less than or equal to 14
(=> (holdsDuring ?TIME (instance ?CHILD HumanChild)) (holdsDuring ?TIME (developmentalForm ?CHILD NonFullyFormed)))	Mid-level-ontology.kif 273-277	If an entity is an instance of human child holds during a time position, then the developmental form of the entity is non fully formed holds during the time position
(=> (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	If an entity is an instance of human child holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 0 year duration(s) to 14 year duration(s)

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	If an entity is an instance of human and the age of the entity is a real number year duration(s) holds during a time position and the real number is less than or equal to 14, then the entity is an instance of human child holds during the time position
(=> (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 2535-2553	If a policy is an instance of children policy and an organization enacts policy the policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the organization is a customer of the entity and the entity is an instance of human child has the modal force of possibility or the policy contains information the statement there exists another entity such that the organization is a customer of the other entity and the other entity is an instance of human child doesn't have the modal force of possibility
(=> (and (instance ?POLICY NoChildrenPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?CHILD) (and (instance ?CHILD HumanChild) (located ?CHILD ?LOC))) Permission))	Hotel.kif 2626-2635	If a policy is an instance of no children allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of human child and the entity is located at the object for permission
(=> (and (numberChildOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?SUBCOL) (and (instance ?COL GroupOfPeople) (subCollection ?SUBCOL ?COL) (instance ?SUBCOL GroupOfPeople) (memberType ?SUBCOL HumanChild) (memberCount ?SUBCOL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2903-2914	If a hotel reservation may have an integer children and an agent fulfills the hotel reservation, then there exist a collection and another collection such that the collection is an instance of group of people and the other collection is a proper sub-collection of the collection and the other collection is an instance of group of people and human child is a member type of the other collection and the integer is a member count of the other collection and the collection is a potential customer for the agent
(=> (attribute ?X ChildrenSuite) (hasPurpose ?X (exists (?CHILD) (and (instance ?CHILD HumanChild) (stays ?CHILD ?X)))))	Hotel.kif 1029-1035	If children's suite is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of human child and the entity stays at the object
(=> (instance ?P Pedialyte) (hasPurpose ?P (exists (?C ?D ?V ?DR) (and (instance ?C HumanChild) (instance ?D Diarrhea) (instance ?V Vomiting) (or (and (experiencer ?D ?C) (earlier (WhenFn ?D) (WhenFn ?DR))) (and (experiencer ?V ?C) (earlier (WhenFn ?V) (WhenFn ?DR)))) (instance ?DR Drinking) (agent ?DR ?C) (objectTransferred ?DR ?P)))))	Medicine.kif 4816-4833	If a physical is an instance of Pedialyte, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityR such that the entity is an instance of human child and the other entity is an instance of diarrhea and the third entity is an instance of vomiting and the entity experiences the other entity and the time of existence of the other entity happens earlier than the time of existence of the other entityR or the entity experiences the third entity and the time of existence of the third entity happens earlier than the time of existence of the other entityR and the other entityR is an instance of drinking and the entity is an agent of the other entityR and the object transferred in the other entityR is the physical
(=> (instance ?P PlayArea) (hasPurpose ?P (exists (?K ?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?P) (instance ?K HumanChild) (agent ?REC ?K)))))	Dining.kif 987-995	If a physical is an instance of playground, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of recreation or exercise and the other entity is located at the physical and the entity is an instance of human child and the entity is an agent of the other entity
(=> (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 1872-1881	If a service is an instance of child-care service, then there exist an organism and another organism such that the organism is an instance of human child or the organism is an instance of human baby and the other organism provides a service during the service and the organism is a patient of the service and the other organism is not a parent of the organism

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