Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  potentialCustomer

 Sigma KEE - potentialCustomer
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 65963-65963

antecedent
-------------------------


(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (potentialCustomer ?CUST ?AGENT)
        (modalAttribute
            (and
                (instance ?R Reserving)
                (destination ?R ?AGENT)) Necessity)
        (conditionalProbability
            (exists (?RES1)
                (and
                    (instance ?RES1 Reservation)
                    (reservingEntity ?CUST ?RES1)
                    (fulfillingEntity ?AGENT ?RES1)))
            (customer ?CUST ?AGENT) ?NUM1)
        (conditionalProbability
            (not
                (exists (?RES2)
                    (and
                        (instance ?RES2 Reservation)
                        (reservingEntity ?CUST ?RES2)
                        (fulfillingEntity ?AGENT ?RES2))))
            (customer ?CUST ?AGENT) ?NUM2))
    (lessThan ?NUM2 ?NUM1))		 Dining.kif 772-795
(=>
    (potentialCustomer ?CUST ?AGENT)
    (exists (?P ?SELLING)
        (and
            (instance ?SELLING Selling)
            (agent ?SELLING ?AGENT)
            (patient ?SELLING ?P)
            (inScopeOfInterest ?CUST ?P))))		 Dining.kif 810-817
(=>
    (potentialCustomer ?CUST ?AGENT)
    (modalAttribute
        (customer ?CUST ?AGENT) Possibility))		 Dining.kif 819-822

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners