FinancialContract |
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 | FinancialContract è un sottoattributo di Contract |
appearance as argument number 2 |
(subAttribute Annuity FinancialContract) | FinancialOntology.kif 2087-2087 | Annuity è un sottoattributo di FinancialContract |
(subAttribute Employment FinancialContract) | FinancialOntology.kif 3258-3258 | Employment è un sottoattributo di FinancialContract |
(subAttribute Liability FinancialContract) | FinancialOntology.kif 1156-1156 | Liability è un sottoattributo di FinancialContract |
(subAttribute Option FinancialContract) | FinancialOntology.kif 2536-2536 | Option è un sottoattributo di FinancialContract |
(termFormat ChineseLanguage FinancialContract "金融合约") | domainEnglishFormat.kif 23756-23756 | |
(termFormat ChineseTraditionalLanguage FinancialContract "金融合約") | domainEnglishFormat.kif 23755-23755 | |
(termFormat EnglishLanguage FinancialContract "financial contract") | domainEnglishFormat.kif 23754-23754 |
consequent |
(=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract))) |
FinancialOntology.kif 63-67 |
|