No TPTP formula. May not be expressible in strict first order. |
naics.kif 11238-11238 |
OtherCommunityHousingServices est un sous-attribut de CommunityHousingServices |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11231-11231 |
TemporaryShelters est un sous-attribut de CommunityHousingServices |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16098-16098 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16097-16097 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16096-16096 |
|