No TPTP formula. May not be expressible in strict first order. |
naics.kif 10137-10137 |
子屬性 物理工程和生命科學的研究和發展 and 科學研究和開發服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10145-10145 |
子屬性 社會科學和人文科學的研究和發展 and 科學研究和開發服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51587-51587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51586-51586 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51585-51585 |
|