No TPTP formula. May not be expressible in strict first order. |
naics.kif 5231-5233 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9997-9997 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10916-10916 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10917-10917 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10918-10918 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10919-10919 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10920-10920 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10921-10921 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5229-5229 |
ElectronTubeManufacturing est un sous-attribut de SemiconductorAndOtherElectronicComponentManufacturing |