HumanYouth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - HumanYouth

HumanYouth(human youth)

immature, pup, puppy, spring_chicken, young, young_person, younker, youth

appearance as argument number 1

(documentation HumanYouth EnglishLanguage "The class of Humans that are younger than 18 years of age.")	Mid-level-ontology.kif 242-243
(externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Teens_in_G_string_bikinis.jpg")	pictureList.kif 3139-3139
(externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ Diversity_of_youth_in_Oslo_Norway.jpg")	pictureList.kif 2968-2968
(externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Young_girls_in_bunad.jpg")	pictureList.kif 3140-3140
(subclass HumanYouth Human)	Mid-level-ontology.kif 241-241	Human youth is a subclass of human

appearance as argument number 2

(subclass HumanChild HumanYouth)	Mid-level-ontology.kif 269-269	Human child is a subclass of human youth
(termFormat ChineseLanguage HumanYouth "人类青年")	domainEnglishFormat.kif 28933-28933	Human child is a subclass of human youth
(termFormat ChineseTraditionalLanguage HumanYouth "人類青年")	domainEnglishFormat.kif 28932-28932	Human child is a subclass of human youth
(termFormat EnglishLanguage HumanYouth "human youth")	domainEnglishFormat.kif 28931-28931	Human child is a subclass of human youth

antecedent

(=> (holdsDuring ?TIME (and (instance ?YOUTH HumanYouth) (age ?YOUTH (MeasureFn ?NUMBER YearDuration)))) (lessThan ?NUMBER 18))	Mid-level-ontology.kif 245-250	If an entity is an instance of human youth 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 18
(=> (holdsDuring ?TIME (instance ?H HumanYouth)) (exists (?AGE) (and (holdsDuring ?TIME (age ?H ?AGE)) (instance ?AGE (IntervalFn (MeasureFn 0 YearDuration) (MeasureFn 17 YearDuration))))))	Mid-level-ontology.kif 252-260	If an entity is an instance of human youth 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 17 year duration(s)

consequent

(=> (and (instance ?CHILD Human) (holdsDuring ?TIME (attribute ?CHILD NonFullyFormed))) (holdsDuring ?TIME (instance ?CHILD HumanYouth)))	Mid-level-ontology.kif 279-285	If an entity is an instance of human and non fully formed is an attribute of the entity holds during a time position, then the entity is an instance of human youth holds during the time position
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThan ?N 18)) (holdsDuring ?T1 (instance ?H HumanYouth)))	Mid-level-ontology.kif 262-267	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 18, then the entity is an instance of human youth holds during the time position

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