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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LuggageManufacturing

Sigma KEE - LuggageManufacturing
LuggageManufacturing(箱包製造業)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2531-2533
No TPTP formula. May not be expressible in strict first order. naics.kif 2529-2529 子屬性 箱包製造業 and 其他皮革及相關產品製造

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35273-35273
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35272-35272
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35271-35271


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