Network2G(2G 网路) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1220-1224 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1214-1218 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1203-1212 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1226-1230 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1232-1232 | 2G 网路 是 cellular 行动网路 的 subclass |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1240-1240 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1235-1235 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1239-1239 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1234-1234 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1238-1238 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1233-1233 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1241-1241 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1236-1236 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1243-1248 |
![]() |
![]() |