No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2087-2087 |
年金 是 金融合约 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3258-3258 |
雇用 是 金融合约 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1156-1156 |
责任 是 金融合约 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2536-2536 |
选项 是 金融合约 的 subAttribute |
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 |
|