UserAccount
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2036-2038 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10328-10328 | |
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. | QoSontology.kif 2035-2035 | 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 60844-60844 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60843-60843 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60842-60842 |
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 4411-4411 | 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 4157-4157 | 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 4162-4162 | 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 3950-3950 | 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 2071-2071 | 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 4330-4330 | 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 2098-2098 | 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 4421-4421 | 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 4285-4285 | 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 2060-2060 | 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 4482-4491 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4498-4507 |
|
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 2040-2043 |
|
consequent |