| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1473-1473 | CellNetwork est une sous-classe de WirelessNetwork |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1153-1153 | CDMANetwork est une sous-classe de CellNetwork |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1201-1201 | HSPANetwork est une sous-classe de CellNetwork |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1232-1232 | Network2G est une sous-classe de CellNetwork |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1250-1250 | Network3G est une sous-classe de CellNetwork |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1295-1295 | Network4G est une sous-classe de CellNetwork |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1342-1342 | Network5G est une sous-classe de CellNetwork |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1377-1377 | GPRSNetwork est une sous-classe de CellNetwork |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1388-1388 | GSMNetwork est une sous-classe de CellNetwork |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2920-2920 | EDGENetwork est une sous-classe de CellNetwork |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2926-2926 | EVDONetwork est une sous-classe de CellNetwork |
|
|