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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GovernmentBond

 Sigma KEE - GovernmentBond
GovernmentBond(government bond)
government_bond

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2431-2431
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6598-6598
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7021-7021
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2430-2430 Government bond is a subclass of bond

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26274-26274
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26273-26273
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26272-26272

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2448-2450
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2433-2438
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2440-2442
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2444-2446


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