![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6493-6496 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6491-6491 | ProfessionalAndCommercialEquipmentAndSuppliesWholesalers est un sous-attribut de WholesaleTradeDurableGoods |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6512-6512 | ComputerAndComputerPeripheralEquipmentAndSoftwareWholesalers est un sous-attribut de ProfessionalAndCommercialEquipmentAndSuppliesWholesalers |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6529-6529 | MedicalDentalAndHospitalEquipmentAndSuppliesWholesalers est un sous-attribut de ProfessionalAndCommercialEquipmentAndSuppliesWholesalers |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6505-6505 | OfficeEquipmentWholesalers est un sous-attribut de ProfessionalAndCommercialEquipmentAndSuppliesWholesalers |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6538-6538 | OphthalmicGoodsWholesalers est un sous-attribut de ProfessionalAndCommercialEquipmentAndSuppliesWholesalers |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6522-6522 | OtherCommercialEquipmentWholesalers est un sous-attribut de ProfessionalAndCommercialEquipmentAndSuppliesWholesalers |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6544-6544 | OtherProfessionalEquipmentAndSuppliesWholesalers est un sous-attribut de ProfessionalAndCommercialEquipmentAndSuppliesWholesalers |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6498-6498 | PhotographicEquipmentAndSuppliesWholesalers est un sous-attribut de ProfessionalAndCommercialEquipmentAndSuppliesWholesalers |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47594-47594 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47593-47593 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47592-47592 |
![]() |
![]() |