|
|
   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 is a subclass of agreement |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | Account is a subclass of content bearing object |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4541-4541 | Financial account is a subclass of account |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4542-4542 | User account is a subclass of 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 | The number 3 argument of security QA is an instance of account |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4566-4576 |
|
|
|
|