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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DefinedContributionPlan

 Sigma KEE - DefinedContributionPlan
DefinedContributionPlan(defined contribution plan)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3409-3411
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3408-3408 Defined contribution plan is a subclass of pension plan

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3418-3418 SARSEP plan is a subclass of defined contribution plan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3402-3402 SavingsPlan_401K is a subclass of defined contribution plan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3413-3413 SavingsPlan_403B is a subclass of defined contribution plan
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18918-18918
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18917-18917
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18916-18916


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