No TPTP formula. May not be expressible in strict first order. |
naics.kif 10544-10544 |
子屬性 鎖匠 and 安全系統服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10537-10537 |
子屬性 除鎖匠外的安全系統服務 and 安全系統服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51945-51945 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51944-51944 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51943-51943 |
|