| 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 2965-2965 | |
| (externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Human_2.jpg") | pictureList.kif 3122-3122 | |
| (externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ George_Stephanopoulos_crop.jpg") | pictureList.kif 3119-3119 | |
| (externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ Wedding.smallgroup.arp.750pix.jpg") | pictureList.kif 3120-3120 | |
| (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 28830-28830 | |
| (termFormat ChineseTraditionalLanguage HumanAdult "人類成人") | domainEnglishFormat.kif 28829-28829 | |
| (termFormat EnglishLanguage HumanAdult "human adult") | domainEnglishFormat.kif 28828-28828 |
| antecedent |
|
|
| (=> (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 1248-1256 | |
| (=> (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 ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2852-2861 | |
| (=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (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 2894-2909 |
|
|
|