| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4539-4539 | Account e' uma sub-classe de Agreement |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | Account e' uma sub-classe de Objeto Representendo Conteudo Abstrato |
| 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. | ComputingBrands.kif 4542-4542 | UserAccount e' uma sub-classe de Account |
|
|