No TPTP formula. May not be expressible in strict first order. |
naics.kif 11069-11069 |
子屬性 所有其他門診醫療服務 and 其他門診醫療服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11062-11062 |
子屬性 救護車服務 and 其他門診醫療服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42716-42716 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42715-42715 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42714-42714 |
|