TreeView Knowledge Base Browser

appearance as argument number 1

(instance numberOfCustomers BinaryPredicate)	Dining.kif 726-726	number of customers is an instance of binary predicate
(documentation numberOfCustomers EnglishLanguage "(numberOfCustomers ?NUM ?RESERVE) refers to the number of patrons the reservation is for.")	Dining.kif 727-728	number of customers is an instance of binary predicate
(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

appearance as argument number 2

(format EnglishLanguage numberOfCustomers "%2 is for %1 customers")	domainEnglishFormat.kif 3992-3992
(format ChineseTraditionalLanguage numberOfCustomers "%2 是對於 %1 customers ")	domainEnglishFormat.kif 3993-3993
(format ChineseLanguage numberOfCustomers "%2 是对于 %1 customers ")	domainEnglishFormat.kif 3994-3994
(termFormat EnglishLanguage numberOfCustomers "number of customers")	domainEnglishFormat.kif 65906-65906

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))))

If X is for Y customers, Z fulfills X, and W reserves X, then there exists V such that V is a potential customer for Z, V is an instance of group of people, W is a member of V, and Y is a member count of V