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 3631-3633
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3628-3628 O argumento numero 1 de customerRepresentative e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3629-3629 O argumento numero 2 de customerRepresentative e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3630-3630 O argumento numero 3 de customerRepresentative e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3627-3627 customerRepresentative e' uma instancia de Predicado Ternario

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 18174-18174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18173-18173
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18172-18172

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3635-3642 customerRepresentative Agente Cognitivo, Agente Cognitivo and Organizacao Processo Processo e' uma instancia de Transacao Financeira Organizacao emprega Agente Cognitivo Processo e' um agente de Agente Cognitivo Processo termina em Agente Cognitivo

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