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 子屬性 特殊貿易承包商 and 施工

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1269-1269 子屬性 木工和地板承包商 and 特殊貿易承包商
No TPTP formula. May not be expressible in strict first order. naics.kif 1294-1294 子屬性 混凝土承包商 and 特殊貿易承包商
No TPTP formula. May not be expressible in strict first order. naics.kif 1234-1234 子屬性 電氣承包商 and 特殊貿易承包商
No TPTP formula. May not be expressible in strict first order. naics.kif 1240-1240 子屬性 砌體乾砌牆保溫和瓷磚承包商 and 特殊貿易承包商
No TPTP formula. May not be expressible in strict first order. naics.kif 1306-1306 子屬性 其他特殊貿易承包商 and 特殊貿易承包商
No TPTP formula. May not be expressible in strict first order. naics.kif 1228-1228 子屬性 油漆和牆布承包商 and 特殊貿易承包商
No TPTP formula. May not be expressible in strict first order. naics.kif 1221-1221 子屬性 管道暖氣和空調承包商 and 特殊貿易承包商
No TPTP formula. May not be expressible in strict first order. naics.kif 1288-1288 子屬性 屋頂壁板和鈑金承包商 and 特殊貿易承包商
No TPTP formula. May not be expressible in strict first order. naics.kif 1300-1300 子屬性 水井鑽井承包商 and 特殊貿易承包商
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