No TPTP formula. May not be expressible in strict first order. |
naics.kif 12134-12134 |
子屬性 環境保護和野生動物組織 and 社會倡導組織 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12127-12127 |
子屬性 人權組織 and 社會倡導組織 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12142-12142 |
子屬性 其他社會倡導組織 and 社會倡導組織 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53606-53606 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53605-53605 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53604-53604 |
|