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 creditLimit の数値 1 引数は CreditAccountinstance では %n
(domain creditLimit 2 CurrencyMeasure) FinancialOntology.kif 792-792 creditLimit の数値 2 引数は 通貨測定instance では %n
(instance creditLimit BinaryPredicate) FinancialOntology.kif 790-790 creditLimit2進述語instance では %n

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