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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TreasuryBill
TreasuryBill(treasury bill)

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 1070-1071
(subclass TreasuryBill SavingsAccount) FinancialOntology.kif 1069-1069 Treasury bill is a subclass of savings account

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


(termFormat ChineseLanguage TreasuryBill "国库券") domainEnglishFormat.kif 59127-59127
(termFormat ChineseTraditionalLanguage TreasuryBill "國庫券") domainEnglishFormat.kif 59126-59126
(termFormat EnglishLanguage TreasuryBill "treasury bill") domainEnglishFormat.kif 59125-59125

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


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


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