No TPTP formula. May not be expressible in strict first order. |
naics.kif 6981-6981 |
子屬性 預定期刊和報紙批發商 and 雜項非耐用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6974-6974 |
子屬性 農場用品批發商 and 雜項非耐用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6988-6988 |
子屬性 花卉苗木和花店用品批發商 and 雜項非耐用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7010-7010 |
子屬性 其他雜項非耐用品批發商 and 雜項非耐用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7003-7003 |
子屬性 油漆清漆和用品批發商 and 雜項非耐用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6996-6996 |
子屬性 煙草和煙草製品批發商 and 雜項非耐用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38009-38009 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38008-38008 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38007-38007 |
|