| FinancialContract(金融合约) | |
| appearance as argument number 1 |
|
|
| (documentation FinancialContract EnglishLanguage "A financial agreement between two or more parties") | FinancialOntology.kif 55-55 | |
| (subAttribute FinancialContract Contract) | FinancialOntology.kif 54-54 | 金融合约 是 合同 的 subAttribute |
| appearance as argument number 2 |
|
|
| (subAttribute Annuity FinancialContract) | FinancialOntology.kif 2104-2104 | 年金 是 金融合约 的 subAttribute |
| (subAttribute Employment FinancialContract) | FinancialOntology.kif 3275-3275 | 雇用 是 金融合约 的 subAttribute |
| (subAttribute Liability FinancialContract) | FinancialOntology.kif 1172-1172 | 责任 是 金融合约 的 subAttribute |
| (subAttribute Option FinancialContract) | FinancialOntology.kif 2553-2553 | 选项 是 金融合约 的 subAttribute |
| (termFormat ChineseLanguage FinancialContract "金融合约") | domainEnglishFormat.kif 23761-23761 | 选项 是 金融合约 的 subAttribute |
| (termFormat ChineseTraditionalLanguage FinancialContract "金融合約") | domainEnglishFormat.kif 23760-23760 | 选项 是 金融合约 的 subAttribute |
| (termFormat EnglishLanguage FinancialContract "financial contract") | domainEnglishFormat.kif 23759-23759 | 选项 是 金融合约 的 subAttribute |
| consequent |
|
|
| (=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract))) |
FinancialOntology.kif 65-69 |
|
|
|