TreeView Knowledge Base Browser - DefinedContributionPlan

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	DefinedContributionPlan e' uma sub-classe de PensionPlan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3418-3418	SARSEPPlan e' uma sub-classe de DefinedContributionPlan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3402-3402	SavingsPlan_401K e' uma sub-classe de DefinedContributionPlan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3413-3413	SavingsPlan_403B e' uma sub-classe de DefinedContributionPlan
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