|
|
  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 は FinancialContract の subattribute では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Liability "责任") | domainEnglishFormat.kif 34223-34223 | |
| (termFormat ChineseTraditionalLanguage Liability "責任") | domainEnglishFormat.kif 34222-34222 | |
| (termFormat EnglishLanguage Liability "liability") | domainEnglishFormat.kif 34221-34221 |
| 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 |
|
|
|
|