No TPTP formula. May not be expressible in strict first order. |
naics.kif 3848-3848 |
子屬性 混凝土砌塊和磚製造 and 混凝土管磚和砌塊製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3855-3855 |
子屬性 混凝土管製造 and 混凝土管磚和砌塊製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16494-16494 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16493-16493 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16492-16492 |
|