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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - loanInterest
loanInterest

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


(domain loanInterest 1 Loan) FinancialOntology.kif 3917-3917 Le nombre 1 argument de loanInterest est une instance de Loan
(domain loanInterest 2 CurrencyMeasure) FinancialOntology.kif 3918-3918 Le nombre 2 argument de loanInterest est une instance de mesure de devise
(instance loanInterest BinaryPredicate) FinancialOntology.kif 3916-3916 loanInterest est une instance de pr�dicat binaire

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 Interval temporel Loan est une instance de Loan agreementPeriod Loan and interval temporel interestEarned Loan, Interest and interval temporel loanInterest Loan and Interest


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



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