![]() |
![]() ![]()
|
![]() |
|
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 |
![]() |
![]() |