No TPTP formula. May not be expressible in strict first order. |
naics.kif 11069-11069 |
AllOtherAmbulatoryHealthCareServices est un sous-attribut de OtherAmbulatoryHealthCareServices |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11062-11062 |
AmbulanceServices est un sous-attribut de OtherAmbulatoryHealthCareServices |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42714-42714 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42713-42713 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42712-42712 |
|