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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FabricMills

 Sigma KEE - FabricMills
FabricMills(織物廠)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1989-1991
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8476-8476
No TPTP formula. May not be expressible in strict first order. Economy.kif 1886-1886 Fabric 是 織物廠 的 industry 產品類別
No TPTP formula. May not be expressible in strict first order. naics.kif 1987-1987 子屬性 織物廠 and 紡織廠

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1993-1993 子屬性 寬幅織物廠 and 織物廠
No TPTP formula. May not be expressible in strict first order. naics.kif 2026-2026 子屬性 針織面料廠 and 織物廠
No TPTP formula. May not be expressible in strict first order. naics.kif 1999-1999 子屬性 窄幅面料廠和飛梭機器刺繡 and 織物廠
No TPTP formula. May not be expressible in strict first order. naics.kif 2020-2020 子屬性 無紡布廠 and 織物廠
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23086-23086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23085-23085
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23084-23084


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