|
|
  ArchitecturalEngineeringAndRelatedServices
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9937-9939 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9935-9935 | ArchitecturalEngineeringAndRelatedServices est un sous-attribut de ProfessionalScientificAndTechnicalServices |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9941-9941 | ArchitecturalServices est un sous-attribut de ArchitecturalEngineeringAndRelatedServices |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9966-9966 | BuildingInspectionServices est un sous-attribut de ArchitecturalEngineeringAndRelatedServices |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9960-9960 | DraftingServices est un sous-attribut de ArchitecturalEngineeringAndRelatedServices |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9954-9954 | EngineeringServices est un sous-attribut de ArchitecturalEngineeringAndRelatedServices |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9973-9973 | GeophysicalSurveyingAndMappingServices est un sous-attribut de ArchitecturalEngineeringAndRelatedServices |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9947-9947 | LandscapeArchitecturalServices est un sous-attribut de ArchitecturalEngineeringAndRelatedServices |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9980-9980 | SurveyingAndMappingExceptGeophysicalServices est un sous-attribut de ArchitecturalEngineeringAndRelatedServices |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9987-9987 | TestingLaboratories est un sous-attribut de ArchitecturalEngineeringAndRelatedServices |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8238-8238 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8237-8237 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8236-8236 |
|
|
|