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 2785-2786
(subclass CustomerSupport Organization)	UXExperimentalTerms.kif 2781-2781	CustomerSupport ist eine teilkategorie von Organization

appearance as argument number 2

UXExperimentalTerms.kif 2783-2783

antecedent

(=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG))))	UXExperimentalTerms.kif 2788-2793	Wenn Organization ist ein fall von CustomerSupport %n{nicht}, dann es gibt Business um Business ist ein fall von Organization %n{nicht} und businessUnit Organization and ** 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 2795-2805	Wenn Physical ist ein fall von CustomerSupport %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von CognitiveAgent %n{nicht} und entity ist ein fall von CognitiveAgent %n{nicht} und entity ist ein fall von Organization %n{nicht} und businessUnit Physical and entity und entity ist ein Mitglied von Physical %n{nicht} und customerRepresentative entity, entity and entity %n{nicht}

consequent

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

ComputingBrands.kif 3084-3092

Wenn Physical ist ein fall von GeniusBar %n{nicht},
dann ** Physical hat Zweck von es gibt entity und ** entity um ** entity beschaeftigt AppleComputerCorporation %n{nicht} und ** ** entity ist ein fall von CustomerSupport %n{nicht} und ** ** entity ist der agent von ** entity %n{nicht} und ** ** entity befindet sich an %n{nicht} %n{nicht}