HSPANetwork
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1185-1188 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1179-1184 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1171-1178 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1189-1194 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1201-1201 | HSPA 网路 是 cellular 行动网路 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1198-1198 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1197-1197 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1196-1196 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1199-1199 |