| 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 3649-3651 | |
| (domain customerRepresentative 1 CognitiveAgent) | FinancialOntology.kif 3646-3646 | |
| (domain customerRepresentative 2 CognitiveAgent) | FinancialOntology.kif 3647-3647 | |
| (domain customerRepresentative 3 Organization) | FinancialOntology.kif 3648-3648 | |
| (instance customerRepresentative TernaryPredicate) | FinancialOntology.kif 3645-3645 |
| 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 18183-18183 | |
| (termFormat ChineseTraditionalLanguage customerRepresentative "客戶代表") | domainEnglishFormat.kif 18182-18182 | |
| (termFormat EnglishLanguage customerRepresentative "customer representative") | domainEnglishFormat.kif 18181-18181 |
| antecedent |
|
|
| (<=> (customerRepresentative ?Person1 ?Person2 ?Org) (exists (?Service) (and (instance ?Service FinancialTransaction) (employs ?Org ?Person1) (agent ?Service ?Person1) (destination ?Service ?Person2)))) |
FinancialOntology.kif 3653-3660 |
| 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 2795-2805 |
|
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