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 特殊贸易承包商 是 施工 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1269-1269 木工和地板承包商 是 特殊贸易承包商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1294-1294 混凝土承包商 是 特殊贸易承包商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1234-1234 电气承包商 是 特殊贸易承包商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1240-1240 砌体干砌墙保温和瓷砖承包商 是 特殊贸易承包商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1306-1306 其他特殊贸易承包商 是 特殊贸易承包商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1228-1228 油漆和墙布承包商 是 特殊贸易承包商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1221-1221 管道暖气和空调承包商 是 特殊贸易承包商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1288-1288 屋顶壁板和钣金承包商 是 特殊贸易承包商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1300-1300 水井钻井承包商 是 特殊贸易承包商 的 subAttribute
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