No TPTP formula. May not be expressible in strict first order. |
naics.kif 4469-4469 |
子屬性 機械店 and 機械店轉動產品和螺母和螺栓製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4476-4476 |
子屬性 轉動產品和螺母和螺栓製造 and 機械店轉動產品和螺母和螺栓製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35537-35537 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35536-35536 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35535-35535 |
|