principalAmount |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 731-733 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 729-729 | 域 本金, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 730-730 | 域 本金, 2 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 728-728 | 例 本金 and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2055-2055 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2054-2054 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2053-2053 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47348-47348 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47347-47347 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47346-47346 |
antecedent |
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 1615-1624 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1596-1601 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 636-640 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 538-548 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 587-597 |
|