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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndividualRetirementAccount

Sigma KEE - IndividualRetirementAccount
IndividualRetirementAccount(individual retirement account)IRA, individual_retirement_account

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3387-3395
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3386-3386 Individual retirement account is a subclass of pension plan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3385-3385 Individual retirement account is a subclass of personal account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3384-3384 Individual retirement account is a subclass of savings account

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3397-3397 RothIRA account is a subclass of individual retirement account
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29665-29665
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29664-29664
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29663-29663


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