OfficeSuppliesAndStationeryStores(办公用品和文具店) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7793-7796 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7791-7791 | 办公用品和文具店 是 办公用品文具和礼品店 的 subAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41846-41846 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41845-41845 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41844-41844 |