numberOfCustomers - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__numberOfCustomers__m,s__EnglishLanguage,'"(numberOfCustomers ?NUM ?RESERVE) refers to the number of patrons the reservation is for."')	Dining.kif 681-682
s__domain(s__numberOfCustomers__m,n__1,s__PositiveInteger)	Dining.kif 683-683	The number 1 argument of numberOfCustomers is an instance of positive integer
s__domain(s__numberOfCustomers__m,n__2,s__Reservation)	Dining.kif 684-684	The number 2 argument of numberOfCustomers is an instance of reservation
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__numberOfCustomers__m,s__BinaryPredicate)	Dining.kif 680-680	numberOfCustomers is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__numberOfCustomers__m,'"%2 是对于 %1 customers "')	domainEnglishFormat.kif 3999-3999
s__format(s__ChineseTraditionalLanguage,s__numberOfCustomers__m,'"%2 是對於 %1 customers "')	domainEnglishFormat.kif 3998-3998
s__format(s__EnglishLanguage,s__numberOfCustomers__m,'"%2 is for %1 customers"')	domainEnglishFormat.kif 3997-3997

antecedent

( ! [V__AGENT,V__RESERVE,V__CUST,V__NUM] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__RESERVE,s__Reservation) &
         s__instance(V__CUST,s__Agent) &
         s__instance(V__NUM,s__PositiveInteger))
       =>
       (((s__numberOfCustomers(V__NUM,V__RESERVE)
           &
           s__fulfillingEntity(V__AGENT,V__RESERVE)
         &
         s__reservingEntity(V__CUST,V__RESERVE))
     =>
     (( ? [V__GRP] :
         ((s__potentialCustomer(V__GRP,V__AGENT)
           &
           s__instance(V__GRP,s__GroupOfPeople) &
           s__member(V__CUST,V__GRP)
         &
         s__memberCount(V__GRP,V__NUM))))))))
)
)

Dining.kif 686-696