|
|
  RegulationLicensingAndInspectionOfMiscellaneousCommercialSectors
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12434-12439 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12432-12432 | 子屬性 監管牌照及雜項商業檢驗 and 管理經濟計劃 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49280-49280 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49279-49279 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49278-49278 |
|
|
|