No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2473-2473 |
子類 可贖回的債券 and 鍵 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2374-2374 |
子類 公司債券 and 鍵 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2308-2308 |
子類 優惠券債券 and 鍵 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2430-2430 |
子類 政府債券 and 鍵 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2452-2452 |
子類 指數債券 and 鍵 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2362-2362 |
子類 市政債券 and 鍵 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2456-2456 |
子類 履約保證金 and 鍵 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2357-2357 |
子類 註冊債券 and 鍵 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2387-2387 |
子類 擔保債券 and 鍵 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2460-2460 |
子類 國債 and 鍵 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2328-2328 |
子類 零息債券 and 鍵 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11585-11585 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11584-11584 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11583-11583 |
|