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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpecialTradeContractors

Sigma KEE - SpecialTradeContractors
SpecialTradeContractors

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 SpecialTradeContractors est un sous-attribut de Construction

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1269-1269 CarpentryAndFloorContractors est un sous-attribut de SpecialTradeContractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1294-1294 ConcreteContractors est un sous-attribut de SpecialTradeContractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1234-1234 ElectricalContractors est un sous-attribut de SpecialTradeContractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1240-1240 MasonryDrywallInsulationAndTileContractors est un sous-attribut de SpecialTradeContractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1306-1306 OtherSpecialTradeContractors est un sous-attribut de SpecialTradeContractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1228-1228 PaintingAndWallCoveringContractors est un sous-attribut de SpecialTradeContractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1221-1221 PlumbingHeatingAndAirConditioningContractors est un sous-attribut de SpecialTradeContractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1288-1288 RoofingSidingAndSheetMetalContractors est un sous-attribut de SpecialTradeContractors
No TPTP formula. May not be expressible in strict first order. naics.kif 1300-1300 WaterWellDrillingContractors est un sous-attribut de SpecialTradeContractors
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