| 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 | 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 3629-3629 | 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 3630-3630 | 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 3627-3627 | 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 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 | 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 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