BrokerLoan - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BrokerLoan Loan)	FinancialOntology.kif 1550-1550	Broker loan is a subclass of loan
(documentation BrokerLoan EnglishLanguage "Money lent to Brokers by banks, for financing the underwriting of new issues, financing customer margin accounts, and other purposes.")	FinancialOntology.kif 1551-1553	Broker loan is a subclass of loan

appearance as argument number 2

(termFormat EnglishLanguage BrokerLoan "broker loan")	domainEnglishFormat.kif 12089-12089
(termFormat ChineseTraditionalLanguage BrokerLoan "經紀人貸款")	domainEnglishFormat.kif 12090-12090
(termFormat ChineseLanguage BrokerLoan "经纪人贷款")	domainEnglishFormat.kif 12091-12091

antecedent

(=>
    (and
        (instance ?Loan BrokerLoan)
        (borrower ?Loan ?Borrower))
    (attribute ?Borrower Broker))

If X is an instance of broker loan and X is the borrower of Y, then broker is an attribute of Y