No TPTP formula. May not be expressible in strict first order. |
naics.kif 10638-10638 |
HazardousWasteCollection est un sous-attribut de WasteCollection |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10645-10645 |
OtherWasteCollection est un sous-attribut de WasteCollection |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10631-10631 |
SolidWasteCollection est un sous-attribut de WasteCollection |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62295-62295 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62294-62294 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62293-62293 |
|