| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3649-3651 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3646-3646 | 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 3647-3647 | 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 3648-3648 | 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 3645-3645 | 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 18183-18183 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18182-18182 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18181-18181 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3653-3660 | 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