| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 58-58 | FinancialAccount e' uma sub-classe de Agreement |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4541-4541 | FinancialAccount e' uma sub-classe de Account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 968-968 | InterestBearingAccount e' uma sub-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 992-992 | PersonalAccount e' uma sub-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1013-1013 | CorporateAccount e' uma sub-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1024-1024 | DepositAccount e' uma sub-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1159-1159 | LiabilityAccount e' uma sub-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1173-1173 | PensionPlan e' uma sub-classe de FinancialAccount |
|
|