HumanAdult - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HumanAdult

HumanAdult(human adult)

appearance as argument number 1

(documentation HumanAdult EnglishLanguage "The class of Humans that are 18 years of age or older.")	Mid-level-ontology.kif 183-184
(externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Photoshooting.jpg")	pictureList.kif 2964-2964
(externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Human_2.jpg")	pictureList.kif 3121-3121
(externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ George_Stephanopoulos_crop.jpg")	pictureList.kif 3118-3118
(externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ Wedding.smallgroup.arp.750pix.jpg")	pictureList.kif 3119-3119
(subclass HumanAdult Human)	Mid-level-ontology.kif 178-178	Human adult is a subclass of human
(subclass HumanAdult LegalAgent)	Mid-level-ontology.kif 181-181	Human adult is a subclass of legal agent

appearance as argument number 2

(termFormat ChineseLanguage HumanAdult "人类成人")	domainEnglishFormat.kif 28873-28873
(termFormat ChineseTraditionalLanguage HumanAdult "人類成人")	domainEnglishFormat.kif 28872-28872
(termFormat EnglishLanguage HumanAdult "human adult")	domainEnglishFormat.kif 28871-28871

antecedent

(=> (and (breathingRate ?H ?T ?R) (instance ?T Minute) (not (exists (?R) (and (instance ?R RecreationOrExercise) (agent ?R ?H) (during ?T (WhenFn ?R))))) (holdsDuring ?T (attribute ?H HumanAdult)) (or (greaterThan ?R 16) (lessThan ?R 12))) (holdsDuring ?T (not (attribute ?H Healthy))))	Medicine.kif 367-385	If an agent breathes at a rate of an integer breaths per a time interval and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and human adult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12, then healthy is not an attribute of the agent holds during the time interval
(=> (and (instance ?ADULT HumanAdult) (height ?ADULT (MeasureFn ?HEIGHT Inch))) (not (greaterThan ?HEIGHT 120.0)))	Mid-level-ontology.kif 204-210	If a self connected object is an instance of human adult and the height of the self connected object is a real number inch(s), then the real number is not greater than 120.0
(=> (and (instance ?GRP GroupOfPeople) (member ?ADULT ?GRP) (member ?BABY ?GRP) (instance ?BABY HumanBaby) (instance ?ADULT HumanAdult) (instance ?CRIB Crib)) (inScopeOfInterest ?ADULT ?CRIB))	Hotel.kif 1270-1278	If a collection is an instance of group of people and a cognitive agent is a member of the collection and a physical is a member of the collection and the physical is an instance of human baby and the cognitive agent is an instance of human adult and an entity is an instance of crib, then the cognitive agent is interested in the entity
(=> (and (instance ?H HumanAdult) (measure ?H (MeasureFn ?N Pounds))) (and (bloodVolume ?H (MeasureFn ?N2 Liter)) (equal ?N2 (DivisionFn (MultiplicationFn ?N 0.07) 2.33))))	Medicine.kif 5915-5924	If a human is an instance of human adult and the measure of the human is a real number Pounds(s), then the human has the real number2 liter(s) of blood and the real number2 is equal to the real number and 0.07 and 2.33
(=> (holdsDuring ?TIME (and (instance ?ADULT HumanAdult) (age ?ADULT (MeasureFn ?NUMBER YearDuration)))) (greaterThanOrEqualTo ?NUMBER 18))	Mid-level-ontology.kif 186-192	If an entity is an instance of human adult and the age of the entity is a real number year duration(s) holds during a time position, then the real number is greater than or equal to 18
(=> (holdsDuring ?TIME (instance ?ADULT HumanAdult)) (holdsDuring ?TIME (developmentalForm ?ADULT FullyFormed)))	Mid-level-ontology.kif 220-224	If an entity is an instance of human adult holds during a time position, then the developmental form of the entity is fully formed holds during the time position
(=> (holdsDuring ?TIME (instance ?H HumanAdult)) (exists (?AGE) (and (holdsDuring ?TIME (age ?H ?AGE)) (instance ?AGE (IntervalFn (MeasureFn 18 YearDuration) (MeasureFn 120 YearDuration))))))	Mid-level-ontology.kif 194-202	If an entity is an instance of human adult 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 18 year duration(s) to 120 year duration(s)

consequent

(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (greaterThanOrEqualTo ?N 18)) (holdsDuring ?T1 (instance ?H HumanAdult)))	Mid-level-ontology.kif 212-218	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 greater than or equal to 18, then the entity is an instance of human adult holds during the time position
(=> (and (instance ?ORG Human) (holdsDuring ?TIME (attribute ?ORG FullyFormed))) (holdsDuring ?TIME (instance ?ORG HumanAdult)))	Mid-level-ontology.kif 226-232	If an entity is an instance of human and fully formed is an attribute of the entity holds during a time position, then the entity is an instance of human adult holds during the time position
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2883-2892	If a hotel reservation may have an integer adults and an agent fulfills the hotel reservation, then there exists a collection such that the collection is an instance of group of people and human adult is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the agent
(=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?AGE) (and (instance ?COL GroupOfPeople) (forall (?X) (=> (member ?X ?COL) (and (instance ?X HumanAdult) (age ?X (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE 60)))) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2925-2940	If a hotel reservation is for an integer seniors and an agent fulfills the hotel reservation, then there exist a collection and a real number such that the collection is an instance of group of people and for all a physical if the physical is a member of the collection, then the physical is an instance of human adult and the age of the physical is the real number year duration(s) and the real number is greater than or equal to 60 and the integer is a member count of the collection and the collection is a potential customer for the agent

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