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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - creditLimit
creditLimit

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


(documentation creditLimit EnglishLanguage "(creditLimit ?ACCOUNT ?AMNT) holds if ?AMNT is the maximum amount of credit that a bank or other lender will extend to a customer.") FinancialOntology.kif 793-794
(domain creditLimit 1 CreditAccount) FinancialOntology.kif 791-791 信用额度 的 1 数量 是 信用账户instance
(domain creditLimit 2 CurrencyMeasure) FinancialOntology.kif 792-792 信用额度 的 2 数量 是 货币测量instance
(instance creditLimit BinaryPredicate) FinancialOntology.kif 790-790 信用额度二元谓语instance

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


(format ChineseLanguage creditLimit "%2 %n 是 %1 的 credit 上限") domainEnglishFormat.kif 576-576
(format ChineseTraditionalLanguage creditLimit "%2 %n 是 %1 的 credit 上限") domainEnglishFormat.kif 575-575
(format EnglishLanguage creditLimit "%2 is %n a credit limit of %1") domainEnglishFormat.kif 574-574
(termFormat ChineseLanguage creditLimit "信用额度") domainEnglishFormat.kif 17772-17772
(termFormat ChineseTraditionalLanguage creditLimit "信用額度") domainEnglishFormat.kif 17771-17771
(termFormat EnglishLanguage creditLimit "credit limit") domainEnglishFormat.kif 17770-17770


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