TreeView Knowledge Base Browser - JunkBond

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - JunkBond

JunkBond(junk bond)

high-yield_bond, junk_bond

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2414-2416
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2413-2413	Junk bond is a subclass of corporate bond

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31927-31927
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31926-31926
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31925-31925

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2426-2428	If a bond is an instance of junk bond, then the rating of the bond is d- rating
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2418-2420	If an investment is an instance of junk bond, then the risk level of the investment is high risk
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2422-2424	If a financial account is an instance of junk bond, then the financial account has yield high yield

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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