No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3952-3957 |
|
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. |
ComputingBrands.kif 3951-3951 |
域 deviceAccount, 2 and 電腦 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3949-3949 |
例 deviceAccount and BinaryPredicate |