TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Liability FinancialContract)	FinancialOntology.kif 1193-1193	Liability is a subclass of financial contract
(documentation Liability EnglishLanguage "A financial obligation, debt, claim, or potential loss")	FinancialOntology.kif 1194-1194	Liability is a subclass of financial contract

appearance as argument number 2

(termFormat EnglishLanguage Liability "liability")	domainEnglishFormat.kif 34225-34225
(termFormat ChineseTraditionalLanguage Liability "責任")	domainEnglishFormat.kif 34226-34226
(termFormat ChineseLanguage 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))))

If X is an instance of liability account, Y holds account X, and X is held by Z, then there exists W such that W the attribute liability, Y is a party to agreement of W, and Z is a party to agreement of W