No TPTP formula. May not be expressible in strict first order. |
naics.kif 12134-12134 |
环境保护和野生动物组织 是 社会倡导组织 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12127-12127 |
人权组织 是 社会倡导组织 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12142-12142 |
其他社会倡导组织 是 社会倡导组织 的 subAttribute |
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 |
|