|
|
  Liability
|
|
|
| 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 est un sous-attribut de FinancialContract |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Liability "责任") | domainEnglishFormat.kif 34229-34229 | |
| (termFormat ChineseTraditionalLanguage Liability "責任") | domainEnglishFormat.kif 34228-34228 | |
| (termFormat EnglishLanguage Liability "liability") | domainEnglishFormat.kif 34227-34227 |
| 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 |
|
|
|