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

Formal Language: 



KB Term:  Term intersection
English Word: 

  loanFeeAmount

Sigma KEE - loanFeeAmount
loanFeeAmount

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


(documentation loanFeeAmount EnglishLanguage "(loanFeeAmount ?Loan ?Amount) means that ?Amount is the fee amount of the Loan ?Loan.") FinancialOntology.kif 4159-4160
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 4157-4157 Die Zahl 1 Argument von loanFeeAmount ist ein fall von Loan %n{nicht}
(domain loanFeeAmount 2 CurrencyMeasure) FinancialOntology.kif 4158-4158 Die Zahl 2 Argument von loanFeeAmount ist ein fall von CurrencyMeasure %n{nicht}
(instance loanFeeAmount BinaryPredicate) FinancialOntology.kif 4156-4156 loanFeeAmount ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2
-------------------------


(format ChineseLanguage loanFeeAmount "%2 %n %1 %2 %n 是 %1 的 loan 金额") domainEnglishFormat.kif 1547-1547
(format ChineseTraditionalLanguage loanFeeAmount "%2 %n 是 %1 的 loan 金額") domainEnglishFormat.kif 1546-1546
(format EnglishLanguage loanFeeAmount "%2 is %n a loan fee amount of %1") domainEnglishFormat.kif 1545-1545
(termFormat ChineseLanguage loanFeeAmount "贷款费用金额") domainEnglishFormat.kif 34823-34823
(termFormat ChineseTraditionalLanguage loanFeeAmount "貸款費用金額") domainEnglishFormat.kif 34822-34822
(termFormat EnglishLanguage loanFeeAmount "loan fee amount") domainEnglishFormat.kif 34821-34821

antecedent
-------------------------


(=>
    (and
        (loanFeeAmount ?Loan ?Amount)
        (agreementPeriod ?Loan ?Period))
    (interestEarned ?Loan ?Amount ?Period))
FinancialOntology.kif 4162-4166


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