| 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 | 域 客戶代表, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3629-3629 | 域 客戶代表, 2 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3630-3630 | 域 客戶代表, 3 and Organization |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3627-3627 | 例 客戶代表 and TernaryPredicate |
| 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 | CognitiveAgent 對於 %3 的 customer 代表 Process 例 Process and FinancialTransaction 採用 Organization and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent |
| 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