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 e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1752-1752 FurnitureAndRelatedProductManufacturing e' um sub-atributo de FurnitureIndustry

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6141-6141 MiscellaneousManufacturing e' disjunto de FurnitureAndRelatedProductManufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1755-1755 FurnitureManufacturing e' um sub-atributo de FurnitureAndRelatedProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6012-6012 HouseholdAndInstitutionalFurnitureAndKitchenCabinetManufacturing e' um sub-atributo de FurnitureAndRelatedProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6078-6078 OfficeFurnitureIncludingFixturesManufacturing e' um sub-atributo de FurnitureAndRelatedProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6115-6115 OtherFurnitureRelatedProductManufacturing e' um sub-atributo 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