No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 534-536 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 531-531 |
域 單純的興趣, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 532-532 |
域 單純的興趣, 2 and 利益 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 533-533 |
域 單純的興趣, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 529-529 |
例 單純的興趣 and TernaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 530-530 |
子關係 單純的興趣 and 利息收入 |