No TPTP formula. May not be expressible in strict first order. |
naics.kif 6027-6027 |
家庭和机构家具制造业 是 家庭和机构家具和厨柜制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6020-6020 |
木制厨柜和台面制造 是 家庭和机构家具和厨柜制造 的 subAttribute |
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 |
|