No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1185-1188 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1179-1184 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1171-1178 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1189-1194 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1201-1201 |
HSPA Network is a subclass of cell network |