No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2035-2035 | User account is a subclass of content bearing object |
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 2001-2001 | Apple ID is a subclass of user account |