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 3631-3633
(domain customerRepresentative 1 CognitiveAgent) FinancialOntology.kif 3628-3628
(domain customerRepresentative 2 CognitiveAgent) FinancialOntology.kif 3629-3629
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3630-3630
(instance customerRepresentative TernaryPredicate) FinancialOntology.kif 3627-3627

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

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


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

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