No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1362-1371 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1351-1360 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1343-1349 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1373-1375 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1342-1342 |
Network5G 是 cellular 行动网路 的 subclass |