| FinancialContract(financial contract) | | oil_future, petroleum_future |
| appearance as argument number 1 |
|
|
| (documentation FinancialContract EnglishLanguage "A financial agreement between two or more parties") | FinancialOntology.kif 53-53 | |
| (subAttribute FinancialContract Contract) | FinancialOntology.kif 52-52 | Financial contract is a subattribute of contract |
| appearance as argument number 2 |
|
|
| (subAttribute Annuity FinancialContract) | FinancialOntology.kif 2087-2087 | Annuity is a subattribute of financial contract |
| (subAttribute Employment FinancialContract) | FinancialOntology.kif 3258-3258 | Employment is a subattribute of financial contract |
| (subAttribute Liability FinancialContract) | FinancialOntology.kif 1156-1156 | Liability is a subattribute of financial contract |
| (subAttribute Option FinancialContract) | FinancialOntology.kif 2536-2536 | Option is a subattribute of financial contract |
| (termFormat ChineseLanguage FinancialContract "金融合约") | domainEnglishFormat.kif 23778-23778 | Option is a subattribute of financial contract |
| (termFormat ChineseTraditionalLanguage FinancialContract "金融合約") | domainEnglishFormat.kif 23777-23777 | Option is a subattribute of financial contract |
| (termFormat EnglishLanguage FinancialContract "financial contract") | domainEnglishFormat.kif 23776-23776 | Option is a subattribute of financial contract |
| consequent |
|
|
| (=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract))) |
FinancialOntology.kif 63-67 |
|
|
|
|