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 贷款费用金额 的 1 数量 是 贷款instance
(domain loanFeeAmount 2 CurrencyMeasure) FinancialOntology.kif 4158-4158 贷款费用金额 的 2 数量 是 货币测量instance
(instance loanFeeAmount BinaryPredicate) FinancialOntology.kif 4156-4156 贷款费用金额二元谓语instance

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