Network3G |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1266-1269 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1261-1264 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1251-1260 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1271-1278 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1250-1250 | Network3G e' uma sub-classe de CellNetwork |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1286-1286 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1282-1282 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1285-1285 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1281-1281 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1284-1284 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1280-1280 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1283-1283 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1288-1293 |
|