| HumanAdult
| |
| 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 2963-2963 | |
| (externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Human_2.jpg") | pictureList.kif 3120-3120 | |
| (externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ George_Stephanopoulos_crop.jpg") | pictureList.kif 3117-3117 | |
| (externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ Wedding.smallgroup.arp.750pix.jpg") | pictureList.kif 3118-3118 | |
| (subclass HumanAdult Human) | Mid-level-ontology.kif 178-178 | |
| (subclass HumanAdult LegalAgent) | Mid-level-ontology.kif 181-181 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HumanAdult "人类成人") | domainEnglishFormat.kif 28867-28867 | |
| (termFormat ChineseTraditionalLanguage HumanAdult "人類成人") | domainEnglishFormat.kif 28866-28866 | |
| (termFormat EnglishLanguage HumanAdult "human adult") | domainEnglishFormat.kif 28865-28865 |
| 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 355-373 | |
| (=> (and (instance ?ADULT HumanAdult) (height ?ADULT (MeasureFn ?HEIGHT Inch))) (not (greaterThan ?HEIGHT 120.0))) |
Mid-level-ontology.kif 204-210 | |
| (=> (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 | |
| (=> (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 5898-5907 | |
| (=> (holdsDuring ?TIME (and (instance ?ADULT HumanAdult) (age ?ADULT (MeasureFn ?NUMBER YearDuration)))) (greaterThanOrEqualTo ?NUMBER 18)) |
Mid-level-ontology.kif 186-192 | |
| (=> (holdsDuring ?TIME (instance ?ADULT HumanAdult)) (holdsDuring ?TIME (developmentalForm ?ADULT FullyFormed))) |
Mid-level-ontology.kif 220-224 | |
| (=> (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 |
| 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 | |
| (=> (and (instance ?ORG Human) (holdsDuring ?TIME (attribute ?ORG FullyFormed))) (holdsDuring ?TIME (instance ?ORG HumanAdult))) |
Mid-level-ontology.kif 226-232 | |
| (=> (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 | |
| (=> (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 |
|
|
|