TreeView Knowledge Base Browser

appearance as argument number 1

(domain loanInterest 1 Loan)	FinancialOntology.kif 3917-3917	loanInterest の数値 1 引数は Loan の instance では %n
(domain loanInterest 2 CurrencyMeasure)	FinancialOntology.kif 3918-3918	loanInterest の数値 2 引数は通貨測定の instance では %n
(instance loanInterest BinaryPredicate)	FinancialOntology.kif 3916-3916	loanInterest は 2進述語の instance では %n

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

時間間隔 Loan は Loan の instance では %n agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔 loanInterest Loan and Interest

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

KB Term:			Term intersection

English Word: