| 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 |
|
|
|