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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JunkBond

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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2418-2420
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2422-2424


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