| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2601-2602 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2599-2599 | 期权卖方 的 1 数量 是 协议 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2600-2600 | 期权卖方 的 2 数量 是 有认知的主事 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2597-2597 | 期权卖方 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2596-2596 | 期权卖方 是 协议的一方 的 subrelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4034-4034 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4033-4033 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4032-4032 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42366-42366 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42365-42365 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42364-42364 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2687-2703 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2641-2659 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2604-2606 |
|
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