TreeView Knowledge Base Browser

appearance as argument number 1

(instance loanInterest BinaryPredicate)	FinancialOntology.kif 3974-3974	loan interest is an instance of binary predicate
(domain loanInterest 1 Loan)	FinancialOntology.kif 3975-3975	The number 1 argument of loan interest is an instance of loan
(domain loanInterest 2 CurrencyMeasure)	FinancialOntology.kif 3976-3976	The number 2 argument of loan interest is an instance of currency measure

appearance as argument number 2

(format EnglishLanguage loanInterest "%2 is %n a loan interest of %1")	domainEnglishFormat.kif 1553-1553
(format ChineseTraditionalLanguage loanInterest "%2 %n 是 %1 的 loan 利息")	domainEnglishFormat.kif 1554-1554
(format ChineseLanguage loanInterest "%2 %n 是 %1 的 loan 利息")	domainEnglishFormat.kif 1555-1555
(termFormat EnglishLanguage loanInterest "loan interest")	domainEnglishFormat.kif 34837-34837
(termFormat ChineseTraditionalLanguage loanInterest "貸款利息")	domainEnglishFormat.kif 34838-34838
(termFormat ChineseLanguage loanInterest "贷款利息")	domainEnglishFormat.kif 34839-34839

consequent

(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))

FinancialOntology.kif 3978-3984

There exists X such that Y is an instance of loan, X is an agreement period of Y, Y is interest earned Z for X if, and only if Z is a loan interest of Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: