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 322-323
(externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Photoshooting.jpg") pictureList.kif 2965-2965 externalImage HumanAdult and "http://upload.wikimedia.org/wikipedia/commons/6/68/ Photoshooting.jpg"
(externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Human_2.jpg") pictureList.kif 3122-3122 externalImage HumanAdult and "http://upload.wikimedia.org/wikipedia/commons/9/95/ Human_2.jpg"
(externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ George_Stephanopoulos_crop.jpg") pictureList.kif 3119-3119 externalImage HumanAdult and "http://upload.wikimedia.org/wikipedia/commons/9/9e/ George_Stephanopoulos_crop.jpg"
(externalImage HumanAdult "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ Wedding.smallgroup.arp.750pix.jpg") pictureList.kif 3120-3120 externalImage HumanAdult and "http://upload.wikimedia.org/wikipedia/commons/c/c1/ Wedding.smallgroup.arp.750pix.jpg"
(subclass HumanAdult Human) Mid-level-ontology.kif 316-316 subclass HumanAdult and Human
(subclass HumanAdult LegalAgent) Mid-level-ontology.kif 320-320 subclass HumanAdult and LegalAgent

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


(termFormat ChineseLanguage HumanAdult "人类成人") domainEnglishFormat.kif 28747-28747 termFormat ChineseLanguage, HumanAdult and "人类成人"
(termFormat ChineseTraditionalLanguage HumanAdult "人類成人") domainEnglishFormat.kif 28746-28746 termFormat ChineseTraditionalLanguage, HumanAdult and "人類成人"
(termFormat EnglishLanguage HumanAdult "human adult") domainEnglishFormat.kif 28745-28745 termFormat EnglishLanguage, HumanAdult and "human adult"

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


(=>
    (and
        (instance ?ADULT HumanAdult)
        (height ?ADULT ?HEIGHT))
    (not
        (greaterThan ?HEIGHT
            (MeasureFn 120 Inch))))
Mid-level-ontology.kif 349-354
(=>
    (and
        (instance ?GRP GroupOfPeople)
        (member ?ADULT ?GRP)
        (member ?BABY ?GRP)
        (instance ?BABY HumanBaby)
        (instance ?ADULT HumanAdult)
        (instance ?CRIB Crib))
    (inScopeOfInterest ?ADULT ?CRIB))
Hotel.kif 1221-1229
(=>
    (holdsDuring ?TIME
        (and
            (instance ?ADULT HumanAdult)
            (age ?ADULT
                (MeasureFn ?NUMBER YearDuration))))
    (greaterThanOrEqualTo ?NUMBER 18))
Mid-level-ontology.kif 333-338
(=>
    (holdsDuring ?TIME
        (instance ?ADULT HumanAdult))
    (holdsDuring ?TIME
        (developmentalForm ?ADULT FullyFormed)))
Mid-level-ontology.kif 366-370
(=>
    (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 341-346

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


(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThanOrEqualTo ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanAdult)))
Mid-level-ontology.kif 357-363
(=>
    (and
        (instance ?ORG Human)
        (holdsDuring ?TIME
            (attribute ?ORG FullyFormed)))
    (holdsDuring ?TIME
        (instance ?ORG HumanAdult)))
Mid-level-ontology.kif 373-379
(=>
    (and
        (numberAdultOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL)
        (and
            (instance ?COL GroupOfPeople)
            (memberType ?COL HumanAdult)
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2825-2834
(=>
    (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 2867-2882


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners