| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15393-15395 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15391-15391 | 域 協議期限, 1 and 協議 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15392-15392 | 域 協議期限, 2 and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15390-15390 | 例 協議期限 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 5931-5931 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5930-5930 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5929-5929 |
| 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 3934-3940 | TimeInterval 例 貸款 and 貸款 TimeInterval 是 貸款 的 agreement 週期 貸款 是 對於 %3 的賺取 interest 利益 是 貸款 的 loan 利息 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15397-15402 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2895-2911 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2931-2947 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2868-2884 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1275-1285 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1238-1247 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1287-1296 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2347-2369 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1511-1516 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1629-1638 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4176-4180 |
| 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 1593-1597 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2588-2594 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2572-2578 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2954-2958 |
|
|
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