potentialCustomer |
appearance as argument number 1 |
(documentation potentialCustomer EnglishLanguage "(potentialCustomer ?CUST ?AGENT) means that it is a possibility for ?CUST to participate in a financial transaction with ?AGENT in exchange for goods or services") | Dining.kif 804-806 | |
(domain potentialCustomer 1 CognitiveAgent) | Dining.kif 807-807 | potentialCustomer 的 1 数量 是 有认知的主事 的 instance |
(domain potentialCustomer 2 AutonomousAgent) | Dining.kif 808-808 | potentialCustomer 的 2 数量 是 施事体 的 instance |
(instance potentialCustomer BinaryPredicate) | Dining.kif 803-803 | potentialCustomer 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage potentialCustomer "%1 是个 potential customer 对于 %2 ") | domainEnglishFormat.kif 4186-4186 | |
(format ChineseTraditionalLanguage potentialCustomer "%1 是個 potential customer 對於 %2 ") | domainEnglishFormat.kif 4185-4185 | |
(format EnglishLanguage potentialCustomer "%1 is a potential customer for %2") | domainEnglishFormat.kif 4184-4184 | |
(termFormat EnglishLanguage potentialCustomer "potential customer") | domainEnglishFormat.kif 65912-65912 |
antecedent |
consequent |
(=> (and (instance ?R Reserving) (agent ?R ?CUST) (destination ?R ?AGENT)) (potentialCustomer ?CUST ?AGENT)) |
Dining.kif 762-767 | |
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2883-2892 | |
(=> (and (numberChildOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?SUBCOL) (and (instance ?COL GroupOfPeople) (subCollection ?SUBCOL ?COL) (instance ?SUBCOL GroupOfPeople) (memberType ?SUBCOL HumanChild) (memberCount ?SUBCOL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2903-2914 | |
(=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2864-2873 | |
(=> (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 | |
(=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?AGE) (and (instance ?COL GroupOfPeople) (forall (?X) (=> (member ?X ?COL) (and (instance ?X HumanAdult) (age ?X (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE 60)))) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2925-2940 |
|