No TPTP formula. May not be expressible in strict first order. |
naics.kif 12100-12100 |
资助基金会 是 资助和提供服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12114-12114 |
其他资助和提供服务 是 资助和提供服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12107-12107 |
自愿健康组织 是 资助和提供服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26412-26412 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26411-26411 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26410-26410 |
|