No TPTP formula. May not be expressible in strict first order. |
naics.kif 11082-11082 |
子屬性 所有其他雜項門診醫療服務 and 所有其他門診醫療服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11075-11075 |
子屬性 血液和器官庫 and 所有其他門診醫療服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6552-6552 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6551-6551 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6550-6550 |
|