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

Formal Language: 



KB Term:  Term intersection
English Word: 

  customerRepresentative

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 3523-3525
(domain customerRepresentative 1 CognitiveAgent) FinancialOntology.kif 3520-3520
(domain customerRepresentative 2 CognitiveAgent) FinancialOntology.kif 3521-3521
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3522-3522
(instance customerRepresentative TernaryPredicate) FinancialOntology.kif 3519-3519

appearance as argument number 2
-------------------------


(format EnglishLanguage customerRepresentative "%1 %n{doesn't} customer representative %2 for %3") domainEnglishFormat.kif 167-167
(termFormat EnglishLanguage customerRepresentative "customer representative") domainEnglishFormat.kif 3450-3450

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


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

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 3002-3012


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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