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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PensionPlan

Sigma KEE - PensionPlan
PensionPlan(pension plan)pension_account, pension_plan, retirement_account, retirement_plan, retirement_program, retirement_savings_account, retirement_savings_plan

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1173-1177
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1172-1172 Pension plan is a subclass of financial account

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3414-3414 Defined contribution plan is a subclass of pension plan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3392-3392 Individual retirement account is a subclass of pension plan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1186-1186 Profit sharing plan is a subclass of pension plan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3438-3438 Savings plan-408 k is a subclass of pension plan
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45043-45043
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45042-45042
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45041-45041

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1179-1184

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3363-3370


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