CustomerSupport - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

UXExperimentalTerms.kif 2988-2988

antecedent

(=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG))))	UXExperimentalTerms.kif 2993-2998	If an organization is an instance of customer support, then there exists a Business such that the Business is an instance of organization and the organization is a business unit of the Business
(=> (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 3000-3010	If a physical is an instance of customer support, then the physical purpose there exist an entity, another entity and a third entity such that the entity is an instance of cognitive agent and the other entity is an instance of cognitive agent and the third entity is an instance of organization and the physical is a business unit of the third entity and the entity is a member of the physical and the entity customer representative the other entity for the third entity

consequent

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

ComputingBrands.kif 3055-3063