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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3400-3408
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3399-3399 Individual retirement account is a subclass of pension plan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3398-3398 Individual retirement account is a subclass of personal account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3397-3397 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 3410-3410 RothIRA account is a subclass of individual retirement account
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29647-29647
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29646-29646
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29645-29645


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