MunicipalBond - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MunicipalBond

MunicipalBond(municipal bond)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2364-2365
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6712-6712
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2362-2362	Municipal bond is a subclass of bond
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2363-2363	Municipal bond is a subclass of tax free investment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39279-39279
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39278-39278
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39277-39277

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 2367-2372

If a certificate is an instance of municipal bond,
then there exists a cognitive agent such that the cognitive agent is an instance of government and the cognitive agent is an issued by of the certificate

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