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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OfficeFurnitureIncludingFixturesManufacturing

Sigma KEE - OfficeFurnitureIncludingFixturesManufacturing
OfficeFurnitureIncludingFixturesManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6080-6083
No TPTP formula. May not be expressible in strict first order. naics.kif 6078-6078 OfficeFurnitureIncludingFixturesManufacturing est un sous-attribut de FurnitureAndRelatedProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6092-6092 CustomArchitecturalWoodworkAndMillworkManufacturing est un sous-attribut de OfficeFurnitureIncludingFixturesManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6100-6100 OfficeFurnitureExceptWoodManufacturing est un sous-attribut de OfficeFurnitureIncludingFixturesManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6107-6107 ShowcasePartitionShelvingAndLockerManufacturing est un sous-attribut de OfficeFurnitureIncludingFixturesManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6085-6085 WoodOfficeFurnitureManufacturing est un sous-attribut de OfficeFurnitureIncludingFixturesManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41712-41712
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41711-41711
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41710-41710


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