Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| customerRepresentative |
| appearance as argument number 1 |
|
| (instance customerRepresentative TernaryPredicate) | FinancialOntology.kif 3685-3685 | customer representative is an instance of ternary predicate |
| (domain customerRepresentative 1 CognitiveAgent) | FinancialOntology.kif 3686-3686 | The number 1 argument of customer representative is an instance of cognitive agent |
| (domain customerRepresentative 2 CognitiveAgent) | FinancialOntology.kif 3687-3687 | The number 2 argument of customer representative is an instance of cognitive agent |
| (domain customerRepresentative 3 Organization) | FinancialOntology.kif 3688-3688 | The number 3 argument of customer representative is an instance of organization |
| (documentation customerRepresentative EnglishLanguage "(customerRepresentative ?PERSON1 ?PERSON2 ?ORG) means that ?PERSON1 acts as a representative of Organization ?ORG in a SocialInteraction involving ?PERSON2.") | FinancialOntology.kif 3689-3691 | The number 3 argument of customer representative is an instance of organization |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage customerRepresentative "%1 %n{doesn't} customer representative %2 for %3") | domainEnglishFormat.kif 630-630 | |
| (format ChineseTraditionalLanguage customerRepresentative "%1 %n{不是} 對於 %3 的 customer 代表") | domainEnglishFormat.kif 631-631 | |
| (format ChineseLanguage customerRepresentative "%1 %n{不是} 对于 %3 的 customer 代表") | domainEnglishFormat.kif 632-632 | |
| (termFormat EnglishLanguage customerRepresentative "customer representative") | domainEnglishFormat.kif 18174-18174 | |
| (termFormat ChineseTraditionalLanguage customerRepresentative "客戶代表") | domainEnglishFormat.kif 18175-18175 | |
| (termFormat ChineseLanguage customerRepresentative "客户代表") | domainEnglishFormat.kif 18176-18176 |
| antecedent |
|
|
| (<=> (customerRepresentative ?Person1 ?Person2 ?Org) (exists (?Service) (and (instance ?Service FinancialTransaction) (employs ?Org ?Person1) (agent ?Service ?Person1) (destination ?Service ?Person2)))) |
FinancialOntology.kif 3693-3700 | X customer representative Y for Z if, only if there exists W such that W is an instance of financial transaction, Z employs X, X is an agent of W, and W ends up at Y |
| consequent |
|
|
| (=> (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 2796-2806 | If X is an instance of customer support, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Z is an instance of cognitive agent (4) W is an instance of organization (5) X is a business unit of W (6) Y is a member of X (7) Y customer representative Z for W |
|