Network4G(4G network) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1314-1318 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1308-1312 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1296-1306 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1320-1323 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1295-1295 | 4G network Is a subclass of cell network |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1332-1332 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1328-1328 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1331-1331 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1327-1327 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1330-1330 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1326-1326 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1333-1333 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1329-1329 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1335-1340 |
|
![]() |
![]() |