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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FurnitureAndRelatedProductManufacturing

Sigma KEE - FurnitureAndRelatedProductManufacturing
FurnitureAndRelatedProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5990-5992
No TPTP formula. May not be expressible in strict first order. naics.kif 5988-5988 FurnitureAndRelatedProductManufacturing est une instance de IndustryAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1752-1752 FurnitureAndRelatedProductManufacturing est un sous-attribut de FurnitureIndustry

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6141-6141 MiscellaneousManufacturing est disjoint de FurnitureAndRelatedProductManufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1755-1755 FurnitureManufacturing est un sous-attribut de FurnitureAndRelatedProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6012-6012 HouseholdAndInstitutionalFurnitureAndKitchenCabinetManufacturing est un sous-attribut de FurnitureAndRelatedProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6078-6078 OfficeFurnitureIncludingFixturesManufacturing est un sous-attribut de FurnitureAndRelatedProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6115-6115 OtherFurnitureRelatedProductManufacturing est un sous-attribut de FurnitureAndRelatedProductManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25268-25268
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25267-25267
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25266-25266

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 5994-6010


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