No TPTP formula. May not be expressible in strict first order. |
naics.kif 6027-6027 |
子屬性 家庭和機構家具製造業 and 家庭和機構家具和廚櫃製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6020-6020 |
子屬性 木製廚櫃和檯面製造 and 家庭和機構家具和廚櫃製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28719-28719 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28718-28718 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28717-28717 |
|