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

Formal Language: 



KB Term:  Term intersection
English Word: 

  enemy

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 Die Zahl 1 Argument von creditLimit ist ein fall von CreditAccount %n{nicht}
(domain creditLimit 2 CurrencyMeasure) FinancialOntology.kif 792-792 Die Zahl 2 Argument von creditLimit ist ein fall von CurrencyMeasure %n{nicht}
(instance creditLimit BinaryPredicate) FinancialOntology.kif 790-790 creditLimit ist ein fall von BinaryPredicate %n{nicht}

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