| appearance as argument number 1 |
|
| (documentation customerRepresentative EnglishLanguage "(customerRepresentative ?PERSON1 ?PERSON2 ?ORG) means that ?PERSON1 acts as a representative of Organization ?ORG in a SocialInteraction involving ?PERSON2.") | FinancialOntology.kif 3530-3532 | |
| (domain customerRepresentative 1 CognitiveAgent) | FinancialOntology.kif 3527-3527 | |
| (domain customerRepresentative 2 CognitiveAgent) | FinancialOntology.kif 3528-3528 | |
| (domain customerRepresentative 3 Organization) | FinancialOntology.kif 3529-3529 | |
| (instance customerRepresentative TernaryPredicate) | FinancialOntology.kif 3526-3526 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage customerRepresentative "%1 %n{不是} 对于 %3 的 customer 代表") | domainEnglishFormat.kif 632-632 | |
| (format ChineseTraditionalLanguage customerRepresentative "%1 %n{不是} 對於 %3 的 customer 代表") | domainEnglishFormat.kif 631-631 | |
| (format EnglishLanguage customerRepresentative "%1 %n{doesn't} customer representative %2 for %3") | domainEnglishFormat.kif 630-630 | |
| (termFormat ChineseLanguage customerRepresentative "客户代表") | domainEnglishFormat.kif 18097-18097 | |
| (termFormat ChineseTraditionalLanguage customerRepresentative "客戶代表") | domainEnglishFormat.kif 18096-18096 | |
| (termFormat EnglishLanguage customerRepresentative "customer representative") | domainEnglishFormat.kif 18095-18095 |
| antecedent |
|
|
| (<=> (customerRepresentative ?Person1 ?Person2 ?Org) (exists (?Service) (and (instance ?Service FinancialTransaction) (employs ?Org ?Person1) (agent ?Service ?Person1) (destination ?Service ?Person2)))) |
FinancialOntology.kif 3534-3541 |
| 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 3000-3010 |
|
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