No TPTP formula. May not be expressible in strict first order. |
naics.kif 11043-11043 |
DiagnosticImagingCenters est un sous-attribut de MedicalAndDiagnosticLaboratories |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11036-11036 |
MedicalLaboratories est un sous-attribut de MedicalAndDiagnosticLaboratories |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36803-36803 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36802-36802 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36801-36801 |
|