No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 626-626 |
Le nombre 1 argument de accountAtSite est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4411-4411 |
Le nombre 1 argument de accountInformation est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4157-4157 |
Le nombre 1 argument de accountPhoneNumber est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4162-4162 |
Le nombre 2 argument de accountUsed est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3950-3950 |
Le nombre 1 argument de deviceAccount est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2071-2071 |
Le nombre 2 argument de hasAccount est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4330-4330 |
Le nombre 2 argument de loggedInDuring est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2098-2098 |
Le nombre 2 argument de password est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4421-4421 |
Le nombre 2 argument de recoveryKey est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4285-4285 |
Le nombre 1 argument de trustedDevice est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 710-710 |
Le nombre 1 argument de userFeedbackScore est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1091-1091 |
Le nombre 2 argument de userIDString est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2060-2060 |
Le nombre 1 argument de userName est une instance de UserAccount |