![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1217-1219 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1215-1215 | SpecialTradeContractors e' um sub-atributo de Construction |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1269-1269 | CarpentryAndFloorContractors e' um sub-atributo de SpecialTradeContractors |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1294-1294 | ConcreteContractors e' um sub-atributo de SpecialTradeContractors |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1234-1234 | ElectricalContractors e' um sub-atributo de SpecialTradeContractors |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1240-1240 | MasonryDrywallInsulationAndTileContractors e' um sub-atributo de SpecialTradeContractors |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1306-1306 | OtherSpecialTradeContractors e' um sub-atributo de SpecialTradeContractors |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1228-1228 | PaintingAndWallCoveringContractors e' um sub-atributo de SpecialTradeContractors |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1221-1221 | PlumbingHeatingAndAirConditioningContractors e' um sub-atributo de SpecialTradeContractors |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1288-1288 | RoofingSidingAndSheetMetalContractors e' um sub-atributo de SpecialTradeContractors |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1300-1300 | WaterWellDrillingContractors e' um sub-atributo de SpecialTradeContractors |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54564-54564 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54563-54563 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54562-54562 |
![]() |
![]() |