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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - numberAdultOccupant
numberAdultOccupant

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


s__documentation(s__numberAdultOccupant__m,s__EnglishLanguage,'"(numberAdultOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of HumanAdult that will be fulfilling the reservation"')

Hotel.kif 2846-2848
s__domain(s__numberAdultOccupant__m,n__1,s__HotelReservation)

Hotel.kif 2830-2830 The number 1 argument of number of adult occupants is an instance of hotel reservation
s__domain(s__numberAdultOccupant__m,n__2,s__Integer)

Hotel.kif 2831-2831 The number 2 argument of number of adult occupants is an instance of integer
s__instance(s__numberAdultOccupant__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Hotel.kif 2845-2845 number of adult occupants is an instance of binary predicate
s__subrelation(s__numberAdultOccupant__m,s__numberOccupant__m)

Hotel.kif 2844-2844 number of adult occupants is a subrelation of number of occupants

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


s__format(s__ChineseLanguage,s__numberAdultOccupant__m,'"%1 也许 have %2 成人"')

domainEnglishFormat.kif 3987-3987
s__format(s__ChineseTraditionalLanguage,s__numberAdultOccupant__m,'"%1 也許 have %2 成人"')

domainEnglishFormat.kif 3986-3986
s__format(s__EnglishLanguage,s__numberAdultOccupant__m,'"%1 may have %2 adults"')

domainEnglishFormat.kif 3985-3985
s__termFormat(s__EnglishLanguage,s__numberAdultOccupant__m,'"number of adult occupants"')

Hotel.kif 2849-2849

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


( ! [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 2852-2861


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