Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HumanAdult
HumanAdult

appearance as argument number 1
-------------------------


(subclass HumanAdult Human) Mid-level-ontology.kif 165-165
(documentation HumanAdult EnglishLanguage "The class of Humans that are 18 years of age or older.") Mid-level-ontology.kif 167-168
(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/ 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
(externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Human_2.jpg") pictureList.kif 3120-3120

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage HumanAdult "human adult") domainEnglishFormat.kif 28841-28841
(termFormat ChineseTraditionalLanguage HumanAdult "人類成人") domainEnglishFormat.kif 28842-28842
(termFormat ChineseLanguage HumanAdult "人类成人") domainEnglishFormat.kif 28843-28843

antecedent
-------------------------


(=>
    (instance ?H HumanAdult)
    (attribute ?H LegalPersonhood))		 Mid-level-ontology.kif 172-174
(=>
    (holdsDuring ?TIME
        (and
            (instance ?ADULT HumanAdult)
            (age ?ADULT
                (MeasureFn ?NUMBER YearDuration))))
    (greaterThanOrEqualTo ?NUMBER 18))		 Mid-level-ontology.kif 176-182
(=>
    (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 184-192
(=>
    (and
        (instance ?ADULT HumanAdult)
        (height ?ADULT
            (MeasureFn ?HEIGHT Inch)))
    (not
        (greaterThan ?HEIGHT 120.0)))		 Mid-level-ontology.kif 194-200
(=>
    (holdsDuring ?TIME
        (instance ?ADULT HumanAdult))
    (holdsDuring ?TIME
        (developmentalForm ?ADULT FullyFormed)))		 Mid-level-ontology.kif 210-214
(=>
    (and
        (instance ?GRP GroupOfPeople)
        (member ?ADULT ?GRP)
        (member ?BABY ?GRP)
        (instance ?BABY HumanBaby)
        (instance ?ADULT HumanAdult)
        (instance ?CRIB Crib))
    (inScopeOfInterest ?ADULT ?CRIB))		 Hotel.kif 1278-1286
(=>
    (and
        (breathingRate ?H ?T ?R)
        (instance ?T Minute)
        (not
            (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 357-374
(=>
    (and
        (instance ?H HumanAdult)
        (measure ?H
            (MeasureFn ?N PoundMass)))
    (and
        (bloodVolume ?H
            (MeasureFn ?N2 Liter))
        (equal ?N2
            (DivisionFn
                (MultiplicationFn ?N 0.07) 2.33))))		 Medicine.kif 5945-5954

consequent
-------------------------


(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThanOrEqualTo ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanAdult)))		 Mid-level-ontology.kif 202-208
(=>
    (and
        (instance ?ORG Human)
        (holdsDuring ?TIME
            (attribute ?ORG FullyFormed)))
    (holdsDuring ?TIME
        (instance ?ORG HumanAdult)))		 Mid-level-ontology.kif 216-222
(=>
    (and
        (numberAdultOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?HOTEL ?RESERVE))
    (exists (?COL)
        (and
            (instance ?COL GroupOfPeople)
            (memberType ?COL HumanAdult)
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))		 Hotel.kif 2901-2910
(=>
    (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 2943-2958


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners