PensionPlan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1174-1178
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1173-1173	子類養老金計劃 and 金融賬戶

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3408-3408	子類定額供款計劃 and 養老金計劃
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3386-3386	子類個人退休賬戶 and 養老金計劃
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1187-1187	子類利潤分享計劃 and 養老金計劃
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3432-3432	子類 SavingsPlan_408K and 養老金計劃
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45060-45060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45059-45059
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45058-45058

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 1180-1185

consequent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 3357-3364