CustomerSupport - Sigma Knowledge base Browser

appearance as argument number 2

antecedent

(=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG))))	UXExperimentalTerms.kif 2789-2794	If X is an instance of customer support, then there exists Y such that Y is an instance of organization and X is a business unit of Y
(=> (instance ?CS CustomerSupport) (hasPurpose ?CS (exists (?MEMBER ?CUSTOMER ?ORG) (and (instance ?MEMBER CognitiveAgent) (instance ?CUSTOMER CognitiveAgent) (instance ?ORG Organization) (businessUnit ?CS ?ORG) (member ?MEMBER ?CS) (customerRepresentative ?MEMBER ?CUSTOMER ?ORG)))))	UXExperimentalTerms.kif 2796-2806	If X is an instance of customer support, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Z is an instance of cognitive agent (4) W is an instance of organization (5) X is a business unit of W (6) Y is a member of X (7) Y customer representative Z for W

consequent

(=>
    (instance ?G GeniusBar)
    (hasPurpose ?G
        (exists (?M ?CS)
            (and
                (employs ?M AppleComputerCorporation)
                (instance ?CS CustomerSupport)
                (agent ?CS ?M)
                (located ?CS ?G)))))

If X is an instance of Genius Bar, then X has the purpose there exist Y, Z such that Y employs Apple, Z is an instance of customer support, Y is an agent of Z, and Z is located at X

(subclass CustomerSupport Organization)	UXExperimentalTerms.kif 2782-2782	Customer support is a subclass of organization
(documentation CustomerSupport EnglishLanguage "An Organization which is a businessUnit of a company, that hasPurpose of having its members be customerRepresentatives.")	UXExperimentalTerms.kif 2786-2787	Customer support is a subclass of organization