TreeView 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	养老金计划是金融账户的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3408-3408	定额供款计划是养老金计划的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3386-3386	个人退休账户是养老金计划的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1187-1187	利润分享计划是养老金计划的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3432-3432	SavingsPlan_408K 是养老金计划的 subclass
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