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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TreasuryBill
TreasuryBill

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


(documentation TreasuryBill EnglishLanguage "A negotiable debt obligation issued by the U.S. government and backed by its full faith and credit, having a maturity of one year or less. Exempt from state and local taxes") FinancialOntology.kif 1068-1069
(subclass TreasuryBill SavingsAccount) FinancialOntology.kif 1067-1067

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


(termFormat ChineseLanguage TreasuryBill "国库券") domainEnglishFormat.kif 59114-59114
(termFormat ChineseTraditionalLanguage TreasuryBill "國庫券") domainEnglishFormat.kif 59113-59113
(termFormat EnglishLanguage TreasuryBill "treasury bill") domainEnglishFormat.kif 59112-59112

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


(=>
    (instance ?Account TreasuryBill)
    (riskLevel ?Account LowRisk))
FinancialOntology.kif 1071-1073


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