No TPTP formula. May not be expressible in strict first order. |
naics.kif 7207-7207 |
家电卖场 是 家电和其他电子产品商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7214-7214 |
广播电视和其他电子商店 是 家电和其他电子产品商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8016-8016 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8015-8015 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8014-8014 |
|