TreeView 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 2995-2996
(subclass CustomerSupport Organization)	UXExperimentalTerms.kif 2991-2991	Customer support is a subclass of organization

appearance as argument number 2

UXExperimentalTerms.kif 2993-2993

antecedent

(=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG))))	UXExperimentalTerms.kif 2998-3003	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 3005-3015	If a physical is an instance of customer support, then the physical has the 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 3052-3060