numberOfCustomers - Sigma Knowledge base Browser

appearance as argument number 1

(documentation numberOfCustomers EnglishLanguage "(numberOfCustomers ?NUM ?RESERVE) refers to the number of patrons the reservation is for.")	Dining.kif 727-728
(domain numberOfCustomers 1 PositiveInteger)	Dining.kif 729-729	The number 1 argument of number of customers is an instance of positive integer
(domain numberOfCustomers 2 Reservation)	Dining.kif 730-730	The number 2 argument of number of customers is an instance of reservation
(instance numberOfCustomers BinaryPredicate)	Dining.kif 726-726	number of customers is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage numberOfCustomers "%2 是对于 %1 customers ")	domainEnglishFormat.kif 3990-3990
(format ChineseTraditionalLanguage numberOfCustomers "%2 是對於 %1 customers ")	domainEnglishFormat.kif 3989-3989
(format EnglishLanguage numberOfCustomers "%2 is for %1 customers")	domainEnglishFormat.kif 3988-3988
(termFormat EnglishLanguage numberOfCustomers "number of customers")	domainEnglishFormat.kif 65940-65940

antecedent

(=>
    (and
        (numberOfCustomers ?NUM ?RESERVE)
        (fulfillingEntity ?AGENT ?RESERVE)
        (reservingEntity ?CUST ?RESERVE))
    (exists (?GRP)
        (and
            (potentialCustomer ?GRP ?AGENT)
            (instance ?GRP GroupOfPeople)
            (member ?CUST ?GRP)
            (memberCount ?GRP ?NUM))))

Dining.kif 732-742