Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanAdult
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 190-191
(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 185-185 人类成人人类subclass
(subclass HumanAdult LegalAgent) Mid-level-ontology.kif 188-188 人类成人LegalAgentsubclass

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


(termFormat ChineseLanguage HumanAdult "人类成人") domainEnglishFormat.kif 28839-28839
(termFormat ChineseTraditionalLanguage HumanAdult "人類成人") domainEnglishFormat.kif 28838-28838
(termFormat EnglishLanguage HumanAdult "human adult") domainEnglishFormat.kif 28837-28837

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
(=>
    (and
        (instance ?ADULT HumanAdult)
        (height ?ADULT
            (MeasureFn ?HEIGHT Inch)))
    (not
        (greaterThan ?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217
(=>
    (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 5915-5924
(=>
    (holdsDuring ?TIME
        (and
            (instance ?ADULT HumanAdult)
            (age ?ADULT
                (MeasureFn ?NUMBER YearDuration))))
    (greaterThanOrEqualTo ?NUMBER 18))
Mid-level-ontology.kif 193-199
(=>
    (holdsDuring ?TIME
        (instance ?ADULT HumanAdult))
    (holdsDuring ?TIME
        (developmentalForm ?ADULT FullyFormed)))
Mid-level-ontology.kif 227-231
(=>
    (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 201-209

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


(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThanOrEqualTo ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanAdult)))
Mid-level-ontology.kif 219-225
(=>
    (and
        (instance ?ORG Human)
        (holdsDuring ?TIME
            (attribute ?ORG FullyFormed)))
    (holdsDuring ?TIME
        (instance ?ORG HumanAdult)))
Mid-level-ontology.kif 233-239
(=>
    (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


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