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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of loan fee amount is an instance of loan
(domain loanFeeAmount 2 CurrencyMeasure) FinancialOntology.kif 4158-4158 The number 2 argument of loan fee amount is an instance of currency measure
(instance loanFeeAmount BinaryPredicate) FinancialOntology.kif 4156-4156 loan fee amount is an instance of binary predicate

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 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