No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2087-2087 |
子屬性 年金 and 金融合約 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3258-3258 |
子屬性 僱用 and 金融合約 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1156-1156 |
子屬性 責任 and 金融合約 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2536-2536 |
子屬性 選項 and 金融合約 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23756-23756 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23755-23755 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23754-23754 |
|