Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - customerRepresentative
customerRepresentative

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 3529-3531
(domain customerRepresentative 1 CognitiveAgent) FinancialOntology.kif 3526-3526
(domain customerRepresentative 2 CognitiveAgent) FinancialOntology.kif 3527-3527
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3528-3528
(instance customerRepresentative TernaryPredicate) FinancialOntology.kif 3525-3525

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 18103-18103
(termFormat ChineseTraditionalLanguage customerRepresentative "客戶代表") domainEnglishFormat.kif 18102-18102
(termFormat EnglishLanguage customerRepresentative "customer representative") domainEnglishFormat.kif 18101-18101

antecedent
-------------------------


(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))
FinancialOntology.kif 3533-3540

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners