No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 626-626 |
accountAtSite 的 1 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4411-4411 |
accountInformation 的 1 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4157-4157 |
accountPhoneNumber 的 1 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4162-4162 |
accountUsed 的 2 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3950-3950 |
deviceAccount 的 1 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2071-2071 |
有帐户 的 2 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4330-4330 |
loggedInDuring 的 2 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2098-2098 |
密码 的 2 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4421-4421 |
recoveryKey 的 2 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4285-4285 |
trustedDevice 的 1 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 710-710 |
userFeedbackScore 的 1 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1091-1091 |
userIDString 的 2 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2060-2060 |
userName 的 1 数量 是 用户帐号 的 instance |