UserAccount(user account)![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2167-2169 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10326-10326 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4537-4537 | User account is a subclass of account |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2166-2166 | User 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 2001-2001 | Apple ID is a subclass of user account |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60836-60836 | Apple ID is a subclass of user account |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60835-60835 | Apple ID is a subclass of user account |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60834-60834 | Apple ID is a subclass of user account |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 626-626 | The number 1 argument of account at site is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4406-4406 | The number 1 argument of account information is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4152-4152 | The number 1 argument of account phone number is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4157-4157 | The number 2 argument of account used is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3945-3945 | The number 1 argument of device account is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2203-2203 | The number 2 argument of has account is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4325-4325 | The number 2 argument of logged_in during is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2230-2230 | The number 2 argument of password is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4416-4416 | The number 2 argument of recovery key is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4280-4280 | The number 1 argument of trusted device is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 710-710 | The number 1 argument of user feedback score is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1091-1091 | The number 2 argument of user identifier string is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2191-2191 | The number 1 argument of user name is an instance of user account |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 660-665 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4477-4486 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4493-4502 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1105-1110 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2171-2174 |
|
consequent |
![]() |
![]() |
![]() |