Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArchitecturalEngineeringAndRelatedServices

Sigma KEE - ArchitecturalEngineeringAndRelatedServices
ArchitecturalEngineeringAndRelatedServices(architectural engineering and related services)

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners