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 3523-3525
(domain customerRepresentative 1 CognitiveAgent) FinancialOntology.kif 3520-3520 customerRepresentative 的 1 数量 是 有认知的主事instance
(domain customerRepresentative 2 CognitiveAgent) FinancialOntology.kif 3521-3521 customerRepresentative 的 2 数量 是 有认知的主事instance
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3522-3522 customerRepresentative 的 3 数量 是 机构instance
(instance customerRepresentative TernaryPredicate) FinancialOntology.kif 3519-3519 customerRepresentative三元谓语instance

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 termFormat EnglishLanguage, customerRepresentative and "customer representative"

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


(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))
FinancialOntology.kif 3527-3534 customerRepresentative 有认知的主事, 另一个 有认知的主事 and 机构 若且唯若 有存在 过程 这样 那个 过程金融交易instance那个 机构 employs 那个 有认知的主事那个 有认知的主事那个 过程agent那个 过程那个 另外 有认知的主事 结束

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