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 |
|