| Liability(liability) | | account_payable, arrears, financial_obligation, indebtedness, liability, payable, score |
| appearance as argument number 1 |
|
|
| (documentation Liability EnglishLanguage "A financial obligation, debt, claim, or potential loss") | FinancialOntology.kif 1157-1157 | |
| (subAttribute Liability FinancialContract) | FinancialOntology.kif 1156-1156 | Liability is a subattribute of financial contract |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Liability "责任") | domainEnglishFormat.kif 34252-34252 | |
| (termFormat ChineseTraditionalLanguage Liability "責任") | domainEnglishFormat.kif 34251-34251 | |
| (termFormat EnglishLanguage Liability "liability") | domainEnglishFormat.kif 34250-34250 |
| consequent |
|
|
| (=> (and (instance ?Account LiabilityAccount) (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (exists (?Debt) (and (property ?Debt Liability) (partyToAgreement ?Debt ?Agent) (partyToAgreement ?Debt ?Bank)))) |
FinancialOntology.kif 1162-1171 |
|
|
|
|