numberOfCustomers |
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 3994-3994 | |
(format ChineseTraditionalLanguage numberOfCustomers "%2 是對於 %1 customers ") | domainEnglishFormat.kif 3993-3993 | |
(format EnglishLanguage numberOfCustomers "%2 is for %1 customers") | domainEnglishFormat.kif 3992-3992 | |
(termFormat EnglishLanguage numberOfCustomers "number of customers") | domainEnglishFormat.kif 65888-65888 |
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 |
|