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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanAdult
HumanAdult(human adult)
adult, grownup

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


s__documentation(s__HumanAdult,s__EnglishLanguage,'"The class of Humans that are 18 years of age or older."')

Mid-level-ontology.kif 183-184
s__externalImage(s__HumanAdult,'"http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Photoshooting.jpg"')

pictureList.kif 2965-2965
s__externalImage(s__HumanAdult,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Human_2.jpg"')

pictureList.kif 3122-3122
s__externalImage(s__HumanAdult,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ George_Stephanopoulos_crop.jpg"')

pictureList.kif 3119-3119
s__externalImage(s__HumanAdult,'"http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ Wedding.smallgroup.arp.750pix.jpg"')

pictureList.kif 3120-3120
s__subclass(s__HumanAdult,s__Human)

s__instance(s__Human,s__SetOrClass)

s__instance(s__HumanAdult,s__SetOrClass)

Mid-level-ontology.kif 178-178 Human adult is a subclass of human
s__instance(s__LegalAgent,s__SetOrClass)

s__instance(s__HumanAdult,s__SetOrClass)

s__subclass(s__HumanAdult,s__LegalAgent)

Mid-level-ontology.kif 181-181 Human adult is a subclass of LegalAgent

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


s__termFormat(s__ChineseLanguage,s__HumanAdult,'"人类成人"')

domainEnglishFormat.kif 28830-28830
s__termFormat(s__ChineseTraditionalLanguage,s__HumanAdult,'"人類成人"')

domainEnglishFormat.kif 28829-28829
s__termFormat(s__EnglishLanguage,s__HumanAdult,'"human adult"')

domainEnglishFormat.kif 28828-28828

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


( ! [V__HEIGHT,V__ADULT] :
   ((s__instance(V__HEIGHT,s__RealNumber) =>
       (((s__instance(V__ADULT,s__HumanAdult) &
             s__height(V__ADULT,s__MeasureFn(V__HEIGHT,s__Inch)))
         =>
         (~(s__greaterThan(V__HEIGHT,n__120))))))
)
)

Mid-level-ontology.kif 200-206
( ! [V__CRIB,V__BABY,V__GRP,V__ADULT] :
   (((s__instance(V__GRP,s__GroupOfPeople) &
         s__member(V__ADULT,V__GRP)
       &
       s__member(V__BABY,V__GRP)
     &
     s__instance(V__BABY,s__HumanBaby) &
     s__instance(V__ADULT,s__HumanAdult) &
     s__instance(V__CRIB,s__Crib))
   =>
   (s__inScopeOfInterest(V__ADULT,V__CRIB)))
)
)

Hotel.kif 1235-1243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 186-191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 216-220
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 193-198

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 208-214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 222-228
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer))
       =>
       (((s__numberAdultOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               s__memberType(V__COL,s__HumanAdult) &
               s__memberCount(V__COL,V__NUM)
             &
             s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2839-2848
( ! [V__RESERVE,V__HOTEL,V__NUM,V__AGE] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer) &
         s__instance(V__AGE,s__RealNumber))
       =>
       (((s__numberSeniorOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               ( ! [V__X] :
                 ((s__member(V__X,V__COL)
                   =>
                   ((s__instance(V__X,s__HumanAdult) &
                       s__age(V__X,s__MeasureFn(V__AGE,s__YearDuration))
                     &
                     s__greaterThanOrEqualTo(V__AGE,n__60))))))
         &
         s__memberCount(V__COL,V__NUM)
       &
       s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2881-2896


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