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	子類定額供款計劃 and 養老金計劃

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3418-3418	子類 SARSEP計劃 and 定額供款計劃
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3402-3402	子類 SavingsPlan_401K and 定額供款計劃
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3413-3413	子類 SavingsPlan_403B and 定額供款計劃
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