No TPTP formula. May not be expressible in strict first order. |
naics.kif 7207-7207 |
子屬性 家電賣場 and 家電和其他電子產品商店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7214-7214 |
子屬性 廣播電視和其他電子商店 and 家電和其他電子產品商店 |
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 |
|