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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - floorLoan
floorLoan

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


(documentation floorLoan EnglishLanguage "A minimum amount that a lender is willing to loan") FinancialOntology.kif 799-799
(domain floorLoan 1 Loan) FinancialOntology.kif 797-797 The number 1 argument of floor loan is an instance of loan
(domain floorLoan 2 CurrencyMeasure) FinancialOntology.kif 798-798 The number 2 argument of floor loan is an instance of currency measure
(instance floorLoan BinaryPredicate) FinancialOntology.kif 796-796 floor loan is an instance of binary predicate

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


(format ChineseLanguage floorLoan "%2 %n 是 %1 的 floor 贷款") domainEnglishFormat.kif 1061-1061
(format ChineseTraditionalLanguage floorLoan "%2 %n 是 %1 的 floor 貸款") domainEnglishFormat.kif 1060-1060
(format EnglishLanguage floorLoan "%2 is %n a floor loan of %1") domainEnglishFormat.kif 1059-1059
(termFormat ChineseLanguage floorLoan "楼层贷款") domainEnglishFormat.kif 24294-24294
(termFormat ChineseTraditionalLanguage floorLoan "樓層貸款") domainEnglishFormat.kif 24293-24293
(termFormat EnglishLanguage floorLoan "floor loan") domainEnglishFormat.kif 24292-24292


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