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

KB Term:  Term intersection
English Word: 

Sigma KEE - TreasuryBill
TreasuryBill(treasury bill)

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


(subclass TreasuryBill SavingsAccount) FinancialOntology.kif 1092-1092 Treasury bill is a subclass of savings account
(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 1093-1094 Treasury bill is a subclass of savings account

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


(termFormat EnglishLanguage TreasuryBill "treasury bill") domainEnglishFormat.kif 59089-59089
(termFormat ChineseTraditionalLanguage TreasuryBill "國庫券") domainEnglishFormat.kif 59090-59090
(termFormat ChineseLanguage TreasuryBill "国库券") domainEnglishFormat.kif 59091-59091

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


(=>
    (instance ?Account TreasuryBill)
    (riskLevel ?Account LowRisk))		 FinancialOntology.kif 1096-1098 If X is an instance of treasury bill, then the risk level of X is low risk


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners