| 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 1173-1173 | |
| (subAttribute Liability FinancialContract) | FinancialOntology.kif 1172-1172 | Liability is a subattribute of financial contract |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Liability "责任") | domainEnglishFormat.kif 34251-34251 | |
| (termFormat ChineseTraditionalLanguage Liability "責任") | domainEnglishFormat.kif 34250-34250 | |
| (termFormat EnglishLanguage Liability "liability") | domainEnglishFormat.kif 34249-34249 |
| 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 1178-1187 |
|
|
|
|