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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3635-3637
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3632-3632 The number 1 argument of customer representative is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3633-3633 The number 2 argument of customer representative is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3634-3634 The number 3 argument of customer representative is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3631-3631 customer representative is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 632-632
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 631-631
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 630-630
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18165-18165
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18164-18164
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18163-18163

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3639-3646 A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3005-3015


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 3.0 is open source software produced by Articulate Software and its partners