CustomerSupport | ![]() |
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 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage CustomerSupport "customer support") | UXExperimentalTerms.kif 2988-2988 |
antecedent |
![]() |
(=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG)))) |
UXExperimentalTerms.kif 2993-2998 | |
(=> (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 |
consequent |
![]() |
(=> (instance ?G GeniusBar) (hasPurpose ?G (exists (?M ?CS) (and (employs ?M AppleComputerCorporation) (instance ?CS CustomerSupport) (agent ?CS ?M) (located ?CS ?G))))) |
ComputingBrands.kif 3057-3065 |
![]() |
![]() |