![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3718-3721 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3716-3716 | PotteryCeramicsAndPlumbingFixtureManufacturing e' um sub-atributo de ClayProductAndRefractoryManufacturing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3742-3742 | PorcelainElectricalSupplyManufacturing e' um sub-atributo de PotteryCeramicsAndPlumbingFixtureManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3733-3733 | VitreousChinaFineEarthenwareAndOtherPotteryProductManufacturing e' um sub-atributo de PotteryCeramicsAndPlumbingFixtureManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3723-3723 | VitreousChinaPlumbingFixtureAndChinaAndEarthenwareBathroomAccessoriesManufacturing e' um sub-atributo de PotteryCeramicsAndPlumbingFixtureManufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46922-46922 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46921-46921 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46920-46920 |
![]() |
![]() |