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