No TPTP formula. May not be expressible in strict first order. |
naics.kif 12284-12284 |
子屬性 懲教機構 and 司法公共秩序和安全活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12266-12266 |
子屬性 法院 and 司法公共秩序和安全活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12298-12298 |
子屬性 防火 and 司法公共秩序和安全活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12277-12277 |
子屬性 法律顧問和起訴 and 司法公共秩序和安全活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12304-12304 |
子屬性 其他司法公共秩序和安全活動 and 司法公共秩序和安全活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12291-12291 |
子屬性 假釋辦公室和緩刑辦公室 and 司法公共秩序和安全活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12271-12271 |
子屬性 警察保護 and 司法公共秩序和安全活動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31945-31945 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31944-31944 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31943-31943 |
|