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 | Architectural engineering and related services is a subattribute of professional scientific and technical services |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9941-9941 | Architectural services is a subattribute of architectural engineering and related services |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9966-9966 | Building inspection services is a subattribute of architectural engineering and related services |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9960-9960 | Drafting services is a subattribute of architectural engineering and related services |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9954-9954 | Engineering services is a subattribute of architectural engineering and related services |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9973-9973 | Geophysical surveying and mapping services is a subattribute of architectural engineering and related services |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9947-9947 | Landscape architectural services is a subattribute of architectural engineering and related services |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9980-9980 | Surveying and mapping except geophysical services is a subattribute of architectural engineering and related services |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9987-9987 | Testing laboratories is a subattribute of architectural engineering and related services |
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 |