No TPTP formula. May not be expressible in strict first order. |
naics.kif 12284-12284 |
惩教机构 是 司法公共秩序和安全活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12266-12266 |
法院 是 司法公共秩序和安全活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12298-12298 |
防火 是 司法公共秩序和安全活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12277-12277 |
法律顾问和起诉 是 司法公共秩序和安全活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12304-12304 |
其他司法公共秩序和安全活动 是 司法公共秩序和安全活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12291-12291 |
假释办公室和缓刑办公室 是 司法公共秩序和安全活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12271-12271 |
警察保护 是 司法公共秩序和安全活动 的 subAttribute |
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 |
|