| (subclass CellNetwork WirelessNetwork) | ComputingBrands.kif 1473-1473 | CellNetwork est une sous-classe de WirelessNetwork |
| (subclass CDMANetwork CellNetwork) | ComputingBrands.kif 1153-1153 | CDMANetwork est une sous-classe de CellNetwork |
| (subclass HSPANetwork CellNetwork) | ComputingBrands.kif 1201-1201 | HSPANetwork est une sous-classe de CellNetwork |
| (subclass Network2G CellNetwork) | ComputingBrands.kif 1232-1232 | Network2G est une sous-classe de CellNetwork |
| (subclass Network3G CellNetwork) | ComputingBrands.kif 1250-1250 | Network3G est une sous-classe de CellNetwork |
| (subclass Network4G CellNetwork) | ComputingBrands.kif 1295-1295 | Network4G est une sous-classe de CellNetwork |
| (subclass Network5G CellNetwork) | ComputingBrands.kif 1342-1342 | Network5G est une sous-classe de CellNetwork |
| (subclass GPRSNetwork CellNetwork) | ComputingBrands.kif 1377-1377 | GPRSNetwork est une sous-classe de CellNetwork |
| (subclass GSMNetwork CellNetwork) | ComputingBrands.kif 1388-1388 | GSMNetwork est une sous-classe de CellNetwork |
| (subclass EDGENetwork CellNetwork) | ComputingBrands.kif 2920-2920 | EDGENetwork est une sous-classe de CellNetwork |
| (subclass EVDONetwork CellNetwork) | ComputingBrands.kif 2926-2926 | EVDONetwork est une sous-classe de CellNetwork |
|
|