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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HouseholdAndInstitutionalFurnitureManufacturing

Sigma KEE - HouseholdAndInstitutionalFurnitureManufacturing
HouseholdAndInstitutionalFurnitureManufacturing(家庭和機構家具製造業)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6029-6032
No TPTP formula. May not be expressible in strict first order. naics.kif 6027-6027 子屬性 家庭和機構家具製造業 and 家庭和機構家具和廚櫃製造

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6056-6056 子屬性 除木材和金屬製造外的家用家具 and 家庭和機構家具製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6063-6063 子屬性 機構家具製造業 and 家庭和機構家具製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6049-6049 子屬性 金屬家用家具製造業 and 家庭和機構家具製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6041-6041 子屬性 無裝飾木家用家具製造業 and 家庭和機構家具製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6034-6034 子屬性 軟體家具製造 and 家庭和機構家具製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6070-6070 子屬性 木電視收音機和縫紉機櫃製造 and 家庭和機構家具製造業
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28725-28725
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28724-28724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28723-28723


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