![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10687-10689 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10685-10685 | RemediationAndOtherWasteManagementServices est un sous-attribut de WasteManagementAndRemediationServices |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10705-10705 | AllOtherWasteManagementServices est un sous-attribut de RemediationAndOtherWasteManagementServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10698-10698 | MaterialsRecoveryFacilities est un sous-attribut de RemediationAndOtherWasteManagementServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10691-10691 | RemediationServices est un sous-attribut de RemediationAndOtherWasteManagementServices |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49448-49448 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49447-49447 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49446-49446 |
![]() |
![]() |