No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4103-4105 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4100-4100 |
域 餘額幅度, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4101-4101 |
域 餘額幅度, 2 and Day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4102-4102 |
域 餘額幅度, 3 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4098-4098 |
例 餘額幅度 and TernaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4099-4099 |
子關係 餘額幅度 and 可用餘額 |