RadiatingUltraviolet
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12350-12353 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12348-12348 | AdministrationOfEnvironmentalQualityPrograms est un sous-attribut de PublicAdministration |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12355-12355 | AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms est un sous-attribut de AdministrationOfEnvironmentalQualityPrograms |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12364-12364 | AdministrationOfConservationPrograms est un sous-attribut de AdministrationOfEnvironmentalQualityPrograms |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5484-5484 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5483-5483 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5482-5482 |