| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14012-14014 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14010-14010 | 域 協議期限, 1 and 協議 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14011-14011 | 域 協議期限, 2 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14009-14009 | 例 協議期限 and BinaryPredicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 96-96 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 95-95 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 94-94 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5922-5922 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5921-5921 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5920-5920 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 642-646 | TimeInterval 是 金融賬戶 的 agreement 週期 飾面 Day and TimeInterval Day 是 金融賬戶 的 maturity 日期 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3920-3926 | TimeInterval 例 貸款 and 貸款 TimeInterval 是 貸款 的 agreement 週期 貸款 是 對於 %3 的賺取 interest 利益 是 貸款 的 loan 利息 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14016-14021 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2881-2897 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2917-2933 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2854-2870 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1261-1271 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1224-1233 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1273-1282 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2333-2355 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1497-1502 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1615-1624 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4162-4166 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 293-306 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1579-1583 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2574-2580 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2558-2564 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2940-2944 |
|
|
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