No TPTP formula. May not be expressible in strict first order. |
naics.kif 11691-11691 |
Caterers e' um sub-atributo de SpecialFoodServices |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11684-11684 |
FoodServiceContractors e' um sub-atributo de SpecialFoodServices |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11697-11697 |
MobileFoodServices e' um sub-atributo de SpecialFoodServices |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54500-54500 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54499-54499 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54498-54498 |
|