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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpecialTradeContractors

 Sigma KEE - SpecialTradeContractors
SpecialTradeContractors(special trade contractors)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 1217-1219
No TPTP formula. May not be expressible in strict first order. naics.kif 1215-1215 Special trade contractors is a subattribute of construction

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 1269-1269 Carpentry and floor contractors is a subattribute of special trade contractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1294-1294 Concrete contractors is a subattribute of special trade contractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1234-1234 Electrical contractors is a subattribute of special trade contractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1240-1240 Masonry drywall insulation and tile contractors is a subattribute of special trade contractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1306-1306 Other special trade contractors is a subattribute of special trade contractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1228-1228 Painting and wall covering contractors is a subattribute of special trade contractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1221-1221 Plumbing heating and air conditioning contractors is a subattribute of special trade contractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1288-1288 Roofing siding and sheet metal contractors is a subattribute of special trade contractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1300-1300 Water well drilling contractors is a subattribute of special trade contractors
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54564-54564
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54563-54563
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54562-54562


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