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 HouseholdAndInstitutionalFurnitureManufacturing est un sous-attribut de HouseholdAndInstitutionalFurnitureAndKitchenCabinetManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6056-6056 HouseholdFurnitureExceptWoodAndMetalManufacturing est un sous-attribut de HouseholdAndInstitutionalFurnitureManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6063-6063 InstitutionalFurnitureManufacturing est un sous-attribut de HouseholdAndInstitutionalFurnitureManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6049-6049 MetalHouseholdFurnitureManufacturing est un sous-attribut de HouseholdAndInstitutionalFurnitureManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6041-6041 NonupholsteredWoodHouseholdFurnitureManufacturing est un sous-attribut de HouseholdAndInstitutionalFurnitureManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6034-6034 UpholsteredHouseholdFurnitureManufacturing est un sous-attribut de HouseholdAndInstitutionalFurnitureManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6070-6070 WoodTelevisionRadioAndSewingMachineCabinetManufacturing est un sous-attribut de HouseholdAndInstitutionalFurnitureManufacturing
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