UserAccount(user account)![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2041-2043 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10338-10338 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4505-4505 | User account is a subclass of account |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2040-2040 | 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 1969-1969 | Apple ID is a subclass of user account |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60809-60809 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60808-60808 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60807-60807 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 776-776 | 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 4374-4374 | 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 4120-4120 | The number 1 argument of accountPhoneNumber is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4125-4125 | 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 3913-3913 | The number 1 argument of deviceAccount is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2076-2076 | 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 4293-4293 | 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 2103-2103 | 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 4384-4384 | The number 2 argument of recoveryKey is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4248-4248 | 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 888-888 | 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 1288-1288 | 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 2065-2065 | The number 1 argument of userName is an instance of user account |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 822-827 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4445-4454 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4461-4470 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1302-1307 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2045-2048 |
|
consequent |
![]() |
![]() |
![]() |