No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1153-1153 |
码分多址 是 cellular 行动网路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2920-2920 |
EDGE Network 是 cellular 行动网路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2926-2926 |
EVDO Network 是 cellular 行动网路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1377-1377 |
GPRS 是 cellular 行动网路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1388-1388 |
GSM 是 cellular 行动网路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1201-1201 |
HSPA 网路 是 cellular 行动网路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1232-1232 |
2G 网路 是 cellular 行动网路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1250-1250 |
3G 网路 是 cellular 行动网路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1295-1295 |
4G 网路 是 cellular 行动网路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1342-1342 |
Network5G 是 cellular 行动网路 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1481-1481 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1475-1475 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1474-1474 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1480-1480 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1479-1479 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1476-1476 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1482-1482 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1477-1477 |
|