| 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 est une sous-classe de organisation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CustomerSupport "customer support") | UXExperimentalTerms.kif 2783-2783 |
| antecedent |
|
|
| (=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG)))) |
UXExperimentalTerms.kif 2788-2793 |
|
| (=> (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 |
|
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners