No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3536-3540 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3533-3533 |
域 connectedPeripheral, 1 and 電腦硬件 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3534-3534 |
域 connectedPeripheral, 2 and 電腦 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3532-3532 |
例 connectedPeripheral and BinaryPredicate |