No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1024-1024 | DepositAccount est une sous-classe de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1126-1126 | CheckingAccount est une sous-classe de DepositAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1144-1144 | InvestmentAccount est une sous-classe de DepositAccount |
![]() |