No TPTP formula. May not be expressible in strict first order. |
naics.kif 6441-6441 |
家具批发商 是 家具和家居批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6448-6448 |
家居批发商 是 家具和家居批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25262-25262 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25261-25261 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25260-25260 |
|