No TPTP formula. May not be expressible in strict first order. |
naics.kif 11881-11881 |
家电维修和保养 是 家庭和园艺设备和家电维修和保养 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11873-11873 |
家庭和园艺设备的维修和保养 是 家庭和园艺设备和家电维修和保养 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28437-28437 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28436-28436 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28435-28435 |
|