No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 626-626 |
域 accountAtSite, 1 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4411-4411 |
域 accountInformation, 1 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4157-4157 |
域 accountPhoneNumber, 1 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4162-4162 |
域 accountUsed, 2 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3950-3950 |
域 deviceAccount, 1 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2071-2071 |
域 有帳戶, 2 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4330-4330 |
域 loggedInDuring, 2 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2098-2098 |
域 密碼, 2 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4421-4421 |
域 recoveryKey, 2 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4285-4285 |
域 trustedDevice, 1 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 710-710 |
域 userFeedbackScore, 1 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1091-1091 |
域 userIDString, 2 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2060-2060 |
域 userName, 1 and 用戶帳號 |