Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  loanInterest

Sigma KEE - loanInterest
loanInterest

appearance as argument number 1
-------------------------


(domain loanInterest 1 Loan) FinancialOntology.kif 3831-3831
(domain loanInterest 2 CurrencyMeasure) FinancialOntology.kif 3832-3832
(instance loanInterest BinaryPredicate) FinancialOntology.kif 3830-3830

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 34818-34818
(termFormat ChineseTraditionalLanguage loanInterest "貸款利息") domainEnglishFormat.kif 34817-34817
(termFormat EnglishLanguage loanInterest "loan interest") domainEnglishFormat.kif 34816-34816

consequent
-------------------------


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
FinancialOntology.kif 3834-3840


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners