No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4413-4415 |
|
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 4412-4412 |
域 accountInformation, 2 and Proposition |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4410-4410 |
例 accountInformation and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4409-4409 |
子關係 accountInformation and 包含信息 |