No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3408-3408 |
DefinedContributionPlan e' uma sub-classe de PensionPlan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3386-3386 |
IndividualRetirementAccount e' uma sub-classe de PensionPlan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1187-1187 |
ProfitSharingPlan e' uma sub-classe de PensionPlan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3432-3432 |
SavingsPlan_408K e' uma sub-classe de PensionPlan |
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 |
|