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