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 4001-4002
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 3999-3999 The number 1 argument of loan fee amount is an instance of loan
(domain loanFeeAmount 2 CurrencyMeasure) FinancialOntology.kif 4000-4000 The number 2 argument of loan fee amount is an instance of currency measure
(instance loanFeeAmount BinaryPredicate) FinancialOntology.kif 3998-3998 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 34735-34735 "贷款费用金额" is the printable form of loan fee amount in ChineseLanguage
(termFormat ChineseTraditionalLanguage loanFeeAmount "貸款費用金額") domainEnglishFormat.kif 34734-34734 "貸款費用金額" is the printable form of loan fee amount in ChineseTraditionalLanguage
(termFormat EnglishLanguage loanFeeAmount "loan fee amount") domainEnglishFormat.kif 34733-34733 "loan fee amount" is the printable form of loan fee amount in english language

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners