|
|
   Account
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4544-4546 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4539-4539 | Account est une sous-classe de Agreement |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | Account est une sous-classe de objet exprimant un sens |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4541-4541 | FinancialAccount est une sous-classe de Account |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4542-4542 | UserAccount est une sous-classe de Account |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4547-4547 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4552-4552 | Le nombre 3 argument de securityQA est une instance de Account |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4566-4576 |
|
|
|
|