No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2368-2372 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2362-2366 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2356-2360 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2374-2379 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2382-2382 |
Consumer Electronics Show is a subclass of trade show |