TreeView Knowledge Base Browser

appearance as argument number 1

(domain loanInterest 1 Loan)	FinancialOntology.kif 3917-3917	Die Zahl 1 Argument von loanInterest ist ein fall von Loan %n{nicht}
(domain loanInterest 2 CurrencyMeasure)	FinancialOntology.kif 3918-3918	Die Zahl 2 Argument von loanInterest ist ein fall von CurrencyMeasure %n{nicht}
(instance loanInterest BinaryPredicate)	FinancialOntology.kif 3916-3916	loanInterest ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

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

consequent

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

FinancialOntology.kif 3920-3926

Es gibt TimeInterval um Loan ist ein fall von Loan %n{nicht} und agreementPeriod ** Loan and ** TimeInterval und interestEarned ** Loan, Interest and ** TimeInterval genau dann wenn loanInterest ** Loan and ** Interest

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

KB Term:			Term intersection

English Word: